Giuseppe Della Penna

	2009
29		Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni: Evaluating Fuzzy Controller Robustness Using Model Checking. WILF 2009: 303-311
	2008
28		Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila: OBDD Compression of Numerical Controllers. ICINCO-ICSO 2008: 43-50
27		Maurizio 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
26		Giuseppe 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
25		Giuseppe 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
24		Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna: Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365
	2006
23		Giuseppe 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
21		Giuseppe 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)
20		Giuseppe 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)
19		Giuseppe 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
18		Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci: Exploiting Hub States in Automatic Verification. ATVA 2005: 54-68
17		Giuseppe Della Penna: A type system for static and dynamic checking of C++ pointers. Computer Languages, Systems & Structures 31(2): 71-101 (2005)
	2004
16		Giuseppe 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
14		Giuseppe 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)
13		Giuseppe 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
12		Giuseppe 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
11		Giuseppe 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
10		Giuseppe 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
9		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. HSCC 2003: 141-155
8		Giuseppe 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
7		Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized regular expressions. Acta Inf. 39(1): 31-70 (2003)
6		Giuseppe 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
5		Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD 2002: 202-219
	2001
4		Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324
3		Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274
2		Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized Regular Expressions. Electr. Notes Theor. Comput. Sci. 62: (2001)
1		Giuseppe 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

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