List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume (up) Pages
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
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Verifying Flexible Timeline-based Plans 2009 E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems
Campagnano, Edoardo; Ciancamerla, Ester; Minichino, Michele; Tronci, Enrico Automatic Analysis of a Safety Critical Tele Control System 2005 24th International Conference on: Computer Safety, Reliability, and Security (SAFECOMP) Springer 3-540-29200-4 10.1007/11563228_8 94-107
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico Automatic Covert Channel Analysis of a Multilevel Secure Component 2004 Information and Communications Security, 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004, Proceedings Springer 10.1007/b101042 249-261
Martinelli, Marco; Tronci, Enrico; Dipoppa, Giovanni; Balducelli, Claudio Electric Power System Anomaly Detection Using Neural Networks 2004 8th International Conference on: Knowledge-Based Intelligent Information and Engineering Systems (KES) Springer 3-540-23318-0 10.1007/978-3-540-30132-5_168 1242-1248
Ciancamerla, Ester; Minichino, Michele; Serro, Stefano; Tronci, Enrico Automatic Timeliness Verification of a Public Mobile Network 2003 22nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) Springer 978-3-540-20126-7 10.1007/978-3-540-39878-3_4 35-48
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa Exploiting Transition Locality in the Disk Based Mur$\varphi$ Verifier 2002 4th International Conference on Formal Methods in Computer-Aided Design (FMCAD) Springer 3-540-00116-6 10.1007/3-540-36126-X_13 202-219