List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages
Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Tronci, Enrico; Verzino, Giovanni; Yushtein, Yuri Model Checking Satellite Operational Procedures 2011 DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. San Anton, Malta, EuroSpace.
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico From Boolean Relations to Control Software 2011 Proceedings of ICSEA 2011, The Sixth International Conference on Software Engineering Advances ThinkMind 978-1-61208-165-6 528-533
Cesta, Amedeo; Fratini, Simone; Orlandini, Andrea; Finzi, Alberto; Tronci, Enrico Flexible Plan Verification: Feasibility Results 2011 Fundamenta Informaticae 10.3233/FI-2011-397 107 111-137
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 2010 Computer Aided Verification Springer Berlin / Heidelberg 10.1007/978-3-642-14295-6_20 180-195
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Validation and verification issues in a timeline-based planning system 2010 The Knowledge Engineering Review Cambridge University Press 10.1017/S0269888910000160 25 299-318
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, Lorenzo; Clement, Allen; Li, Harry Model Checking Coalition Nash Equilibria in MAD Distributed Systems 2009 Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings Springer 10.1007/978-3-642-05118-0_37 531-546
Mazzini, Silvia; Puri, Stefano; Mari, Federico; Melatti, Igor; Tronci, Enrico Formal Verification at System Level 2009 In: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey, EuroSpace
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Flexible Timeline-Based Plan Verification 2009 KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings Springer 978-3-642-04616-2 10.1007/978-3-642-04617-9_7 49-56
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Flexible Plan Verification: Feasibility Results 2009 16th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” (RCRA). Proceedings
Bobbio, Andrea; Ciancamerla, Ester; Minichino, Michele; Tronci, Enrico Functional analysis of a telecontrol system and stochastic measures of its GSM/GPRS connections 2005 Archives of Transport – International Journal of Transport Problems 17