2008 |
27 | EE | 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 | EE | 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 | EE | 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 | EE | Fernando Brizzolari,
Igor Melatti,
Enrico Tronci,
Giuseppe Della Penna:
Disk Based Software Verification via Bounded Model Checking.
APSEC 2007: 358-365 |
2006 |
23 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Giuseppe Della Penna,
Igor Melatti,
Benedetto Intrigila,
Enrico Tronci:
Exploiting Hub States in Automatic Verification.
ATVA 2005: 54-68 |
17 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Giuseppe Della Penna,
Benedetto Intrigila,
Enrico Tronci,
Marisa Venturini Zilli:
Synchronized regular expressions.
Acta Inf. 39(1): 31-70 (2003) |
6 | EE | 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 | EE | 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 | EE | Enrico Tronci,
Giuseppe Della Penna,
Benedetto Intrigila,
Marisa Venturini Zilli:
A Probabilistic Approach to Automatic Verification of Concurrent Systems.
APSEC 2001: 317-324 |
3 | EE | Enrico Tronci,
Giuseppe Della Penna,
Benedetto Intrigila,
Marisa Venturini Zilli:
Exploiting Transition Locality in Automatic Verification.
CHARME 2001: 259-274 |
2 | EE | Giuseppe Della Penna,
Benedetto Intrigila,
Enrico Tronci,
Marisa Venturini Zilli:
Synchronized Regular Expressions.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
1 | EE | 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) |