List View
 |   | 
   web
Author Title Year (up) Publication Publisher ISSN ISBN DOI Volume Pages
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 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
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems 2012 Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA IEEE 978-1-4673-2065-8 10.1109/CDC.2012.6426260 6120-6125
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico On Model Based Synthesis of Embedded Control Software 2012 Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 ACM 978-1-4503-1425-1 10.1145/2380356.2380398 227-236
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 2012 Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances ThinkMind 664-671
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