Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
Exploiting Hub States in Automatic Verification |
2005 |
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings |
Springer |
3-540-29209-8 |
|
10.1007/11562948_7 |
|
54-68 |
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
On-the-Fly Control Software Synthesis |
2013 |
Proceedings of International SPIN Symposium on Model Checking of Software (SPIN 2013) |
Springer - Verlag |
0302-9743 |
978-3-642-39175-0 |
10.1007/978-3-642-39176-7_5 |
|
61-80 |
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software |
2013 |
Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) |
Springer - Verlag |
0302-9743 |
978-3-642-39175-0 |
10.1007/978-3-642-39176-7_4 |
|
43-60 |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems |
2010 |
Computer Aided Verification |
Springer Berlin / Heidelberg |
|
|
10.1007/978-3-642-14295-6_20 |
|
180-195 |
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico |
System Level Formal Verification via Model Checking Driven Simulation |
2013 |
Proceedings of the 25th International Conference on Computer Aided Verification. July 13-19, 2013, Saint Petersburg, Russia |
Springer - Verlag |
0302-9743 |
978-3-642-39798-1 |
10.1007/978-3-642-39799-8_21 |
|
296-312 |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, Lorenzo; Clement, Allen; Li, Harry |
Model Checking Coalition Nash Equilibria in MAD Distributed Systems |
2009 |
Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings |
Springer |
|
|
10.1007/978-3-642-05118-0_37 |
|
531-546 |
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 |
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh |
Parallel and Distributed Model Checking in Eddy |
2006 |
Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 – April 1, 2006, Proceedings |
Springer - Verlag |
0302-9743 |
978-3-540-33102-5 |
10.1007/11691617_7 |
|
108-125 |
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 |
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 |