|
Search the dblp DataBase
Ester Ciancamerla:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Improving Resilience of Interdependent Critical Infrastructures via an On-Line Alerting System. [Citation Graph (, )][DBLP]
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|