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
Dipoppa, G.; D'Alessandro, G.; Semprini, R.; Tronci, E. Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design 2001 High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on IEEE Computer Society 0-7695-1275-5 10.1109/HASE.2001.966821 209-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
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
Alimguzhin, V.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. Linearising Discrete Time Hybrid Systems 2017 IEEE Transactions on Automatic Control 0018-9286 10.1109/TAC.2017.2694559 62 5357-5364 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
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: