List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages
Della Penna, Giuseppe; Di Marco, Antinisca; Intrigila, Benedetto; Melatti, Igor; Pierantonio, Alfonso Interoperability mapping from XML schemas to ER diagrams 2006 Data Knowl. Eng. Elsevier Science Publishers B. V. 0169-023x 10.1016/j.datak.2005.08.002 59 166-188
Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico Automated Generation of Optimal Controllers through Model Checking Techniques 2006 Icinco-Icso INSTICC Press 972-8865-59-7 10.1007/978-3-540-79142-3 26-33
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh Parallel and distributed model checking in Eddy 2009 Int. J. Softw. Tools Technol. Transf. Springer-Verlag 1433-2779 10.1007/s10009-008-0094-x 11 13-25
Intrigila, Benedetto; Melatti, Igor; Tofani, Alberto; Macchiarelli, Guido Computational models of myocardial endomysial collagen arrangement 2007 Computer Methods and Programs in Biomedicine Elsevier North-Holland, Inc. 0169-2607 10.1016/j.cmpb.2007.03.004 86 232-244
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
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
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
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico On Model Based Synthesis of Embedded Control Software 2012 Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 ACM 978-1-4503-1425-1 10.1145/2380356.2380398 227-236
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
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Control Software Visualization 2012 Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation ThinkMind 978-1-61208-226-4 15-20