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 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
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
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 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: