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