| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN  |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Tronci, Enrico; Verzino, Giovanni; Yushtein, Yuri |
Model Checking Satellite Operational Procedures |
2011 |
DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. San Anton, Malta, EuroSpace. |
|
|
|
|
|
|
|
|
|
Cesta, Amedeo; Fratini, Simone; Orlandini, Andrea; Finzi, Alberto; Tronci, Enrico |
Flexible Plan Verification: Feasibility Results |
2011 |
Fundamenta Informaticae |
|
|
|
10.3233/FI-2011-397 |
107 |
111-137 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems |
2010 |
Computer Aided Verification |
Springer Berlin / Heidelberg |
|
|
10.1007/978-3-642-14295-6_20 |
|
180-195 |
|
|
|
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 |
|
|
|
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Validation and verification issues in a timeline-based planning system |
2010 |
The Knowledge Engineering Review |
Cambridge University Press |
|
|
10.1017/S0269888910000160 |
25 |
299-318 |
|
|
|
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 |
|
|
|
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 |
|
|
|
|
|
|
|
|
|
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Flexible Plan Verification: Feasibility Results |
2009 |
16th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” (RCRA). Proceedings |
|
|
|
|
|
|
|
|
|
Bobbio, Andrea; Ciancamerla, Ester; Minichino, Michele; Tronci, Enrico |
Functional analysis of a telecontrol system and stochastic measures of its GSM/GPRS connections |
2005 |
Archives of Transport – International Journal of Transport Problems |
|
|
|
|
17 |
|
|
|
|
Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele |
Fluid Petri Nets and hybrid model checking: a comparative case study |
2003 |
Int. Journal on: Reliability Engineering & System Safety |
Elsevier |
|
|
10.1016/S0951-8320(03)00089-9 |
81 |
239-257 |
|
