List View
 |   | 
Author Title (down) Year Publication Publisher ISSN ISBN DOI Volume Pages
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Integrating RAM and Disk Based Verification within the Mur$\varphi$ Verifier 2003 Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings Springer 3-540-20363-X 10.1007/978-3-540-39724-3_25 277-282
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
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
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
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
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico From Boolean Functional Equations to Control Software 2011 CoRR, Technical Report abs/1106.0468
Tronci, Enrico Formally Modeling a Metal Processing Plant and its Closed Loop Specifications 1999 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE) IEEE Computer Society 0-7695-0418-3 10.1109/HASE.1999.809490 151
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
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico Formal Models of Timing Attacks on Web Privacy 2002 Electronic Notes in Theoretical Computer Science 10.1016/S1571-0661(04)00329-9 62 229-243
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