Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
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 |
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; Minichino, Michele; Ciancamerla, Ester; Parisse, Andrea; Tronci, Enrico; Venturini Zilli, Marisa |
Automatic Verification of a Turbogas Control System with the Mur$\varphi$ Verifier |
2003 |
Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings |
Springer |
3-540-00913-2 |
|
10.1007/3-540-36580-X |
|
141-155 |
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 |
Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico |
Automated analysis of timed security: a case study on web privacy |
2004 |
International Journal of Information Security |
|
|
|
10.1007/s10207-004-0037-9 |
2 |
168-186 |
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico |
Automatic Covert Channel Analysis of a Multilevel Secure Component |
2004 |
Information and Communications Security, 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004, Proceedings |
Springer |
|
|
10.1007/b101042 |
|
249-261 |
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 |
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico |
Automatic Analysis of the NRL Pump |
2004 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
10.1016/j.entcs.2004.02.011 |
99 |
245-266 |
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 |
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems |
2004 |
Sttt |
|
|
|
10.1007/s10009-004-0149-6 |
6 |
320-341 |