Search the dblp DataBase

Publications of Author

1. Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci
   Exploiting Hub States in Automatic Verification. [Citation Graph (0, 0)][DBLP]
   ATVA, 2005, pp:54-68 [Conf]
   
2. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
   Integrating RAM and Disk Based Verification within the Mur-phi Verifier. [Citation Graph (0, 0)][DBLP]
   CHARME, 2003, pp:277-282 [Conf]
   
3. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
   Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. [Citation Graph (0, 0)][DBLP]
   CHARME, 2003, pp:394-409 [Conf]
   
4. Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio
   Xere: Towards a Natural Interoperability between XML and ER Diagrams. [Citation Graph (0, 0)][DBLP]
   FASE, 2003, pp:356-371 [Conf]
   
5. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
   Bounded Probabilistic Model Checking with the Muralpha Verifier. [Citation Graph (0, 0)][DBLP]
   FMCAD, 2004, pp:214-229 [Conf]
   
6. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli
   Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. [Citation Graph (0, 0)][DBLP]
   HSCC, 2003, pp:141-155 [Conf]
   
7. Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci
   Automatic generation of optimal controllers through model checking techniques. [Citation Graph (0, 0)][DBLP]
   ICINCO-ICSO, 2006, pp:26-33 [Conf]
   
8. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
   Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2003, pp:58-71 [Conf]
   
9. Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan
   Parallel and Distributed Model Checking in Eddy. [Citation Graph (0, 0)][DBLP]
   SPIN, 2006, pp:108-125 [Conf]
   
10. Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
    A Model Checking Technique for the Verification of Fuzzy Control Systems. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2005, pp:536-542 [Conf]
    
11. Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio
    Interoperability mapping from XML schemas to ER diagrams. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2006, v:59, n:1, pp:166-188 [Journal]
    
12. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Exploiting transition locality in automatic verification of finite-state concurrent systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:4, pp:320-341 [Journal]
    
13. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Finite horizon analysis of Markov Chains with the Murphi verifier. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:397-409 [Journal]
    
14. Benedetto Intrigila, Igor Melatti, Alberto Tofani, Guido Macchiarelli
    Computational models of myocardial endomysial collagen arrangement. [Citation Graph (0, 0)][DBLP]
    Computer Methods and Programs in Biomedicine, 2007, v:86, n:3, pp:232-244 [Journal]
    
15. 
    Disk Based Software Verification via Bounded Model Checking. [Citation Graph (, )][DBLP]
    
    
16. 
    Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
17. 
    Model Checking Nash Equilibria in MAD Distributed Systems. [Citation Graph (, )][DBLP]
    
    
18. 
    Model Checking Coalition Nash Equilibria in MAD Distributed Systems. [Citation Graph (, )][DBLP]
    
    
19. 
    A Case Study on Automated Generation of Integration Tests. [Citation Graph (, )][DBLP]
    
    
20. 
    Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. [Citation Graph (, )][DBLP]