- Marco Bozzano, Alessandro Cimatti, Joost{-}Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma and Marco Roveri (2014) Spacecraft early design validation using formal methods. Rel. Eng. {\&} Sys. Safety, 132:20-35. (url) (BibTeX)
- Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato and Marco Roveri (2014) Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. In 21st International Symposium on Temporal Representation and Reasoning, {TIME} 2014, Verona, Italy, September 8-10, 2014. (Amedeo Cesta and Carlo Combi and Fran{\c{c}}ois Laroussinie, Eds.) {IEEE} Computer Society, pages 27-36. (url) (BibTeX)
- Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri and Stefano Tonetta (2014) The nuXmv Symbolic Model Checker. In Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings. (Armin Biere and Roderick Bloem, Eds.) Springer, pages 334-342. (url) (BibTeX)
- Alessandro Cimatti, Luke Hunsberger, Andrea Micheli and Marco Roveri (2014) Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. In Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence, July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.. (Carla E. Brodley and Peter Stone, Eds.) {AAAI} Press, pages 2242-2249. (url) (BibTeX)
- Robin Steel, Alexander Hoffmann, Marc Niezette, Alessandro Cimatti, Marco Roveri, Konstantinos Kapellos, Alessandro Donati and Nicola Policella (2014) Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure. In 13th International Conference on Space Operations 2014.. (url) (BibTeX)
- Alberto Griggio and Marco Roveri (2014) Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking. In International Workshop on Design and Implementation of Formal Tools and Systems. Oct. (BibTeX)