toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
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 details   file url
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 details   url
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 details   url
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 details   url
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico From Boolean Functional Equations to Control Software 2011 CoRR, Technical Report abs/1106.0468 details   url
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 details   url
Tronci, Enrico Introductory Paper 2006 Sttt 10.1007/s10009-005-0212-y 8 355-358 details   pdf doi
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 details   pdf doi
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Validation and verification issues in a timeline-based planning system 2010 The Knowledge Engineering Review Cambridge University Press 10.1017/S0269888910000160 25 299-318 details   pdf doi
Bobbio, Andrea; Ciancamerla, Ester; Minichino, Michele; Tronci, Enrico Functional analysis of a telecontrol system and stochastic measures of its GSM/GPRS connections 2005 Archives of Transport – International Journal of Transport Problems 17 details   openurl
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: