1. Optimal dynamic partial order reduction
2. Source Sets
3. A theory of timed automata
4. Gilles Audemard , Alessandro Cimatti , Artur Kornilowicz , and Roberto Sebastiani . 2002 . Bounded Model Checking for Timed Systems. In Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas , USA , November 11-14, 2002, Proceedings(Lecture Notes in Computer Science, Vol. 2529), Doron A. Peled and Moshe Y. Vardi (Eds.). Springer, 243–259. https://doi.org/10.1007/3-540-36135-9_16 Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, and Roberto Sebastiani. 2002. Bounded Model Checking for Timed Systems. In Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings(Lecture Notes in Computer Science, Vol. 2529), Doron A. Peled and Moshe Y. Vardi (Eds.). Springer, 243–259. https://doi.org/10.1007/3-540-36135-9_16
5. Bahareh Badban and Martin Lange . 2011 . Exact Incremental Analysis of Timed Automata with an SMT-Solver. In Formal Modeling and Analysis of Timed Systems - 9th International Conference , FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings(Lecture Notes in Computer Science, Vol. 6919) , Uli Fahrenberg and Stavros Tripakis (Eds.). Springer, 177–192. https://doi.org/10.1007/978-3-642-24310-3_13 Bahareh Badban and Martin Lange. 2011. Exact Incremental Analysis of Timed Automata with an SMT-Solver. In Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings(Lecture Notes in Computer Science, Vol. 6919), Uli Fahrenberg and Stavros Tripakis (Eds.). Springer, 177–192. https://doi.org/10.1007/978-3-642-24310-3_13