List View
 |   | 
   web
Author (up) Title Year Publication Publisher ISSN ISBN DOI Volume Pages
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems 2012 Theoretical Aspects of Computing – ICTAC 2012 Springer Berlin Heidelberg 978-3-642-32942-5 10.1007/978-3-642-32943-2_19 243-258
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico From Boolean Functional Equations to Control Software 2011 CoRR, Technical Report abs/1106.0468
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters 2011 CoRR, Technical Report abs/1105.5640
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico From Boolean Relations to Control Software 2011 Proceedings of ICSEA 2011, The Sixth International Conference on Software Engineering Advances ThinkMind 978-1-61208-165-6 528-533
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
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
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
Mari, Federico; Melatti, Igor; Tronci, Enrico; Finzi, Alberto A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 2013 Mobile Information Systems IOS Press 1574-017x (Print) 1875-905X (Online) 10.3233/MIS-130162 3 261-280
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
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