List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume (down) Pages
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
Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant 2002 21st International Conference on Computer Safety, Reliability and Security (SAFECOMP) Springer 3-540-44157-3 10.1007/3-540-45732-1_27 273-283
Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa A Probabilistic Approach to Automatic Verification of Concurrent Systems 2001 8th Asia-Pacific Software Engineering Conference (APSEC) IEEE Computer Society 0-7695-1408-1 10.1109/APSEC.2001.991495 317-324
Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa Exploiting Transition Locality in Automatic Verification 2001 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) Springer 3-540-42541-1 10.1007/3-540-44798-9_22 259-274
Dipoppa, G.; D'Alessandro, G.; Semprini, R.; Tronci, E. Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design 2001 High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on IEEE Computer Society 0-7695-1275-5 10.1109/HASE.2001.966821 209-219