Automatic Synthesis of Control Software for Discrete Time Linear Hybrid Systems

• 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 ]
• 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 ]

Model Checking Nash Equilibria in MAD Distributed Systems

• 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 ]
• 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 ]

Model Checking Safety Properties for Discrete Time Linear Hybrid Systems

• F. Mari and E. Tronci, “CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems,” in Hybrid Systems: Computation and Control (HSCC 2007) (A. Bemporad, A. Bicchi, and G. C. Buttazzo, eds.), vol. 4416 of Lecture Notes in Computer Science, pp. 399-412, Springer, April 2007.
  [ DOI | PDF ]

Model Checking and Space Applications

• 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 ]

Model Checking and SysML

• 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 ]

Risk Analysis

• 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 ]

Information Retrieval

• 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 ]