List View
 |   | 
   web
Author 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 Control Software Visualization 2012 Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation ThinkMind 978-1-61208-226-4 15-20
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 2012 CoRR, Technical Report abs/1210.2276
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico On Model Based Synthesis of Embedded Control Software 2012 CoRR, Technical Report abs/1207.4474
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems 2012 CoRR, Technical Report abs/1207.4098
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Model Based Synthesis of Control Software from System Level Formal Specifications 2013 CoRR, Technical Report abs/1107.5638
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
Kuijpers, Ed; Carotenuto, Luigi; Malapert, Jean-Cristophe; Markov-Vetter, Daniela; Melatti, Igor; Orlandini, Andrea; Pinchuk, Ranni Collaboration on ISS Experiment Data and Knowledge Representation 2012 Proc. of IAC 2012 D.5.11
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Synthesizing Control Software from Boolean Relations 2012 International Journal on Advances in Software IARIA 1942-2628 vol. 5, nr 3&4 212-223