@article(DBLP:journals/tcs/AlurD94, author = "Rajeev Alur and David Dill", year = "1994", title = "A Theory of Timed Automata", journal = "{Theoretical Computer Science}", volume = "126", number = "2", pages = "183--235", url = "http://dx.doi.org/10.1016/0304-3975(94)90010-8", ) @inproceedings(DBLP:conf/fase/BauerDHLLNW12, author = "Sebastian S. Bauer and Alexandre David and Rolf Hennicker and Kim G. Larsen and Axel Legay and Ulrik Nyman and Andrzej Wasowski", year = "2012", title = "Moving from Specifications to Contracts in Component-Based Design", editor = "Juan de Lara and Andrea Zisman", booktitle = "FASE", series = "{Lecture Notes in Computer Science}", volume = "7212", publisher = "{Springer-Verlag}", pages = "43--58", url = "http://dx.doi.org/10.1007/978-3-642-28872-2_3", ) @inproceedings(DBLP:conf/mfcs/BauerFJLLT11, author = "Sebastian S. Bauer and Uli Fahrenberg and Line Juhl and Kim G. Larsen and Axel Legay and Claus R. Thrane", year = "2011", title = "Quantitative Refinement for Weighted Modal Transition Systems", editor = "Filip Murlak and Piotr Sankowski", booktitle = "MFCS", series = "{Lecture Notes in Computer Science}", volume = "6907", publisher = "{Springer-Verlag}", pages = "60--71", url = "http://dx.doi.org/10.1007/978-3-642-22993-0_9", ) @inproceedings(conf/csr/BauerFLT12, author = "Sebastian S. Bauer and Uli Fahrenberg and Axel Legay and Claus Thrane", year = "2012", title = "General Quantitative Specification Theories with Modalities", booktitle = "CSR", series = "{Lecture Notes in Computer Science}", volume = "7353", publisher = "{Springer-Verlag}", note = "{To appear}", ) @article(journals/mscs/BauerJLLS11, author = "Sebastian S. Bauer and Line Juhl and Kim G. Larsen and Axel Legay and Ji{\v r}{\'\i } Srba", year = "2012", title = "Extending Modal Transition Systems with Structured Labels", journal = "{Mathematical Structures in Computer Science}", note = "{To appear}", ) @inproceedings(DBLP:conf/ictac/BenesKLS09, author = "Nikola Bene{\v s} and Jan K{\v r}et{\'\i }nsk{\'y} and Kim G. Larsen and Jir{\'\i } Srba", year = "2009", title = "Checking Thorough Refinement on Modal Transition Systems Is {EXPTIME}-Complete", editor = "Martin Leucker and Carroll Morgan", booktitle = "ICTAC", series = "{Lecture Notes in Computer Science}", volume = "5684", publisher = "{Springer-Verlag}", pages = "112--126", url = "http://dx.doi.org/10.1007/978-3-642-03466-4_7", ) @inproceedings(DBLP:conf/icfem/BertrandLPR09, author = "Nathalie Bertrand and Axel Legay and Sophie Pinchinat and Jean-Baptiste Raclet", year = "2009", title = "A Compositional Approach on Modal Specifications for Timed Systems", editor = "Karin Breitman and Ana Cavalcanti", booktitle = "ICFEM", series = "{Lecture Notes in Computer Science}", volume = "5885", publisher = "{Springer-Verlag}", pages = "679--697", url = "http://dx.doi.org/10.1007/978-3-642-10373-5_35", ) @inproceedings(DBLP:conf/concur/BouyerLMST11, author = "Patricia Bouyer and Kim G. Larsen and Nicolas Markey and Ocan Sankur and Claus R. Thrane", year = "2011", title = "Timed Automata Can Always Be Made Implementable", editor = "Joost-Pieter Katoen and Barbara K{\"o}nig", booktitle = "CONCUR", series = "{Lecture Notes in Computer Science}", volume = "6901", publisher = "{Springer-Verlag}", pages = "76--91", url = "http://dx.doi.org/10.1007/978-3-642-23217-6_6", ) @article(Breugel95-Metric, author = "Franck van Breugel", year = "1996", title = "A Theory of Metric Labelled Transition Systems", journal = "Annals of the New York Academy of Sciences", volume = "806", number = "1", pages = "69--87", url = "http://dx.doi.org/10.1111/j.1749-6632.1996.tb49160.x", ) @article(journals/cai/FahrenbergLT10, author = "Uli Fahrenberg and Kim G. Larsen and Claus Thrane", year = "2010", title = "A Quantitative Characterization of Weighted {K}ripke Structures in Temporal Logic", journal = "{Comp.\ Inf.}", volume = "29", number = "6+", pages = "1311--1324", ) @inproceedings(conf/fsttcs/FahrenbergLT11, author = "Uli Fahrenberg and Axel Legay and Claus Thrane", year = "2011", title = "The Quantitative Linear-Time--Branching-Time Spectrum", editor = "Supratik Chakraborty and Amit Kumar", booktitle = "FSTTCS", series = "LIPIcs", volume = "13", publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik", pages = "103--114", url = "http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2011.103", ) @inproceedings(conf/models/FahrenbergLW11, author = "Uli Fahrenberg and Axel Legay and Andrzej Wasowski", year = "2011", title = "Make a Difference! ({S}emantically)", editor = "Jon Whittle and Tony Clark and Thomas K{\"u}hne", booktitle = "MoDELS", series = "{Lecture Notes in Computer Science}", volume = "6981", publisher = "{Springer-Verlag}", pages = "490--500", url = "http://dx.doi.org/10.1007/978-3-642-24485-8_36", ) @inproceedings(DBLP:journals/corr/abs-1107-1205, author = "Uli Fahrenberg and Claus R. Thrane and Kim G. Larsen", year = "2011", title = "Distances for Weighted Transition Systems: Games and Properties", editor = "Mieke Massink and Gethin Norman", booktitle = "QAPL", series = "{Electronic Proceedings in Theoretical Computer Science}", volume = "57", pages = "134--147", url = "http://dx.doi.org/10.4204/EPTCS.57.10", ) @inproceedings(DBLP:conf/concur/GodefroidHJ01, author = "Patrice Godefroid and Michael Huth and Radha Jagadeesan", year = "2001", title = "Abstraction-Based Model Checking Using Modal Transition Systems", editor = "Kim Guldstrand Larsen and Mogens Nielsen", booktitle = "CONCUR", series = "{Lecture Notes in Computer Science}", volume = "2154", publisher = "{Springer-Verlag}", pages = "426--440", url = "http://dx.doi.org/10.1007/3-540-44685-0_29", ) @inproceedings(DBLP:conf/fmoods/GrulerLS08, author = "Alexander Gruler and Martin Leucker and Kathrin D. Scheidemann", year = "2008", title = "Modeling and Model Checking Software Product Lines", editor = "Gilles Barthe and Frank S. de Boer", booktitle = "FMOODS", series = "{Lecture Notes in Computer Science}", volume = "5051", publisher = "{Springer-Verlag}", pages = "113--131", url = "http://dx.doi.org/10.1007/978-3-540-68863-1_8", ) @inproceedings(DBLP:conf/vmcai/GrumbergLLS05, author = "Orna Grumberg and Martin Lange and Martin Leucker and Sharon Shoham", year = "2005", title = "Don't Know in the $\mu $-calculus", editor = "Radhia Cousot", booktitle = "VMCAI", series = "{Lecture Notes in Computer Science}", volume = "3385", publisher = "{Springer-Verlag}", pages = "233--249", url = "http://dx.doi.org/10.1007/978-3-540-30579-8_16", ) @inproceedings(DBLP:conf/hybrid/GuptaHJ97, author = "Vineet Gupta and Thomas A. Henzinger and Radha Jagadeesan", year = "1997", title = "Robust Timed Automata", editor = "Oded Maler", booktitle = "HART", series = "{Lecture Notes in Computer Science}", volume = "1201", publisher = "{Springer-Verlag}", pages = "331--345", url = "http://dx.doi.org/10.1007/BFb0014736", ) @inproceedings(DBLP:conf/formats/HenzingerMP05, author = "Thomas A. Henzinger and Rupak Majumdar and Vinayak S. Prabhu", year = "2005", title = "Quantifying Similarities Between Timed Systems", editor = "Paul Pettersson and Wang Yi", booktitle = "FORMATS", series = "{Lecture Notes in Computer Science}", volume = "3829", publisher = "{Springer-Verlag}", pages = "226--241", url = "http://dx.doi.org/10.1007/11603009_18", ) @inproceedings(DBLP:conf/avmfss/Larsen89, author = "Kim G. Larsen", year = "1989", title = "Modal Specifications", booktitle = "Automatic Verification Methods for Finite State Systems", series = "{Lecture Notes in Computer Science}", volume = "407", publisher = "{Springer-Verlag}", pages = "232--246", url = "http://dx.doi.org/10.1007/3-540-52148-8_19", ) @article(DBLP:journals/tcs/LarsenFT11, author = "Kim G. Larsen and Uli Fahrenberg and Claus R. Thrane", year = "2011", title = "Metrics for weighted transition systems: Axiomatization and complexity", journal = "{Theoretical Computer Science}", volume = "412", number = "28", pages = "3358--3369", url = "http://dx.doi.org/10.1016/j.tcs.2011.04.003", ) @book(munkres2000topology, author = "James R. Munkres", year = "2000", title = "Topology", publisher = "Prentice Hall", ) @phdthesis(Nyman08Thesis, author = "Ulrik Nyman", year = "2008", title = "Modal Transition Systems as the Basis for Interface Theories and Product Lines", school = "Aalborg University", ) @article(SCU11, author = "Mathieu Sassolas and Marsha Chechik and Sebasti{\'a}n Uchitel", year = "2011", title = "Exploring inconsistencies between modal transition systems", journal = "Software and System Modeling", volume = "10", number = "1", pages = "117--142", url = "http://dx.doi.org/10.1007/s10270-010-0148-x", ) @inproceedings(DBLP:conf/time/SwaminathanF07, author = "Mani Swaminathan and Martin Fr{\"a}nzle", year = "2007", title = "A Symbolic Decision Procedure for Robust Safety of Timed Systems", booktitle = "TIME", publisher = "IEEE Computer Society", pages = "192", url = "http://doi.ieeecomputersociety.org/10.1109/TIME.2007.39", ) @inproceedings(DBLP:conf/ifipTCS/SwaminathanFK08, author = "Mani Swaminathan and Martin Fr{\"a}nzle and Joost-Pieter Katoen", year = "2008", title = "The Surprising Robustness of (Closed) Timed Automata against Clock-Drift", editor = "Giorgio Ausiello and Juhani Karhum{\"a}ki and Giancarlo Mauri and C.-H. Luke Ong", booktitle = "IFIP TCS", series = "IFIP", volume = "273", publisher = "{Springer-Verlag}", pages = "537--553", url = "http://dx.doi.org/10.1007/978-0-387-09680-3_36", ) @article(journals/jlap/ThraneFL10, author = "Claus Thrane and Uli Fahrenberg and Kim G. Larsen", year = "2010", title = "Quantitative Simulations of Weighted Transition Systems", journal = "{Journal of Logic and Algebraic Programming}", volume = "79", number = "7", pages = "689--703", url = "http://dx.doi.org/10.1016/j.jlap.2010.07.010", )