italiano | contact
PUBLICATIONS

Special Issues/Journals/Books Proceedings Chapter Technical Report

1   

2005

G. Della Penna, A. Di Marco, B. Intrigila, I. Melatti, A. Pierantonio. Interoperability Mapping from XML Schemas to ER Diagrams, Data Knowledge and Engineering

2003

G. Della Penna, B. Intrigila, E. Tronci, M. Venturini Zilli. Synchronized Regular Expressions, Acta Informatica (39):1

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, Conference on Hybrid Systems: Computation and Control, LNCS, pagg. 141-155

G. Della Penna, A. Di Marco, B. Intrigila, I. Melatti, A. Pierantonio. Xere : Towards a Natural Interoperability between XML and ER Diagrams, Conference on Fundamental Approaches to Software Engineering (FASE), LNCS, pagg. 356-371

G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli. Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier, Eighth Italian Conference on Theoretical Computer Science, LNCS

G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli. Finite Horizon Analysis of Markov Chains with the Murphi Verifier, 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, LNCS, pagg. 394-409

G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli. Integrating RAM and Disk based Verification within the Murphi Verifier, 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, LNCS, pagg. 277-282

2002

G. Della Penna, B. Intrigila, E. Tronci, M. Venturini Zilli. Exploiting Transition Locality in the Disk Based Murphi Verifier, Fourth International Conference on Formal Methods in Computer-Aided Design (FMCAD), LNCS

G. Della Penna, B. Intrigila, A. R. Laurenzi, S. Orefice. An XML Definition Language for Software System Specification, 6th World Multi Conference on Systemics, Cybernetics and Informatics (SCI 2002)

G. Della Penna, B. Intrigila, S. Orefice. Generating Graphical Applications from State-Transition Visual Specifications, International Journal of Human Computer Studies (55):6

G. Della Penna, A.R. Laurenzi, B. Intrigila, S. Orefice. An XML Definition Language to Support Scenario-Based Requirements Engineering, International Journal of Software Engineering and Knowledge Engineering (13):3, pagg. 237-256

2001

E. Tronci, G. Della Penna, B. Intrigila, M. Venturini Zilli. Exploiting Transition Locality in Automatic Verification, 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME), LNCS

E. Tronci, G. Della Penna, B. Intrigila, M. Venturini Zilli. A Probabilistic Approach to Automatic Formal Verification, 8th Asia-Pacific Software Engineering Conference (APSEC)

G. Della Penna, L. Dionisio, B. Intrigila, P. Inverardi. On Designing M-commerce Applications, Workshop on Software Engineering and Mobility, 23rd International Conference on Software Engineering

2000

G. Della Penna, B. Intrigila, D. Ciccomartino. Extending Boerger's JVM Model to Compile Safe C++ Code: The Pointers' Problem, Abstract State Machines Workshop

 
 
 
 

Organization

Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›
 
 
 
 

Publications

Numerous articles published in international scientific journals, books, and ...

continua ›
 
 
 
 

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›