List View
 |   | 
   web
Author (up) Title Year Publication Publisher ISSN ISBN DOI Volume Pages
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
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa Synchronized Regular Expressions 2002 Electr. Notes Theor. Comput. Sci. 62 195-210
Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico Automated Generation Of Optimal Controllers Through Model Checking Techniques 2008 Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006 Springer 10.1007/978-3-540-79142-3_10 107-119
Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico Automated Generation of Optimal Controllers through Model Checking Techniques 2006 Icinco-Icso INSTICC Press 972-8865-59-7 10.1007/978-3-540-79142-3 26-33
Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico Automatic Synthesis of Robust Numerical Controllers 2007 Icas '07 IEEE Computer Society 0-7695-2859-5 10.1109/CONIELECOMP.2007.59 4
Della Penna, Giuseppe; Tofani, Alberto; Pecorari, Marcello; Raparelli, Orazio; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico A Case Study on Automated Generation of Integration Tests 2006 Fdl Ecsi 978-3-00-019710-9 278-284
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
Driouich, Y.; Parente, M.; Tronci, E. Modeling cyber-physical systems for automatic verification 2017 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017) 10.1109/SMACD.2017.7981621 1-4
Driouich, Y.; Parente, M.; Tronci, E. A methodology for a complete simulation of Cyber-Physical Energy Systems 2018 EESMS 2018 – Environmental, Energy, and Structural Monitoring Systems, Proceedings 10.1109/EESMS.2018.8405826 1-5
Driouich, Y.; Parente, M.; Tronci, E. Model Checking Cyber-Physical Energy Systems 2018 Proceedings of 2017 International Renewable and Sustainable Energy Conference, IRSEC 2017 Institute of Electrical and Electronics Engineers Inc. 10.1109/IRSEC.2017.8477334