| 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; 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 |
| 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 |
| Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa |
Finite horizon analysis of Markov Chains with the Mur$\varphi$ verifier |
2006 |
Int. J. Softw. Tools Technol. Transf. |
Springer-Verlag |
1433-2779 |
|
10.1007/s10009-005-0216-7 |
8 |
397-409 |
| Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
Automatic Synthesis of Robust Numerical Controllers |
2007 |
Icas '07 |
IEEE Computer Society |
0-7695-2859-5 |
|
10.1109/CONIELECOMP.2007.59 |
|
4 |
| Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
Automated Generation Of Optimal Controllers Through Model Checking Techniques |
2008 |
Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006 |
Springer |
|
|
10.1007/978-3-540-79142-3_10 |
|
107-119 |
| Della Penna, Giuseppe; Tofani, Alberto; Pecorari, Marcello; Raparelli, Orazio; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
A Case Study on Automated Generation of Integration Tests |
2006 |
Fdl |
Ecsi |
978-3-00-019710-9 |
|
|
|
278-284 |
| 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 |
