Sage Journals: Discover world-class research

Retricted access

Research article

First published 2001-9

Timed Automata with non-Instantaneous Actions

Roberto Barbuti, Nicoletta De Francesco, Luca Tesei

Fundamenta Informaticae

Retricted access

Research article

First published 2000-8

Timed Cooperating Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron

Fundamenta Informaticae

Retricted access

Research article

First published 2016-3-4

Relating Reachability Problems in Timed and Counter Automata

Christoph Haase, Joël Ouaknine, James Worrell

Fundamenta Informaticae

Retricted access

Research article

First published 2001-9

Transformations of Timed Cooperating Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2008-5

Translation of Timed Promela to Timed Automata with Discrete Data

Wojciech Nabiałek, Agata Janowska, Paweł Janowski

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Probabilistic Timed Automata with Clock-Dependent Probabilities

Jeremy Sproston

Fundamenta Informaticae

Retricted access

Research article

First published 2001-3

Decomposing Timed Push Down Automata

Padmanabhan Krishnan

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Minimal Size of Counters for (Real-Time) Multicounter Automata

Viliam Geffert, Zuzana Bednárová

Fundamenta Informaticae

Retricted access

Research article

First published 2006-8

Slicing of Timed Automata with Discrete Data

Agata Janowska, Paweł Janowski

Fundamenta Informaticae

Retricted access

Research article

First published 2009-5

Undecidability Results for Timed Automata with Silent Transitions

Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier

Fundamenta Informaticae

Search results