List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages (down)
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
Toni Mancini; Enrico Tronci; Ivano Salvo; Federico Mari; Annalisa Massini; Igor Melatti Computing Biological Model Parameters by Parallel Statistical Model Checking 2015 International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015) 10.1007/978-3-319-16480-9_52 9044 542-554
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
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, Lorenzo; Clement, Allen; Li, Harry Model Checking Coalition Nash Equilibria in MAD Distributed Systems 2009 Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings Springer 10.1007/978-3-642-05118-0_37 531-546
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico From Boolean Relations to Control Software 2011 Proceedings of ICSEA 2011, The Sixth International Conference on Software Engineering Advances ThinkMind 978-1-61208-165-6 528-533
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
Pugliese, Rosario; Tronci, Enrico Automatic Verification of a Hydroelectric Power Plant 1996 Third International Symposium of Formal Methods Europe (FME), Co-Sponsored by IFIP WG 14.3 Springer 3-540-60973-3 10.1007/3-540-60973-3_100 425-444
Tronci, Enrico Hardware Verification, Boolean Logic Programming, Boolean Functional Programming 1995 Tenth Annual IEEE Symposium on Logic in Computer Science (LICS) IEEE Computer Society 10.1109/LICS.1995.523275 408-418
Mari, Federico; Tronci, Enrico CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 2007 Hybrid Systems: Computation and Control (HSCC 2007) Springer 10.1007/978-3-540-71493-4_32 399-412
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Finite horizon analysis of Markov Chains with the Mur$\varphi$ verifier 2006 Int. J. Softw. Tools Technol. Transf. Springer-Verlag 1433-2779 10.1007/s10009-005-0216-7 8 397-409