| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI  |
Volume |
Pages |
Links |
|
|
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 |
|
|
|
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks |
2018 |
Foundations of Intelligent Systems – 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings |
|
|
|
10.1007/978-3-030-01851-1_29 |
|
302-312 |
|
|
|
Toni Mancini; Enrico Tronci; Ivano Salvo; Federico Mari; Annalisa Massini; Igor Melatti |
Computing Biological Model Parameters by Parallel Statistical Model Checking |
2015 |
International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015) |
|
|
|
10.1007/978-3-319-16480-9_52 |
9044 |
542-554 |
|
|
|
Martinelli, Marco; Tronci, Enrico; Dipoppa, Giovanni; Balducelli, Claudio |
Electric Power System Anomaly Detection Using Neural Networks |
2004 |
8th International Conference on: Knowledge-Based Intelligent Information and Engineering Systems (KES) |
Springer |
3-540-23318-0 |
|
10.1007/978-3-540-30132-5_168 |
|
1242-1248 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa |
Bounded Probabilistic Model Checking with the Mur$\varphi$ Verifier |
2004 |
Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings |
Springer |
3-540-23738-0 |
|
10.1007/978-3-540-30494-4_16 |
|
214-229 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa |
Integrating RAM and Disk Based Verification within the Mur$\varphi$ Verifier |
2003 |
Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings |
Springer |
3-540-20363-X |
|
10.1007/978-3-540-39724-3_25 |
|
277-282 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa |
Finite Horizon Analysis of Markov Chains with the Mur$\varphi$ Verifier |
2003 |
Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings |
Springer |
3-540-20363-X |
|
10.1007/978-3-540-39724-3_34 |
|
394-409 |
|
|
|
Ciancamerla, Ester; Minichino, Michele; Serro, Stefano; Tronci, Enrico |
Automatic Timeliness Verification of a Public Mobile Network |
2003 |
22nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) |
Springer |
978-3-540-20126-7 |
|
10.1007/978-3-540-39878-3_4 |
|
35-48 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa |
Finite Horizon Analysis of Stochastic Systems with the Mur$\varphi$ Verifier |
2003 |
Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings |
Springer |
3-540-20216-1 |
|
10.1007/978-3-540-45208-9_6 |
|
58-71 |
|
|
|
Mari, Federico; Tronci, Enrico |
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems |
2007 |
Hybrid Systems: Computation and Control (HSCC 2007) |
Springer |
|
|
10.1007/978-3-540-71493-4_32 |
|
399-412 |
|
