2011
-
F. Cavaliere, F. Mari, I. Melatti, G. Minei, I. Salvo, E. Tronci, G. Verzino, and Y. Yushtein,
“Model Checking Satellite Operational Procedures,”
in DAta Systems In Aerospace (DASIA), Org.
EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. San Anton, Malta,
EuroSpace, May 2011.
[ PDF ]
-
F. Mari, I. Melatti, I. Salvo, and E. Tronci,
“Quantized feedback control software synthesis from system level formal specifications,”
CoRR, vol. abs/1107.5638, 2011.
[ EE ]
-
F. Mari, I. Melatti, I. Salvo, and E. Tronci,
“From boolean functional equations to control software,”
CoRR, vol. abs/1106.0468, 2011.
[ EE ]
-
F. Mari, I. Melatti, I. Salvo, and E. Tronci,
“Quantized feedback control software synthesis from system level formal specifications for buck dc/dc converters,”
CoRR, vol. abs/1105.5640, 2011.
[ EE ]
2010
-
F. Mari, I. Melatti, I. Salvo, and E. Tronci,
“Synthesis of quantized feedback
control software for discrete time linear hybrid systems,” in Computer
Aided Verification (T. Touili, B. Cook, and P. Jackson, eds.), vol. 6174 of
Lecture Notes in Computer Science, pp. 180-195, Springer Berlin /
Heidelberg, 2010.
[ DOI ]
2009
-
S. Mazzini, S. Puri, F. Mari, I. Melatti, and E. Tronci,
“Formal verification at system level,”
in DAta Systems In Aerospace (DASIA), Org.
EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey,
EuroSpace., May 2009.
[ PDF ]
-
A. Bobbio, E. Ciancamerla, S. Di Blasi, A. Iacomini, F. Mari, I. Melatti, M. Minichino, A. Scarlatti, E. Tronci, R. Terruggia, and E. Zendri,
“Risk analysis via heterogeneous models of scada interconnecting power grids and telco networks,”
pp. 90-97, oct. 2009.
[ DOI | PDF ]
-
F. Mari, I. Melatti, I. Salvo, E. Tronci, L. Alvisi, A. Clement, and H. C. Li,
“Model checking coalition nash equilibria in mad distributed systems,” in
Stabilization, Safety, and Security of Distributed Systems, 11th
International Symposium, SSS 2009, Lyon, France, November 3-6, 2009.
Proceedings (R. Guerraoui and F. Petit, eds.), vol. 5873 of Lecture
Notes in Computer Science, pp. 531-546, Springer, 2009.
[ DOI | PDF ]
2008
-
F. Mari, I. Melatti, I. Salvo, E. Tronci, L. Alvisi, A. Clement, and H. Li,
“Model Checking Nash Equilibria in MAD Distributed Systems,”
in FMCAD '08: Proceedings of the 2008 International
Conference on Formal Methods in Computer-Aided Design (A. Cimatti and
R. Jones, eds.), (Piscataway, NJ, USA), pp. 1-8, IEEE Press, November 2008.
[ DOI | PDF ]
-
F. Chierichetti, S. Lattanzi, F. Mari, and A. Panconesi,
“On Placing Skips Optimally in Expectation,”
in Web Search and Web Data Mining (WSDM 2008) (M. Najork, A. Z. Broder, and S. Chakrabarti, eds.),
pp. 15-24, ACM, February 2008.
[ DOI | PDF ]
2007