| Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI  |
Volume |
Pages |
| 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 |
| 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 |
| 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 |
| Mancini, T. ; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Tronci, E. |
On minimising the maximum expected verification time |
2017 |
Information Processing Letters |
|
|
|
10.1016/j.ipl.2017.02.001 |
|
|
| Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
On Checking Equivalence of Simulation Scripts |
2021 |
Journal of Logical and Algebraic Methods in Programming |
|
2352-2208 |
|
10.1016/j.jlamp.2021.100640 |
|
100640 |
| Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
Anytime system level verification via parallel random exhaustive hardware in the loop simulation |
2016 |
Microprocessors and Microsystems |
|
0141-9331 |
|
10.1016/j.micpro.2015.10.010 |
41 |
12-28 |
| Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro |
A Type Inference Algorithm for Secure Ambients |
2002 |
Electronic Notes in Theoretical Computer Science |
Elsevier |
|
|
10.1016/S1571-0661(04)00321-4 |
62 |
83-101 |
| Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano |
Mobility Types for Mobile Processes in Mobile Ambients |
2003 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
10.1016/S1571-0661(04)81011-9 |
78 |
|
| Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa |
A Probabilistic Approach to Automatic Verification of Concurrent Systems |
2001 |
8th Asia-Pacific Software Engineering Conference (APSEC) |
IEEE Computer Society |
0-7695-1408-1 |
|
10.1109/APSEC.2001.991495 |
|
317-324 |
