List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages
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
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
Charme 2003 Lecture Notes in Computer Science Springer 3-540-20363-X 10.1007/b93958 2860
Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele Fluid Petri Nets and hybrid model checking: a comparative case study 2003 Int. Journal on: Reliability Engineering & System Safety Elsevier 10.1016/S0951-8320(03)00089-9 81 239-257
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
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
Alimguzhin, V.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. Linearising Discrete Time Hybrid Systems 2017 IEEE Transactions on Automatic Control 0018-9286 10.1109/TAC.2017.2694559 62 5357-5364
Tronci, Enrico Hardware Verification, Boolean Logic Programming, Boolean Functional Programming 1995 Tenth Annual IEEE Symposium on Logic in Computer Science (LICS) IEEE Computer Society 10.1109/LICS.1995.523275 408-418
Tronci, Enrico Defining Data Structures via Böhm-Out 1995 J. Funct. Program. 10.1017/S0956796800001234 5 51-64