toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (down) Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Verzino Giovanni ; Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Yushtein, Yuri; Tronci, Enrico Model checking driven simulation of sat procedures 2012 Proceedings of 12th International Conference on Space Operations (SpaceOps 2012) 10.2514/6.2012-1275611 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
Tronci, Enrico Introductory Paper 2006 Sttt 10.1007/s10009-005-0212-y 8 355-358 details   pdf doi
Tronci, Enrico Automatic Synthesis of Control Software for an Industrial Automation Control System 1999 Proc.of: 14th IEEE International Conference on: Automated Software Engineering (ASE) 10.1109/ASE.1999.802292 247-250 details   pdf doi
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 details   pdf doi
Tronci, Enrico Automatic Synthesis of Controllers from Formal Specifications 1998 Proc of 2nd IEEE International Conference on Formal Engineering Methods (ICFEM) 10.1109/ICFEM.1998.730577 134-143 details   pdf doi
Tronci, Enrico Equational Programming in Lambda-Calculus via SL-Systems. Part 1 1996 Theoretical Computer Science 10.1016/0304-3975(95)00105-0 160 145-184 details   pdf doi
Tronci, Enrico Equational Programming in Lambda-Calculus via SL-Systems. Part 2 1996 Theoretical Computer Science 10.1016/0304-3975(95)00106-9 160 185-216 details   pdf doi
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 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: