Igor Melatti

Curriculum in PDF
  • Biographical notes
  • Education
  • Working at the University as a Post-Doc
  • Journal Papers
  • Papers on Proceedings of International Conferences
  • Papers on Proceedings of Italian Conferences
  • Papers submitted to Journals
  • Tools
  • Teaching (classes)
  • Teaching (theses)
  • International schools
  • Working outside university
  • Other documents
  • Office

    Biographical notes

    I was born in Treviso (near Venice, Italy); my birth date is the second of January 1976.
    I have been living in L'Aquila (near Rome) since 1987; my address is: Via Carlo De Paulis 20, 67100 L'Aquila, Italy

    Top

    Education

  • 06/06/2005: PhD in Informatica ed Applicazioni (Computer Science and Applications), at the Dipartimento di Informatica (Department of Computer Science) of the Facoltà di Scienze MM. FF. NN. (Faculty of Sciences) of the University of L'Aquila. The PhD thesis has the following title: "Explicit Algorithms for Probabilistic Model Checking", advisor Prof. Benedetto Intrigila. The PhD program lasted three years, with a scholarship of the Italian Ministry of the Instruction.
  • 04/10/2001: degree in Informatics with the maximum score "cum laude", at the Facoltà di Scienze MM. FF. NN. (Faculty of Sciences) of the University of L'Aquila. The thesis's title was "Uso di SPIN in un approccio probabilistico alla verifica automatica di sistemi concorrenti" ("Using a probabilistic approach in the automatical verification of concurrent systems with SPIN"), and the relator was the Prof. Enrico Tronci
  • 1997: degree in Piano with the highest score
  • 1995: degree of "maturità classica" (upper school teaching also ancient Greek and Latin), with the highest score
    Top

    Working at the University as a Post-Doc

  • Since 02/01/2006 he holds a Post-Doc position at the Department of Computer Science of the University of Rome "La Sapienza" (Rome, Italy), supervisor Prof. Enrico Tronci.
  • From 07/11/2005 to 12/31/2005 he had a "Post Doctoral Research Associate" position at the School of Computing of the University of Utah (Salt Lake City, UT, USA), supervisor Prof. Ganesh Gopalakrishnan.
    Top

    Journal Papers

  • Per la lista "istituzionale" (DBLP), cliccare qui
  • G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli: "Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems" (Software Tools for Technology Transfer, Volume 6, Number 4).
    Springer Link   Bibtex
  • G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, and M. Venturini Zilli: "Finite Horizon Analysis of Markov Chains with the Murphi Verifier". (Software Tools for Technology Transfer, Special Issue, to appear)
  • G. Della Penna, A. Di Marco, B. Intrigila, I. Melatti, A. Pierantonio: "Interoperability Mapping from XML Schemas to ER Diagrams". (Data & Knowledge Engeneering, to appear)
    Top

    Papers on Proceedings of International Conferences

  • G. Della Penna, B. Intrigila, D. Magazzeni, I. Melatti, A. Tofani, E. Tronci: "Automatic Generation of Optimal Controllers through Model Checking Techniques" (ICINCO 2006)
  • I. Melatti, R. Palmer, G. Sawaya, Y. Yang, R. M. Kirby, G. Gopalakrishnan: "Parallel and Distributed Model Checking in Eddy" (SPIN 2006, LLNCS 3925).
    Springer Link   Bibtex
  • B. Intrigila, D. Magazzeni, I. Melatti, A. Tofani, E. Tronci: "A Model Checking Technique for the Verification of Fuzzy Control Systems" (CIMCA 2005, IEEE Proceedings).
  • G. Della Penna, B. Intrigila, I. Melatti, E. Tronci: "Exploiting Hub States in Automatic Verification" (ATVA 2005, LNCS 3707).
    Springer Link   Bibtex
  • B. Intrigila, G. Macchiarelli, I. Melatti, A. Tofani: "Computational Models of the Micro Architecture of the Cardiac Endomysial Collagen". (EMBEC 2005)
  • G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli: "Bounded Probabilistic Model Checking with the Murphi Verifier" (FMCAD 2004, LNCS 3312).
    Springer Link   Bibtex
  • G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli: "Finite Horizon Analysis of Markov Chains with the Murphi Verifier" (CHARME 2003, LNCS 2860).
    Springer Link   Bibtex
  • G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli: "Integrating RAM and Disk based Verification within the Murphi Verifier" (CHARME 2003, short paper, LNCS 2860).
    Springer Link   Bibtex
  • G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli: "Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier" (ICTCS 2003, LNCS 2841).
    Springer Link   Bibtex
  • G. Della Penna, B. Intrigila, I. Melatti, M. Minichino, E. Ciancamerla, A. Parisse, E. Tronci, M. Venturini Zilli: "Automatic Verification of a Turbogas Control System with the Murphi Verifier" (HSCC 2003, LNCS 2623).
    Springer Link   Bibtex
  • G. Della Penna, A. Di Marco, B. Intrigila, I. Melatti, A. Pierantonio: "Xere: Towards a Natural Interoperability between XML and ER Diagrams" (FASE 2003 in ETAPS 2003, LNCS 2621).
    Springer Link   Bibtex
    Top

    Papers on Proceedings of National Conferences

  • G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli: "Automatic Analysis of Hybrid Systems with the Murphi Verifier" (AICA 2005).

    Top

    Papers submitted to Journals

  • G. Della Penna, B. Intrigila, R. Lanotte, A. Maggiolo Schettini, I. Melatti, E. Tronci, M. Venturini Zilli. "Secure Real-Time DBMS Protocol Verification via the FHP-Murphi Verifier".

    Top

    Research Software

  • Finite Horizon Probabilistic Murphi
  • Parallel Murphi (Eddy_Murphi)
  • Maintenance of Caching & Disk Murphi (CMurphi4.2)
    Top

    Teaching (classes)

    As a Post-Doc

    At the School of Computing of the University of Utah, he gave lessons:
  • in the Model Checking class (CS 6964, Fall 2005)
  • inside the AMPS seminars (Programming Languages and Systems Seminar, CS 7931, Fall 2005, this is the new series)
  • At the l'University of Roma ``Tor Vergata'', he gave lessons inside the class ``Metodi Formali per la Verifica dei Sistemi Complessi'' (Formal Methods for the Verification of Complex Systems, accademic year 2005/2006)

    As a PhD Student

    At the University of L'Aquila, he gave lessons inside the following classes:
  • Academic year 2004/2005: part of Metodi Formali per la Verifica di Sistemi Complessi (Model Checking)
  • Academic year 2003/2004: part of Architettura degli Elaboratori (computers' architecture)
  • Academic year 2003/2004: part of Metodi Formali per la Verifica di Sistemi Complessi (Model Checking)
  • Academic year 2002/2003: part of Architettura degli Elaboratori (computers' architecture)
  • Academic year 2001/2002: Laboratorio di Architettura degli Elaboratori (Lab of computers' architecture)
    Top

    Teaching (theses)

    At the University of L'Aquila and of Rome "La Sapienza", he supported and supports Proff.~Benedetto Intrigila, Enrico Tronci e Giuseppe Della Penna in supervisoring master theses.
    Top

    International schools

    ISCL 2002: Second International Summer School in Computational Logic (Acquafredda di Maratea, 25-30 agosto 2002)
    Top

    Working outside university

  • In May 2006, he gave a course about C++ Prgramming, organized by the Lazio italian region
  • Between 2002 and 2005 he gave courses about basic notions of informatics (programmation, web design), organized by the Abruzzo Italian region.
  • In July 2002, he gave a course about XML organized by a small italian company, BitMedia s.r.l.
  • From July 2001 to March 2002 he worked in Nikesoft s.r.l., a small italian company. There, he developed managing programs, working on Windows 2000 with Visual C++ and SQL Server 2000.
    Top

    Other documents

  • PhD Thesis (PDF)
  • Final PhD defense (PDF)
  • 2nd Mefisto Workshop and CHARME 2003 Talk (PDF)
  • ICTCS 2003 Talk (PDF)
    Top

    Office

    Dipartimento di Informatica
    University of Rome "La Sapienza"
    Via Salaria 113,
    00198 Roma, Italy
    Email : lastname @ d i . u n i r o m a 1 . i t
    Phone: (+39) 49918431
    Url: http://www.cs.utah.edu/~melatti
    Url: http://www.dsi.uniroma1.it/~melatti/index.eng.html

    Top

    Building...