toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year (down) Publication Publisher ISSN ISBN DOI Volume Pages Links
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Model Based Synthesis of Control Software from System Level Formal Specifications 2014 ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY ACM 1049-331X 10.1145/2559934 23 Article 6 details   pdf doi
Mancini, Toni ; Mari, Federico ; Massini, Annalisa; Melatti, Igor; Tronci, Enrico System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation 2014 Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing IEEE Computer Society 10.1109/PDP.2014.32 details   pdf doi
Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Jacobsen, R. H.; Ebeid, E.; Mikkelsen, S. A.; Prodanovic, M.; Gruber, J. K.; Hayes, B. SmartHG: Energy Demand Aware Open Services for Smart Grid Intelligent Automation 2014 Proceedings of the Work in Progress Session of SEAA/DSD 2014 978-3-902457-40-0 details   pdf isbn
Tronci, E.; Mancini, T.; Salvo, I.; Mari, F.; Melatti, I.; Massini, A.; Sinisi, S.; Davì, F.; Dierkes, T.; Ehrig, R.; Röblitz, S.; Leeners, B.; Krüger, T.; Egli, M.; Ille, F. Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 2014 Formal Methods in Computer-Aided Design (FMCAD) 10.1109/FMCAD.2014.6987615 details   pdf doi
Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Prodanovic, M.; Gruber, J. K.; Hayes, B.; Elmegaard, L. Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 2014 Proceedings of Smart Grid Communications (SmartGridComm), 2014 IEEE International Conference On 10.1109/SmartGridComm.2014.7007745 details   pdf doi
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 2014 In Proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014) 10.1109/DSD.2014.91 details   pdf doi
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; 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 details   pdf doi
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico On-the-Fly Control Software Synthesis 2013 Proceedings of International SPIN Symposium on Model Checking of Software (SPIN 2013) Springer - Verlag 0302-9743 978-3-642-39175-0 10.1007/978-3-642-39176-7_5 61-80 details   pdf doi
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 2013 Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) Springer - Verlag 0302-9743 978-3-642-39175-0 10.1007/978-3-642-39176-7_4 43-60 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: