|
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
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 |
|
|
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 |
|
|
Mazzini, Silvia; Puri, Stefano; Mari, Federico; Melatti, Igor; Tronci, Enrico |
Formal Verification at System Level |
2009 |
In: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey, EuroSpace |
|
|
|
|
|
|
|
|
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 |
|
|
Bobbio, Andrea; Ciancamerla, Ester; Di Blasi, Saverio; Iacomini, Alessandro; Mari, Federico; Melatti, Igor; Minichino, Michele; Scarlatti, Alessandro; Tronci, Enrico; Terruggia, Roberta; Zendri, Emilio |
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks |
2009 |
Proceedings of Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS) |
|
|
|
10.1109/CRISIS.2009.5411974 |
|
90-97 |
|