toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Synthesizing Control Software from Boolean Relations 2012 International Journal on Advances in Software IARIA 1942-2628 vol. 5, nr 3&4 212-223 details   pdf url
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 2013 International Journal on Advances in Software IARIA 1942-2628 vol. 6, nr 1&2 155-169 details   pdf url
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 details   pdf doi
Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco; Pugliese, Rosario; Tronci, Enrico A Symbolic Model Checker for ACTL 1998 International Workshop on Current Trends in Applied Formal Method (FM-Trends) Springer 3-540-66462-9 10.1007/3-540-48257-1_14 228-242 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Bounded Probabilistic Model Checking with the Mur$\varphi$ Verifier 2004 Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings Springer 3-540-23738-0 10.1007/978-3-540-30494-4_16 214-229 details   pdf doi
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 details   pdf doi
Charme 2003 Lecture Notes in Computer Science Springer 3-540-20363-X 10.1007/b93958 2860 details   file doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Finite Horizon Analysis of Markov Chains with 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_34 394-409 details   pdf doi
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 details   pdf doi
Pugliese, Rosario; Tronci, Enrico Automatic Verification of a Hydroelectric Power Plant 1996 Third International Symposium of Formal Methods Europe (FME), Co-Sponsored by IFIP WG 14.3 Springer 3-540-60973-3 10.1007/3-540-60973-3_100 425-444 details   doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: