toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
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 details   pdf doi
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh Parallel and Distributed Model Checking in Eddy 2006 Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 – April 1, 2006, Proceedings Springer - Verlag 0302-9743 978-3-540-33102-5 10.1007/11691617_7 108-125 details   pdf doi
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 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico Exploiting Hub States in Automatic Verification 2005 Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings Springer 3-540-29209-8 10.1007/11562948_7 54-68 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Finite Horizon Analysis of Markov Chains with the Mur$\varphi$ Verifier 2003 Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings Springer 3-540-20363-X 10.1007/978-3-540-39724-3_34 394-409 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Integrating RAM and Disk Based Verification within the Mur$\varphi$ Verifier 2003 Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings Springer 3-540-20363-X 10.1007/978-3-540-39724-3_25 277-282 details   pdf doi
Della Penna, Giuseppe; Di Marco, Antinisca; Intrigila, Benedetto; Melatti, Igor; Pierantonio, Alfonso Xere: Towards a Natural Interoperability between XML and ER Diagrams 2003 Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Springer 3-540-00899-3 10.1007/3-540-36578-8_25 356-371 details   pdf doi
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 details   pdf doi
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 details   pdf doi
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 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: