@incollection(DBLP:conf/concur/AlfaroFHMS03, author = "Luca de~Alfaro and Marco Faella and Thomas Henzinger and Rupak Majumdar and Mari\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ë}intopreamble]lle Stoelinga", year = "2003", title = "The Element of Surprise in Timed Games", booktitle = "CONCUR", series = "LNCS", volume = "2761", publisher = "Springer", pages = "144--158", doi = "10.1007/978-3-540-45187-7\_9", ) @inproceedings(DBLP:conf/sigsoft/AlfaroH01, author = "Luca de~Alfaro and Thomas~A. Henzinger", year = "2001", title = "Interface automata", booktitle = "ESEC / SIGSOFT FSE", pages = "109--120", doi = "10.1145/503209.503226", ) @inproceedings(alfaro/henzinger:2004, author = "Luca de~Alfaro and Thomas~A. Henzinger", year = "2004", title = "Interface-Based Design", booktitle = "In Engineering Theories of Software Intensive Systems, Marktoberdorf Summer School", doi = "10.1.1.77.4920", ) @inproceedings(DBLP:conf/emsoft/AlfaroHS02, author = "Luca de~Alfaro and Thomas~A. Henzinger and Mari{\"e}lle Stoelinga", year = "2002", title = "Timed Interfaces", booktitle = "EMSOFT", series = "LNCS", volume = "2491", publisher = "Springer", pages = "108--122", doi = "10.1007/3-540-45828-X\_9", ) @article(DBLP:journals/tcs/AlurD94, 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", doi = "10.1016/0304-3975(94)90010-8", ) @inproceedings(DBLP:conf/stoc/AlurHV93, author = "Rajeev Alur and Thomas~A. Henzinger and Moshe~Y. Vardi", year = "1993", title = "Parametric real-time reasoning", booktitle = "STOC", pages = "592--601", doi = "10.1145/167088.167242", ) @article(ppl, author = "R.~Bagnara and P.~M. Hill and E.~Zaffanella", year = "2008", title = "The {Parma Polyhedra Library}: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems", journal = "Science of Computer Programming", volume = "72", number = "1--2", pages = "3--21", doi = "10.1016/j.scico.2007.08.001", ) @inproceedings(DBLP:conf/cav/BehrmannCDFLL07, author = "Gerd Behrmann and Agn{\`e}s Cougnard and Alexandre David and Emmanuel Fleury and Kim~Guldstrand Larsen and Didier Lime", year = "2007", title = "UPPAAL-Tiga: Time for Playing Games!", booktitle = "CAV", series = "LNCS", volume = "4590", publisher = "Springer", pages = "121--125", doi = "10.1007/978-3-540-73368-3\_14", ) @article(DBLP:journals/spe/BehrmannDLPY11, author = "Gerd Behrmann and Alexandre David and Kim~Guldstrand Larsen and Paul Pettersson and Wang Yi", year = "2011", title = "Developing UPPAAL over 15 years", journal = "Softw., Pract. Exper.", volume = "41", number = "2", pages = "133--142", doi = "10.1002/spe.1006", ) @inproceedings(BMS-formats11, author = "Patricia Bouyer and Nicolas Markey and Ocan Sankur", year = "2011", title = "Robust Model-Checking of Timed Automata via Pumping in Channel Machines", booktitle = "FORMATS", series = "LNCS", volume = "6919", publisher = "Springer", address = "Aalborg, Denmark", pages = "97--112", doi = "10.1007/978-3-642-24310-3\_8", ) @inproceedings(BulychevCDL09, author = "Peter Bulychev and Thomas Chatain and Alexandre David and Kim~G. Larsen", year = "2009", title = "Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation", booktitle = "FORMATS", series = "LNCS", volume = "5813", publisher = "Springer", pages = "73--87", doi = "10.1007/978-3-642-04368-0\_8", ) @inproceedings(CDFLL05, author = "Franck Cassez and Alexandre David and Emmanuel Fleury and Kim~G. Larsen and Didier Lime", year = "2005", title = "Efficient On-the-Fly Algorithms for the Analysis of Timed Games", booktitle = "CONCUR", series = "LNCS", volume = "3653", publisher = "Springer", pages = "66--80", doi = "10.1007/11539452\_9", ) @inproceedings(DBLP:conf/formats/ChatterjeeHP08, author = "Krishnendu Chatterjee and Thomas~A. Henzinger and Vinayak~S. Prabhu", year = "2008", title = "Timed Parity Games: Complexity and Robustness", booktitle = "FORMATS", series = "LNCS", volume = "5215", publisher = "Springer", address = "Saint Malo, France", pages = "124--140", doi = "10.1007/978-3-540-85778-5\_10", ) @inproceedings(DBLP:conf/cav/ClarkeGJLV00, author = "Edmund~M. Clarke and Orna Grumberg and Somesh Jha and Yuan Lu and Helmut Veith", year = "2000", title = "Counterexample-Guided Abstraction Refinement", booktitle = "CAV", series = "LNCS", volume = "1855", publisher = "Springer", pages = "154--169", doi = "10.1007/10722167\_15", ) @inproceedings(David2010, author = "Alexandre David and Kim~G. Larsen and Axel Legay and Ulrik Nyman and Andrzej W\k {a}sowski", year = "2010", title = "Timed {I/O} automata: a complete specification theory for real-time systems", booktitle = "HSCC", publisher = "ACM", pages = "91--100", doi = "10.1145/1755952.1755967", ) @inproceedings(DBLP:conf/atva/DavidLLNW10, author = "Alexandre David and Kim~Guldstrand Larsen and Axel Legay and Ulrik Nyman and Andrzej W\k {a}sowski", year = "2010", title = "{ECDAR}: An Environment for Compositional Design and Analysis of Real Time Systems", booktitle = "ATVA", series = "LNCS", volume = "6252", publisher = "Springer", address = "Singapore", pages = "365--370", doi = "10.1007/978-3-642-15643-4\_29", ) @article(DBLP:journals/iandc/HenzingerNSY94, author = "Thomas~A. Henzinger and Xavier Nicollin and Joseph Sifakis and Sergio Yovine", year = "1994", title = "Symbolic Model Checking for Real-Time Systems", journal = "Inf. Comput.", volume = "111", number = "2", pages = "193--244", doi = "10.1006/inco.1994.1045", ) @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", doi = "10.1016/S1567-8326(02)00037-1", ) @inproceedings(DBLP:conf/fossacs/JaubertR11, author = "R{\'e}mi Jaubert and Pierre-Alain Reynier", year = "2011", title = "Quantitative Robustness Analysis of Flat Timed Automata", booktitle = "FOSSACS", series = "LNCS", volume = "6604", publisher = "Springer", pages = "229--244", doi = "10.1007/978-3-642-19805-2\_16", ) @inproceedings(DBLP:conf/formats/LarsenLTW11, author = "Kim~G. Larsen and Axel Legay and Louis-Marie Traonouez and Andrzej Wasowski", year = "2011", title = "Robust Specification of Real Time Components", booktitle = "FORMATS", series = "LNCS", volume = "6919", publisher = "Springer", address = "Aalborg, Denmark", pages = "129--144", doi = "10.1007/978-3-642-24310-3\_10", ) @inproceedings(maler.ea:1995:stacs, author = "Oded Maler and Amir Pnueli and Joseph Sifakis", year = "1995", title = "On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)", booktitle = "STACS", pages = "229--242", doi = "10.1.1.164.8800", ) @incollection(Puri1998, author = "Anuj Puri", year = "1998", title = "Dynamical properties of timed automata", booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems", series = "LNCS", volume = "1486", publisher = "Springer", pages = "210--227", doi = "10.1007/BFb0055349", ) @misc(pyECDAR, author = "{Python implementation of ECDAR}", title = "PyECDAR", note = "\url {https://launchpad.net/pyecdar}", ) @article(Wulf2008, author = "Martin Wulf and Laurent Doyen and Nicolas Markey and Jean-Fran\c {c}ois Raskin", year = "2008", title = "Robust safety of timed automata", journal = "Formal Methods in System Design", volume = "33", pages = "45--84", doi = "10.1007/s10703-008-0056-7", ) @article(Wulf2005, author = "Martin~De Wulf and Laurent Doyen and Jean-Fran\c {c}ois Raskin", year = "2005", title = "Almost {ASAP} semantics: from timed models to timed implementations", journal = "Formal Aspects of Computing", volume = "17", number = "3", pages = "319--341", doi = "10.1007/s00165-005-0067-8", )