- A survey of timed automata for the development of real-time systems Md Tawhid Bin Waez Juergen Dingel Karen Rudie Tue 13 March 2018
- Descriptional and computational complexity of finite automata---A survey Markus Holzer Martin Kutrib Tue 10 January 2017
- Automata and Logics for Words and Trees over an Infinite Alphabet Luc Segoufin Tue 03 March 2015
- Model Checking and Artificial Intelligence Stefan Edelkamp Viktor Schuppan Dragan Bošnački Anton Wijs Ansgar Fehnker Husain Aljazzar Sun 22 December 2013
- A Survey of Regular Model Checking ParoshAziz Abdulla Bengt Jonsson Marcus Nilsson Mayank Saksena Sun 22 December 2013
- A Survey of Stochastic omega-regular Games Krishnendu Chatterjee Thomas A. Henzinger Fri 13 December 2013
- A survey of partial-observation stochastic parity games Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger Tue 24 September 2013
- Automata for XML---A survey Thomas Schwentick Mon 15 July 2013
- Logics for unranked trees: an overview Leonid Libkin Mon 15 July 2013
- Automata, Logic, and XML Frank Neven Mon 15 July 2013
- Automated temporal reasoning about reactive systems E. Allen Emerson Thu 31 January 2013
- The worst-case execution-time problem---overview of methods and survey of tools Reinhard Wilhelm Jakob Engblom Andreas Ermedahl Niklas Holsti Stephan Thesing David Whalley Guillem Bernat Christian Ferdinand Reinhold Heckmann Tulika Mitra Frank Mueller Isabelle Puaut Peter Puschner Jan Staschulat Per Stenstrøm Wed 30 January 2013
- Software model checking Ranjit Jhala Rupak Majumdar Wed 30 January 2013
- A survey on the decidability questions for classes of fifo nets A. Finkel L. Rosier Mon 08 October 2012
- Regular model checking Parosh Aziz Abdulla Thu 24 May 2012
- Timed Automata: Semantics, Algorithms and Tools Johan Bengtsson Wang Yi Tue 06 March 2012
Library Size: 13G (16 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
