Parosh Aziz Abdulla
Johann Deneux
Joël Ouaknine
Karin Quaas
James Worrell
2008
Universality Analysis for One-Clock Timed Automata
Fundam. Inform.
89
4
419–450
http://iospress.metapress.com/content/xx63231v71037607/
Luca Aceto
Anna Ingólfsdóttir
2006
Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Austria, March 25-31, 2006, Proceedings
Lecture Notes in Computer Science
3921
Springer
Rajeev Alur
David L. Dill
1994
A Theory of Timed automata
Theor. Comput. Sci.
126
2
183–235
http://dx.doi.org/10.1016/0304-3975(94)90010-8
Rajeev Alur
Kousha Etessami
Salvatore La Torre
Doron Peled
2001
Parametric temporal logic for "model measuring"
ACM Trans. Comput. Log.
2
3
388–407
http://doi.acm.org/10.1145/377978.377990
Rajeev Alur
Tomás Feder
Thomas A. Henzinger
1996
The Benefits of Relaxing Punctuality
J. ACM
43
1
116–146
http://doi.acm.org/10.1145/227595.227602
Rajeev Alur
Thomas A. Henzinger
Moshe Y. Vardi
1993
Parametric real-time reasoning
Kosaraju
592–601
http://doi.acm.org/10.1145/167088.167242
Roberto M. Amadio
2008
Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Lecture Notes in Computer Science
4962
Springer
Laura Bozzelli
Salvatore La Torre
2009
Decision problems for lower/upper bound parametric timed automata
Formal Methods in System Design
35
2
121–151
http://dx.doi.org/10.1007/s10703-009-0074-0
Daniel Brand
Pitro Zafiropulo
1983
On Communicating Finite-State Machines
J. ACM
30
2
323–342
http://doi.acm.org/10.1145/322374.322380
Adrian Horia Dediu
Henning Fernau
Carlos Martín-Vide
2010
Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
Lecture Notes in Computer Science
6031
Springer
http://dx.doi.org/10.1007/978-3-642-13089-2
Stéphane Demri
Ranko Lazi\'c
2009
LTL with the freeze quantifier and register automata
ACM Trans. Comput. Log.
10
3
http://doi.acm.org/10.1145/1507244.1507246
Stéphane Demri
Ranko Lazi\'c
Arnaud Sangnier
2008
Model Checking Freeze LTL over One-Counter Automata
Amadio
490–504
http://dx.doi.org/10.1007/978-3-540-78499-9_34
Barbara Di Giampaolo
Salvatore La Torre
Margherita Napoli
2010
Parametric Metric Interval Temporal Logic
Dediu
249–260
http://dx.doi.org/10.1007/978-3-642-13089-2_21
Thomas Henzinger
1991
The temporal specification and verification of real-time systems.
Stanford University
Technical Report STAN-CS-91-1380
Thomas Hune
Judi Romijn
Mariëlle Stoelinga
Frits W. Vaandrager
2002
Linear parametric model checking of timed automata
J. Log. Algebr. Program.
52-53
183–220
http://dx.doi.org/10.1016/S1567-8326(02)00037-1
S. Rao Kosaraju
David S. Johnson
Alok Aggarwal
1993
Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, May 16-18, 1993, San Diego, CA, USA
ACM
Ron Koymans
1990
Specifying Real-Time Properties with Metric Temporal Logic
Real-Time Systems
2
4
255–299
http://dx.doi.org/10.1007/BF01995674
Joël Ouaknine
James Worrell
2006
On Metric Temporal Logic and Faulty Turing Machines
Aceto
Ingólfsdóttir
217–230
http://dx.doi.org/10.1007/11690634_15
Joël Ouaknine
James Worrell
2007
On the decidability and complexity of Metric Temporal Logic over finite words
Logical Methods in Computer Science
3
1
http://dx.doi.org/10.2168/LMCS-3(1:8)2007