bibliographer - timed automata

One-Clock Synthesis Problems Sławomir Lasota Mathieu Lehaut Julie Parreaux Radosław Pirkowski Mon 02 March 2026
Higher-Order Timed Automata and Tail Recursion Florian Bruse Tue 11 November 2025
Abstractions for the Local-Time Semantics of Timed Automata: A Foundation for Partial-Order Methods R. Govind Frédéric Herbreteau Srivathsan Igor Walukiewicz Mon 29 August 2022
Bounded opacity for timed systems Ikhlass Ammar Yamen El Touati Moez Yeddes John Mullins Tue 07 September 2021
Optimal paths in weighted timed automata Rajeev Alur Salvatore La Torre George J. Pappas Thu 29 April 2021
Resilience of Timed Systems Sundararaman Akshay Blaise Genest Loic Hélouet S. Krishna Sparsa Roychowdhury Sun 14 February 2021
Reachability relations of timed pushdown automata Lorenzo Clemente Sławomir Lasota Tue 29 December 2020
Context-Free Timed Formalisms: Robust Automata and Linear Temporal Logics Laura Bozzelli Aniello Murano Adriano Peron Sun 27 December 2020
Entropy of Regular Timed Languages Eugene Asarin Nicolas Basset Aldric Degorre Wed 24 June 2020
Relating Reachability Problems in Timed and Counter Automata Christoph Haase Joel Ouaknine James Worrell Tue 12 May 2020
A game approach to determinize timed automata Nathalie Bertrand Amélie Stainer Thierry Jéron Moez Krichen Wed 11 December 2019
From Real-time Logic to Timed Automata Thomas Ferrère Oded Maler Dejan Ničković Amir Pnueli Sat 17 August 2019
On Conciseness of Extensions of Timed Automata Patricia Bouyer Fabrice Chevalier Fri 26 July 2019
Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems Lorenzo Clemente Sławomir Lasota Ranko Lazić Filip Mazowiecki Wed 12 June 2019
Minimum-Time Reachability for Timed Automata Peter Niebert Stavros Tripakis Sergio Yovine Fri 22 February 2019
Minimum-Cost Reachability for Priced Timed Automata Gerd Behrmann Ansgar Fehnker Thomas Hune Kim Guldstrand Larsen Paul Pettersson Judi Romijn Frits W. Vaandrager Fri 22 February 2019
Controller Synthesis for Timed Automata Eugene Asarin Oded Maler Amir Pnueli Joseph Sifakis Fri 22 February 2019
Minimal-Time Synthesis for Parametric Timed Automata Étienne André Vincent Bloemen Laure Petrucci Jaco van de Pol Fri 22 February 2019
Timed recursive state machines: Expressiveness and complexity Massimo Benerecetti Adriano Peron Wed 30 May 2018
The Expressive Power of Time Petri Nets B. Bérard F. Cassez S. Haddad D. Lime O. H. Roux Thu 24 May 2018
Better abstractions for timed automata Frédéric Herbreteau B. Srivathsan Igor Walukiewicz Tue 13 March 2018
Checking conformance for time-constrained scenario-based specifications S. Akshay Paul Gastin Madhavan Mukund K. Narayan Kumar Tue 13 March 2018
A survey of timed automata for the development of real-time systems Md Tawhid Bin Waez Juergen Dingel Karen Rudie Tue 13 March 2018
Binary reachability of timed pushdown automata via quantifier elimination Lorenzo Clemente Sławomir Lasota Mon 12 March 2018
Cyber-Physical Modeling of Implantable Cardiac Medical Devices Z. Jiang M. Pajic R. Mangharam Wed 07 February 2018
Adding Dense-Timed Stack to Integer Reset Timed Automata Devendra Bhave Shibashis Guha Tue 05 September 2017
Durations and Parametric Model-checking in Timed Automata Véronique Bruyère Emmanuel Dall'olio Jean-François Raskin Wed 22 February 2017
Logics for Weighted Timed Pushdown Automata Manfred Droste Vitaly Perevoshchikov Sat 26 December 2015
Distributed Timed Automata with Independently Evolving Clocks S. Akshay Benedikt Bollig Paul Gastin Madhavan Mukund K. Narayan Kumar Mon 12 October 2015
Lower and Upper Bounds in Zone-based Abstractions of Timed Automata Gerd Behrmann Patricia Bouyer Kim G. Larsen Radek Pelánek Thu 02 July 2015
How to Stop Time Stopping Howard Bowman Rodolfo Gómez Mon 10 November 2014
Past Pushdown Timed Automata and Safety Verification Zhe Dang Tevfik Bultan Oscar H. Ibarra Richard A. Kemmerer Wed 29 October 2014
Temporal Proof Methodologies for Real-time Systems Tom Henzinger Zohar Manna Amir Pnueli Fri 24 October 2014
Verification of context-free timed systems using linear hybrid observers Ahmed Bouajjani Rachid Echahed Riadh Robbana Wed 22 October 2014
Timed automata and additive clock constraints Béatrice Bérard Catherine Dufourd Fri 03 October 2014
Controlled Timed Automata François Demichelis Wieslaw Zielonka Fri 03 October 2014
Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata Kristiina Ausmees Wed 17 September 2014
Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata Amélie Stainer Wed 08 January 2014
Timed Lossy Channel Systems Parosh Aziz Abdulla Mohamed Faouzi Atig Jonathan Cederberg Fri 03 January 2014
Timed automata with observers under energy constraints Patricia Bouyer Uli Fahrenberg Kim G. Larsen Nicolas Markey Thu 07 November 2013
Pushdown timed automata: a binary reachability characterization and safety verification Zhe Dang Mon 21 October 2013
Nested timed automata Guoqiang Li Xiaojuan Cai Mizuhito Ogawa Shoji Yuen Fri 18 October 2013
On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap Joel Ouaknine James Worrell Fri 18 October 2013
Timed Shuffle Expressions Catalin Dima Tue 08 October 2013
On Recognizable Timed Languages Oded Maler Amir Pnueli Tue 08 October 2013
A machine-independent characterization of timed languages Mikolaj Bojańczyk Sławomir Lasota Wed 02 October 2013
Pushdown Systems with Stack Manipulation Yuya Uezato Yasuhiko Minamide Mon 22 July 2013
A Closed-Form Evaluation for Extended Timed Automata Laurent Fribourg Thu 20 June 2013
The Impressive Power of Stopwatches Franck Cassez Kim Guldstrand Larsen Thu 18 April 2013
Frequencies in forgetful timed automata Amélie Stainer Wed 17 April 2013
Off-line test selection with test purposes for non-deterministic timed automata Nathalie Bertrand Thierry Jéron Amélie Stainer Moez Krichen Wed 17 April 2013
Reachability of Communicating Timed Processes Lorenzo Clemente Frédéric Herbreteau Amelie Stainer Grégoire Sutre Tue 26 February 2013
Time and alternation: an automata based framework to software model checking Abdelaziz Fellah Mon 25 February 2013
Event clock message passing automata: a logical characterization and an emptiness checking algorithm S. Akshay Benedikt Bollig Paul Gastin Fri 22 February 2013
A Logical Characterisation of Event Clock Automata Deepak D'souza Fri 22 February 2013
Lazy abstractions for timed automata Frédéric Herbreteau B. Srivathsan Igor Walukiewicz Tue 19 February 2013
Adding Time to Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman Wed 19 December 2012
Model Checking of Probabilistic Timed and Hybrid Systems Jeremy Sproston Tue 18 December 2012
On the verification of timed ad hoc networks Parosh Aziz Abdulla Giorgio Delzanno Othmane Rezine Arnaud Sangnier Riccardo Traverso Sun 16 December 2012
Model checking of systems with many identical timed processes Parosh Aziz Abdulla Bengt Jonsson Wed 05 December 2012
Parametric real-time reasoning Rajeev Alur Thomas A. Henzinger Moshe Y. Vardi Wed 05 December 2012
A comparison of succinctly represented finite-state systems Romain Brenguier Stefan Gøller Ocan Sankur Wed 05 December 2012
Timed automata and recognizability Philippe Herrmann Wed 28 November 2012
Alternating Timed Automata over Bounded Time Mark Jenkins Joel Ouaknine Alexander Rabinovich James Worrell Wed 28 November 2012
Weak Alternating Timed Automata Pawel Parys Igor Walukiewicz Mon 26 November 2012
Minimum and maximum delay problems in real-time systems Costas Courcoubetis Mihalis Yannakakis Mon 29 October 2012
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems Patricia Bouyer François Laroussinie Pierre-Alain Reynier Thu 11 October 2012
Updatable Timed Automata with Additive and Diagonal Constraints Lakshmi Manasa Shankara Narayanan Krishna Kumar Nagaraj Thu 11 October 2012
Infinite Runs in Weighted Timed Automata with Energy Constraints Patricia Bouyer Uli Fahrenberg Kim G. Larsen Nicolas Markey Jiří Srba Tue 25 September 2012
On Sampled Semantics of Timed Systems Pavel Krčál Radek Pelánek Tue 25 September 2012
Dense-Timed Pushdown Automata P. A. Abdulla M. F. Atig J. Stenman Thu 20 September 2012
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences Patricia Bouyer Serge Haddad Pierre-Alain Reynier Thu 20 September 2012
Model checking time-constrained scenario-based specifications S. Akshay Paul Gastin Madhavan Mukund K. Narayan Kumar Wed 19 September 2012
Updatable timed automata Patricia Bouyer Catherine Dufourd Emmanuel Fleury Antoine Petit Tue 18 September 2012
Model Checking Timed Automata with One or Two Clocks F. Laroussinie N. Markey Ph. Schnoebelen Fri 10 August 2012
Undecidable problems about timed automata Olivier Finkel Wed 11 July 2012
On Decision Problems for Timed Automata Olivier Finkel Wed 11 July 2012
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata Joseph S. Miller Wed 11 July 2012
An old-fashioned recipe for real time Martín Abadi Leslie Lamport Tue 10 July 2012
Back to the future: towards a theory of timed regular languages R. Alur T. A. Henzinger Sat 07 July 2012
The benefits of relaxing punctuality Rajeev Alur Tomás Feder Thomas A. Henzinger Sat 07 July 2012
Real-time model checking is really simple Leslie Lamport Sat 07 July 2012
Computing accumulated delays in real-time systems Rajeev Alur Costas Courcoubetis Thomas A. Henzinger Sat 07 July 2012
An Efficient Algorithm for Minimizing Real-Time Transition Systems Mihalis Yannakakis David Lee Sat 07 July 2012
Efficient verification of parallel real-time systems Tomohiro Yoneda Atsufumi Shibayama Bernd-Holger Schlingloff Edmund M. Clarke Sat 07 July 2012
Unambiguity in Timed Regular Languages: Automata and Logics Paritosh K. Pandya Simoni S. Shah Sat 07 July 2012
Verification in loosely synchronous queue-connected discrete timed automata Oscar H. Ibarra Zhe Dang Pierluigi San Pietro Wed 04 July 2012
Revisiting Digitization, Robustness, and Decidability for Timed Automata Joel Ouaknine James Worrell Wed 04 July 2012
The expressive power of clocks Thomas A. Henzinger Peter W. Kopke Howard Wong-Toi Wed 04 July 2012
A timed model for communicating sequential processes G. M. Reed A. W. Roscoe Wed 04 July 2012
Foundations for Timed Systems Patricia Bouyer Mon 02 July 2012
What Good Are Digital Clocks Thomas A. Henzinger Zohar Manna Amir Pnueli Mon 02 July 2012
Model-checking for real-time systems R. Alur C. Courcoubetis D. Dill Sun 01 July 2012
Discretization of Timed Automata Gollu Aleks Anuj Puri Pravin Varaiya Sun 01 July 2012
Analysis of Timed Recursive State Machines M. Benerecetti S. Minopoli A. Peron Sat 30 June 2012
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures Ahmed Bouajjani Rachid Echahed Riadh Robbana Sat 30 June 2012
On Discretization of Delays in Timed Automata and Digital Circuits Eugene Asarin Oded Maler Amir Pnueli Sat 02 June 2012
Relating timed and register automata Diego Figueira Piotr Hofman Sławomir Lasota Sat 02 June 2012
Event-clock automata: a determinizable class of timed automata Rajeev Alur Limor Fix Thomas A. Henzinger Fri 01 June 2012
Matching scenarios with timing constraints Prakash Chandrasekaran Madhavan Mukund Fri 01 June 2012
Automata and logics for timed message sequence charts S. Akshay Benedikt Bollig Paul Gastin Fri 01 June 2012
Undecidability Results for Timed Automata with Silent Transitions Patricia Bouyer Serge Haddad Pierre-Alain Reynier Thu 31 May 2012
Automata over continuous time Alexander Rabinovich Thu 31 May 2012
Modelling of Complex Systems: Systems as Dataflow Machines Simon Bliudze Daniel Krob Thu 31 May 2012
An algebraic approach to data languages and timed languages Patricia Bouyer Antoine Petit Denis Therien Thu 31 May 2012
Alternating timed automata Slawomir Lasota Igor Walukiewicz Mon 28 May 2012
Alternating Timed Automata Slawomir Lasota Igor Walukiewicz Mon 28 May 2012
Weak Alternating Timed Automata Pawel Parys Igor Walukiewicz Mon 28 May 2012
Timed cooperating automata Ruggero Lanotte Andrea Maggiolo-Schettini Adriano Peron Mon 28 May 2012
Distributed Timed Automata Padmanabhan Krishnan Mon 28 May 2012
On the ill-timed but well-caused Luca Aceto David Murphy Mon 28 May 2012
The Regular Real-Time Languages Thomas A. Henzinger Jean-François Raskin Pierre-Yves Schobbens Mon 28 May 2012
A determinizable class of timed automata Rajeev Alur Limor Fix Thomas A. Henzinger Mon 28 May 2012
Distributed Event Clock Automata - Extended Abstract James Jerson Ortiz Axel Legay Pierre-Yves Schobbens Mon 28 May 2012
Timed Unfoldings for Networks of Timed Automata Patricia Bouyer Serge Haddad Pierre-Alain Reynier Mon 28 May 2012
Decidability and Complexity Results for Timed Automata via Channel Machines Parosh Aziz Abdulla Johann Deneux Joel Ouaknine James Worrell Sun 27 May 2012
Partial Order Reductions for Timed Systems Johan Bengtsson Bengt Jonsson Johan Lilius Wang Yi Wed 23 May 2012
Timed Branching Processes A. Trivedi D. Wojtczak Wed 16 May 2012
Recursive timed automata Ashutosh Trivedi Dominik Wojtczak Wed 16 May 2012
Timed automata with periodic clock constraints Christian Choffrut Massimiliano Goldwurm Wed 09 May 2012
Characterization of the expressive power of silent transitions in timed automata Béatrice Bérard Antoine Petit Volker Diekert Paul Gastin Wed 09 May 2012
Challenges in Timed Languages: from applied theory to basic theory Eugene Asarin Wed 09 May 2012
On timed automata with discrete time - structural and language theoretical characterization Hermann Gruber Markus Holzer Astrid Kiehn Barbara Kønig Wed 09 May 2012
Staying Alive as Cheaply as Possible Patricia Bouyer Ed Brinksma Kim Larsen Wed 02 May 2012
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata Kim Guldstrand Larsen Gerd Behrmann Ed Brinksma Ansgar Fehnker Thomas Hune Paul Pettersson Judi Romijn Wed 02 May 2012
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets Parosh Aziz Abdulla Richard Mayr Wed 02 May 2012
Efficient emptiness check for timed Buchi automata Frédéric Herbreteau B. Srivathsan Igor Walukiewicz Tue 01 May 2012
Optimal infinite scheduling for multi-priced timed automata Patricia Bouyer Ed Brinksma Kim G. Larsen Fri 13 April 2012
Symbolically Bounding the Drift in Time-Constrained MSC Graphs S. Akshay Blaise Genest Loic Hélouet Shaofa Yang Mon 19 March 2012
Distributed time-asynchronous automata Cătălin Dima Ruggero Lanotte Mon 19 March 2012
Distributed Timed Automata with Independently Evolving Clocks S. Akshay Benedikt Bollig Paul Gastin Madhavan Mukund K. Narayan Kumar Mon 19 March 2012
Folk theorems on the determinization and minimization of timed automata Stavros Tripakis Wed 14 March 2012
Folk Theorems on the Determinization and Minimization of Timed Automata Stavros Tripakis Wed 14 March 2012
A Game Approach to Determinize Timed Automata Nathalie Bertrand Amélie Stainer Thierry Jéron Moez Krichen Tue 13 March 2012
Off-line test selection with test purposes for non-deterministic timed automata Nathalie Bertrand Thierry Jéron Amélie Stainer Moez Krichen Tue 13 March 2012
Emptiness and universality problems in timed automata with positive frequency Nathalie Bertrand Patricia Bouyer Thomas Brihaye Amélie Stainer Tue 13 March 2012
Timed vs. Time-Triggered Automata Pavel Krčál Leonid Mokrushin P. S. Thiagarajan Wang Yi Tue 06 March 2012
Sampled Semantics of Timed Automata Pavel Krcal Parosh Aziz Abdulla Wang Yi Tue 06 March 2012
Symbolic model checking for real-time systems T.A. Henzinger X. Nicollin J. Sifakis S. Yovine Tue 06 March 2012
Timed Automata: Semantics, Algorithms and Tools Johan Bengtsson Wang Yi Tue 06 March 2012
Time-Abstracted Bisimulation: Implicit Specifications and Decidability Kim G. Larsen Yi Wang Tue 06 March 2012
Decision Problems for Timed Automata: A Survey Rajeev Alur P. Madhusudan Tue 06 March 2012
Decidability of bisimulation equivalences for parallel timer processes Kārlis Čerāns Tue 06 March 2012
CCS + time = an interleaving model for real time systems Wang Yi Tue 06 March 2012
Automata for modeling real-time systems Rajeev Alur David Dill Tue 06 March 2012
A theory of timed automata Rajeev Alur David L. Dill Tue 06 March 2012
Infinite Structures in Timed Systems Pavel Krcal Mon 05 March 2012
Checking timed Buchi automata emptiness on simulation graphs Stavros Tripakis Mon 05 March 2012
Communicating timed automata: the more synchronous, the more difficult to verify Pavel Krcal Wang Yi Mon 05 March 2012
History-Deterministic Timed Automata Thomas A. Henzinger Karoliina Lehtinen Patrick Totzke Fri 02 March 2012

Library Size: 13G (150 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]