toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
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
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
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 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
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
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
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
Tronci, Enrico Equational Programming in lambda-calculus 1991 Sixth Annual IEEE Symposium on Logic in Computer Science (LICS) IEEE Computer Society 10.1109/LICS.1991.151644 191-202 details   pdf doi
Bobbio, Andrea; Bologna, Sandro; Minichino, Michele; Ciancamerla, Ester; Incalcaterra, Piero; Kropp, Corrado; Tronci, Enrico Advanced techniques for safety analysis applied to the gas turbine control system of Icaro co generative plant 2001 X Convegno Tecnologie e Sistemi Energetici Complessi 339-350 details   pdf url
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: