Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
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 |
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 |
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 |
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 |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, Lorenzo; Clement, Allen; Li, Harry |
Model Checking Nash Equilibria in MAD Distributed Systems |
2008 |
FMCAD '08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design |
IEEE Press |
978-1-4244-2735-2 |
|
10.1109/FMCAD.2008.ECP.16 |
|
1-8 |
Chierichetti, Flavio; Lattanzi, Silvio; Mari, Federico; Panconesi, Alessandro |
On Placing Skips Optimally in Expectation |
2008 |
Web Search and Web Data Mining (WSDM 2008) |
Acm |
|
|
10.1145/1341531.1341537 |
|
15-24 |
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems |
2012 |
Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA |
IEEE |
|
978-1-4673-2065-8 |
10.1109/CDC.2012.6426260 |
|
6120-6125 |
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
On Model Based Synthesis of Embedded Control Software |
2012 |
Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 |
ACM |
|
978-1-4503-1425-1 |
10.1145/2380356.2380398 |
|
227-236 |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems |
2012 |
Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances |
ThinkMind |
|
|
|
|
664-671 |