dblp.uni-trier.dewww.uni-trier.de

Giuseppe Della Penna

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
27EEMaurizio Talamo, Franco Arcieri, Giuseppe Della Penna, Andrea Dimitri, Benedetto Intrigila, Daniele Magazzeni: Verifying Extended Criteria for the Interoperability of Security Devices. OTM Conferences (2) 2008: 1131-1139
26EEGiuseppe Della Penna, Anna Rita Laurenzi, Sergio Orefice, Benedetto Intrigila: An XML Based Methodology to Model and Use Scenarios in the Software Development Process. International Journal of Software Engineering and Knowledge Engineering 18(6): 823-852 (2008)
2007
25EEGiuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni: A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers. AI*IA 2007: 230-241
24EEFernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna: Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365
2006
23EEGiuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci: A Case Study on Automated Generation of Integration Tests. FDL 2006: 278-284
22 Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci: Automatic generation of optimal controllers through model checking techniques. ICINCO-ICSO 2006: 26-33
21EEGiuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio: Interoperability mapping from XML schemas to ER diagrams. Data Knowl. Eng. 59(1): 166-188 (2006)
20EEGiuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice: An XML environment for scenario based requirements engineering. Journal of Systems and Software 79(3): 379-403 (2006)
19EEGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Finite horizon analysis of Markov Chains with the Murphi verifier. STTT 8(4-5): 397-409 (2006)
2005
18EEGiuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci: Exploiting Hub States in Automatic Verification. ATVA 2005: 54-68
17EEGiuseppe Della Penna: A type system for static and dynamic checking of C++ pointers. Computer Languages, Systems & Structures 31(2): 71-101 (2005)
2004
16EEGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Bounded Probabilistic Model Checking with the Muralpha Verifier. FMCAD 2004: 214-229
15 Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice: A Methodology for Scenario Development. SEKE 2004: 7-12
14EEGiuseppe Della Penna, Benedetto Intrigila, Sergio Orefice: An environment for the design and implementation of visual applications. J. Vis. Lang. Comput. 15(6): 439-461 (2004)
13EEGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Exploiting transition locality in automatic verification of finite-state concurrent systems. STTT 6(4): 320-341 (2004)
2003
12EEGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Integrating RAM and Disk Based Verification within the Mur-phi Verifier. CHARME 2003: 277-282
11EEGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. CHARME 2003: 394-409
10EEGiuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio: Xere: Towards a Natural Interoperability between XML and ER Diagrams. FASE 2003: 356-371
9EEGiuseppe 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. HSCC 2003: 141-155
8EEGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. ICTCS 2003: 58-71
7EEGiuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized regular expressions. Acta Inf. 39(1): 31-70 (2003)
6EEGiuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice: An XML Definition Language to Support Scenario-Based Requirements Engineering. International Journal of Software Engineering and Knowledge Engineering 13(3): 237-256 (2003)
2002
5EEGiuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD 2002: 202-219
2001
4EEEnrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324
3EEEnrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274
2EEGiuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized Regular Expressions. Electr. Notes Theor. Comput. Sci. 62: (2001)
1EEGiuseppe Della Penna, Benedetto Intrigila, Sergio Orefice: Generating graphical applications from state-transition visual specifications. Int. J. Hum.-Comput. Stud. 55(6): 861-880 (2001)

Coauthor Index

1Franco Arcieri [27]
2Fernando Brizzolari [24]
3Ester Ciancamerla [9]
4Andrea Dimitri [27]
5Francesca Fallucchi [25]
6Benedetto Intrigila [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [23] [25] [26] [27]
7Anna Rita Laurenzi [6] [15] [20] [26]
8Daniele Magazzeni [22] [25] [27]
9Antinisca Di Marco [10] [21]
10Igor Melatti [8] [9] [10] [11] [12] [13] [16] [18] [19] [21] [22] [23] [24]
11Michele Minichino [9]
12Sergio Orefice [1] [6] [14] [15] [20] [26]
13Andrea Parisse [9]
14Marcello Pecorari [23]
15Alfonso Pierantonio [10] [21]
16Orazio Raparelli [23]
17Maurizio Talamo [27]
18Alberto Tofani [22] [23]
19Enrico Tronci [2] [3] [4] [5] [7] [8] [9] [11] [12] [13] [16] [18] [19] [22] [23] [24]
20Marisa Venturini Zilli [2] [3] [4] [5] [7] [8] [9] [11] [12] [13] [16] [19]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)