toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year (down) Publication Publisher ISSN ISBN DOI Volume Pages Links
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Minichino, Michele; Ciancamerla, Ester; Parisse, Andrea; Tronci, Enrico; Venturini Zilli, Marisa Automatic Verification of a Turbogas Control System with the Mur$\varphi$ Verifier 2003 Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Springer 3-540-00913-2 10.1007/3-540-36580-X 141-155 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Finite Horizon Analysis of Stochastic Systems with the Mur$\varphi$ Verifier 2003 Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings Springer 3-540-20216-1 10.1007/978-3-540-45208-9_6 58-71 details   pdf doi
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 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa Synchronized Regular Expressions 2002 Electr. Notes Theor. Comput. Sci. 62 195-210 details   pdf url
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro A Type Inference Algorithm for Secure Ambients 2002 Electronic Notes in Theoretical Computer Science Elsevier 10.1016/S1571-0661(04)00321-4 62 83-101 details   pdf doi
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 details   pdf doi
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 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: