The SCEAS System
Navigation Menu

Search the dblp DataBase


Michele Minichino: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Ester Ciancamerla, Michele Minichino
    Performability Measures of the Public Mobile Network of a Tele Control System. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2004, pp:142-154 [Conf]
  3. 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]
  4. Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale
    Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:212-223 [Conf]
  5. Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla
    Comparing Fault Trees and Bayesian Networks for Dependability Analysis. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1999, pp:310-322 [Conf]
  6. 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]
  7. 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]
  8. Andrea Bobbio, R. Terruggia, A. Boellis, Ester Ciancamerla, Michele Minichino
    A Tool for Network Reliability Analysis. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:417-422 [Conf]

  9. Improving Resilience of Interdependent Critical Infrastructures via an On-Line Alerting System. [Citation Graph (, )][DBLP]

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

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002