References

  1. Luca de Alfaro, Marco Faella, Thomas Henzinger, Rupak Majumdar & Mari\begingroupłet [Pleaseinsert\PrerenderUnicodeëintopreamble]lle Stoelinga (2003): The Element of Surprise in Timed Games. In: CONCUR, LNCS 2761. Springer, pp. 144–158, doi:10.1007/978-3-540-45187-7_9.
  2. Luca de Alfaro & Thomas A. Henzinger (2001): Interface automata. In: ESEC / SIGSOFT FSE, pp. 109–120, doi:10.1145/503209.503226.
  3. Luca de Alfaro & Thomas A. Henzinger (2004): Interface-Based Design. In: In Engineering Theories of Software Intensive Systems, Marktoberdorf Summer School, doi:10.1.1.77.4920.
  4. Luca de Alfaro, Thomas A. Henzinger & Mariëlle Stoelinga (2002): Timed Interfaces. In: EMSOFT, LNCS 2491. Springer, pp. 108–122, doi:10.1007/3-540-45828-X_9.
  5. Rajeev Alur & David L. Dill (1994): A Theory of Timed Automata. Theor. Comput. Sci. 126(2), pp. 183–235, doi:10.1016/0304-3975(94)90010-8.
  6. Rajeev Alur, Thomas A. Henzinger & Moshe Y. Vardi (1993): Parametric real-time reasoning. In: STOC, pp. 592–601, doi:10.1145/167088.167242.
  7. R. Bagnara, P. M. Hill & E. Zaffanella (2008): The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems. Science of Computer Programming 72(1–2), pp. 3–21, doi:10.1016/j.scico.2007.08.001.
  8. Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen & Didier Lime (2007): UPPAAL-Tiga: Time for Playing Games!. In: CAV, LNCS 4590. Springer, pp. 121–125, doi:10.1007/978-3-540-73368-3_14.
  9. Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson & Wang Yi (2011): Developing UPPAAL over 15 years. Softw., Pract. Exper. 41(2), pp. 133–142, doi:10.1002/spe.1006.
  10. Patricia Bouyer, Nicolas Markey & Ocan Sankur (2011): Robust Model-Checking of Timed Automata via Pumping in Channel Machines. In: FORMATS, LNCS 6919. Springer, Aalborg, Denmark, pp. 97–112, doi:10.1007/978-3-642-24310-3_8.
  11. Peter Bulychev, Thomas Chatain, Alexandre David & Kim G. Larsen (2009): Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. In: FORMATS, LNCS 5813. Springer, pp. 73–87, doi:10.1007/978-3-642-04368-0_8.
  12. Franck Cassez, Alexandre David, Emmanuel Fleury, Kim G. Larsen & Didier Lime (2005): Efficient On-the-Fly Algorithms for the Analysis of Timed Games. In: CONCUR, LNCS 3653. Springer, pp. 66–80, doi:10.1007/11539452_9.
  13. Krishnendu Chatterjee, Thomas A. Henzinger & Vinayak S. Prabhu (2008): Timed Parity Games: Complexity and Robustness. In: FORMATS, LNCS 5215. Springer, Saint Malo, France, pp. 124–140, doi:10.1007/978-3-540-85778-5_10.
  14. Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu & Helmut Veith (2000): Counterexample-Guided Abstraction Refinement. In: CAV, LNCS 1855. Springer, pp. 154–169, doi:10.1007/10722167_15.
  15. Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman & Andrzej Wąsowski (2010): Timed I/O automata: a complete specification theory for real-time systems. In: HSCC. ACM, pp. 91–100, doi:10.1145/1755952.1755967.
  16. Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman & Andrzej Wąsowski (2010): ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. In: ATVA, LNCS 6252. Springer, Singapore, pp. 365–370, doi:10.1007/978-3-642-15643-4_29.
  17. Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis & Sergio Yovine (1994): Symbolic Model Checking for Real-Time Systems. Inf. Comput. 111(2), pp. 193–244, doi:10.1006/inco.1994.1045.
  18. Thomas Hune, Judi Romijn, Mariëlle Stoelinga & Frits W. Vaandrager (2002): Linear parametric model checking of timed automata. J. Log. Algebr. Program. 52-53, pp. 183–220, doi:10.1016/S1567-8326(02)00037-1.
  19. Rémi Jaubert & Pierre-Alain Reynier (2011): Quantitative Robustness Analysis of Flat Timed Automata. In: FOSSACS, LNCS 6604. Springer, pp. 229–244, doi:10.1007/978-3-642-19805-2_16.
  20. Kim G. Larsen, Axel Legay, Louis-Marie Traonouez & Andrzej Wasowski (2011): Robust Specification of Real Time Components. In: FORMATS, LNCS 6919. Springer, Aalborg, Denmark, pp. 129–144, doi:10.1007/978-3-642-24310-3_10.
  21. Oded Maler, Amir Pnueli & Joseph Sifakis (1995): On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). In: STACS, pp. 229–242, doi:10.1.1.164.8800.
  22. Anuj Puri (1998): Dynamical properties of timed automata. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1486. Springer, pp. 210–227, doi:10.1007/BFb0055349.
  23. Python implementation of ECDAR: PyECDAR. https://launchpad.net/pyecdar.
  24. Martin Wulf, Laurent Doyen, Nicolas Markey & Jean-François Raskin (2008): Robust safety of timed automata. Formal Methods in System Design 33, pp. 45–84, doi:10.1007/s10703-008-0056-7.
  25. Martin De Wulf, Laurent Doyen & Jean-François Raskin (2005): Almost ASAP semantics: from timed models to timed implementations. Formal Aspects of Computing 17(3), pp. 319–341, doi:10.1007/s00165-005-0067-8.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org