Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Alimguzhin, V.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
Linearising Discrete Time Hybrid Systems |
2017 |
IEEE Transactions on Automatic Control |
|
0018-9286 |
|
10.1109/TAC.2017.2694559 |
62 |
5357-5364 |
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 |
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa |
Synchronized Regular Expressions |
2002 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
|
62 |
195-210 |
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 |
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa |
Synchronized regular expressions |
2003 |
Acta Inf. |
|
|
|
|
39 |
31-70 |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Model Based Synthesis of Control Software from System Level Formal Specifications |
2014 |
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
ACM |
1049-331X |
|
10.1145/2559934 |
23 |
Article 6 |
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; 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 |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems |
2013 |
International Journal on Advances in Software |
IARIA |
1942-2628 |
|
|
vol. 6, nr 1&2 |
155-169 |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Synthesizing Control Software from Boolean Relations |
2012 |
International Journal on Advances in Software |
IARIA |
1942-2628 |
|
|
vol. 5, nr 3&4 |
212-223 |