The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Enrico Tronci: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
    A Probabilistic Approach to Automatic Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:317-324 [Conf]
  2. Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci
    Exploiting Hub States in Automatic Verification. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:54-68 [Conf]
  3. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Integrating RAM and Disk Based Verification within the Mur-phi Verifier. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:277-282 [Conf]
  4. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:394-409 [Conf]
  5. Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
    Exploiting Transition Locality in Automatic Verification. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:259-274 [Conf]
  6. Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci
    A Symbolic Model Checker for ACTL. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:228-242 [Conf]
  7. Rosario Pugliese, Enrico Tronci
    Automatic Verification of a Hydroelectric Power Plant. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:425-444 [Conf]
  8. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Bounded Probabilistic Model Checking with the Muralpha Verifier. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:214-229 [Conf]
  9. Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
    Exploiting Transition Locality in the Disk Based Mur phi Verifier. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2002, pp:202-219 [Conf]
  10. Giovanni Dipoppa, G. D'Alessandro, R. Semprini, Enrico Tronci
    Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:209-0 [Conf]
  11. Enrico Tronci
    Formally Modeling a Metal Processing Plant and its Closed Loop Specifications. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:151-0 [Conf]
  12. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli
    Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:141-155 [Conf]
  13. Federico Mari, Enrico Tronci
    CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:399-412 [Conf]
  14. Enrico Tronci
    Automatic Synthesis of Controllers from Formal Specifications. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:134-143 [Conf]
  15. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
    Automatic Covert Channel Analysis of a Multilevel Secure Component. [Citation Graph (0, 0)][DBLP]
    ICICS, 2004, pp:249-261 [Conf]
  16. Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci
    Automatic generation of optimal controllers through model checking techniques. [Citation Graph (0, 0)][DBLP]
    ICINCO-ICSO, 2006, pp:26-33 [Conf]
  17. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:58-71 [Conf]
  18. Enrico Tronci
    Automatic Synthesis of Control Software for an Industrial Automation Control System. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:247-250 [Conf]
  19. Marco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli
    Electric Power System Anomaly Detection Using Neural Networks. [Citation Graph (0, 0)][DBLP]
    KES, 2004, pp:1242-1248 [Conf]
  20. Corrado Böhm, Enrico Tronci
    X-Separability and Left-Invertibility in lambda-calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:320-328 [Conf]
  21. Enrico Tronci
    Equational Prgoramming in lambda-calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:191-202 [Conf]
  22. Enrico Tronci
    Hardware Verification, Boolean Logic Programming, Boolean Functional Programming [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:408-418 [Conf]
  23. Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci
    Automatic Timeliness Verification of a Public Mobile Network. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:35-48 [Conf]
  24. Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci
    Automatic Analysis of a Safety Critical Tele Control System. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:94-107 [Conf]
  25. Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino
    Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:273-283 [Conf]
  26. Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
    A Model Checking Technique for the Verification of Fuzzy Control Systems. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2005, pp:536-542 [Conf]
  27. Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
    Synchronized regular expressions. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2003, v:39, n:1, pp:31-70 [Journal]
  28. Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
    Formal Models of Timing Attacks on Web Privacy. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  29. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
    Automatic Analysis of the NRL Pump. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:245-266 [Journal]
  30. Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
    Synchronized Regular Expressions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  31. Corrado Böhm, Enrico Tronci
    About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1991, v:90, n:1, pp:1-32 [Journal]
  32. Adolfo Piperno, Enrico Tronci
    Regular Systems in lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:3, pp:325-340 [Journal]
  33. Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
    Automated analysis of timed security: a case study on web privacy. [Citation Graph (0, 0)][DBLP]
    Int. J. Inf. Sec., 2004, v:2, n:3-4, pp:168-186 [Journal]
  34. Enrico Tronci
    Defining Data Structures via Böhm-Out. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1995, v:5, n:1, pp:51-64 [Journal]
  35. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Exploiting transition locality in automatic verification of finite-state concurrent systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:4, pp:320-341 [Journal]
  36. Enrico Tronci
    Introductory Paper. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:355-358 [Journal]
  37. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Finite horizon analysis of Markov Chains with the Murphi verifier. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:397-409 [Journal]
  38. Enrico Tronci
    Equational Programming in Lambda-Calculus via SL-Systems. Part 1. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:160, n:1&2, pp:145-184 [Journal]
  39. Enrico Tronci
    Equational Programming in Lambda-Calculus via SL-Systems. Part 2. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:160, n:1&2, pp:185-216 [Journal]

  40. Disk Based Software Verification via Bounded Model Checking. [Citation Graph (, )][DBLP]


  41. Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. [Citation Graph (, )][DBLP]


  42. Analyzing Flexible Timeline-based Plans. [Citation Graph (, )][DBLP]


  43. Model Checking Nash Equilibria in MAD Distributed Systems. [Citation Graph (, )][DBLP]


  44. Flexible Timeline-Based Plan Verification. [Citation Graph (, )][DBLP]


  45. Model Checking Coalition Nash Equilibria in MAD Distributed Systems. [Citation Graph (, )][DBLP]


  46. A Case Study on Automated Generation of Integration Tests. [Citation Graph (, )][DBLP]


  47. Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. [Citation Graph (, )][DBLP]


Search in 0.021secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002