toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links (down)
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
Pappagallo, A.; Massini, A.; Tronci, E. Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review 2020 Information 10.3390/info11120588 11 details   pdf doi
Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Mari, F.; Leeners, B. Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 2020 IOS Press 1875-8681 10.3233/FI-2020-1943 174 283-310 details   pdf doi
Chen, Q.M.; Finzi, A.; Mancini, T.; Melatti, I.; Tronci, E. MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 2020 IOS Press 1875-8681 10.3233/FI-2020-1941 174 229-258 details   pdf doi
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. SyLVaaS: System Level Formal Verification as a Service 2016 Fundamenta Informaticae 10.3233/FI-2016-1444 149 101-132 details   pdf doi
Mancini, T. Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts 2016 Fundamenta Informaticae 10.3233/FI-2016-1443 149 61-100 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: