List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages
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
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, Lorenzo; Clement, Allen; Li, Harry Model Checking Nash Equilibria in MAD Distributed Systems 2008 FMCAD '08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design IEEE Press 978-1-4244-2735-2 10.1109/FMCAD.2008.ECP.16 1-8
Driouich, Y.; Parente, M.; Tronci, E. A methodology for a complete simulation of Cyber-Physical Energy Systems 2018 EESMS 2018 – Environmental, Energy, and Structural Monitoring Systems, Proceedings 10.1109/EESMS.2018.8405826 1-5
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.K.; Hayes, B.; Prodanovic, M.; Elmegaard, L. User Flexibility Aware Price Policy Synthesis for Smart Grids 2015 Digital System Design (DSD), 2015 Euromicro Conference on 10.1109/DSD.2015.35 478-485
Alimguzhin, V.; Mari, F.; Melatti, I.; Tronci, E.; Ebeid, E.; Mikkelsen, S.A.; Jacobsen, R.H.; Gruber, J.K.; Hayes, B.; Huerta, F.; Prodanovic, M. A Glimpse of SmartHG Project Test-bed and Communication Infrastructure 2015 Digital System Design (DSD), 2015 Euromicro Conference on 10.1109/DSD.2015.106 225-232
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
Bobbio, Andrea; Ciancamerla, Ester; Di Blasi, Saverio; Iacomini, Alessandro; Mari, Federico; Melatti, Igor; Minichino, Michele; Scarlatti, Alessandro; Tronci, Enrico; Terruggia, Roberta; Zendri, Emilio Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks 2009 Proceedings of Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS) 10.1109/CRISIS.2009.5411974 90-97
Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico Automatic Synthesis of Robust Numerical Controllers 2007 Icas '07 IEEE Computer Society 0-7695-2859-5 10.1109/CONIELECOMP.2007.59 4
Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico A Model Checking Technique for the Verification of Fuzzy Control Systems 2005 CIMCA '05: Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06) IEEE Computer Society 0-7695-2504-0-01 10.1109/CIMCA.2005.1631319 536-542
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