Giuseppe Della Penna

Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice: A general theory of spatial relations to support a graphical tool for visual information extraction. J. Vis. Lang. Comput. 24(2): 71-87 (2013)

Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio: A universal planning system for hybrid domains. Appl. Intell. 36(4): 932-959 (2012)

Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice: A spatial relation-based framework to perform visual information extraction. Knowl. Inf. Syst. 30(3): 667-692 (2012)

Giuseppe Della Penna, Sergio Orefice, Daniele Magazzeni: Supporting Visual Information Extraction from Geospatial Data. DMS 2011: 301-306

Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci: Cost-optimal Strong Planning in Non-deterministic Domains. ICINCO (1) 2011: 56-66

Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice: Visual extraction of information from web pages. J. Vis. Lang. Comput. 21(1): 23-32 (2010)

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio: A PDDL+ Benchmark Problem: The Batch Chemical Plant. ICAPS 2010: 222-225

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio: Planning for Autonomous Planetary Vehicles. ICAS 2010: 131-136

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio: Resource-Optimal Planning For An Autonomous Planetary Vehicle. CoRR abs/1007.5130 (2010)

Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio, Benedetto Intrigila: UPMurphi: A Tool for Universal Planning on PDDL+ Problems. ICAPS 2009

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni: Evaluating Fuzzy Controller Robustness Using Model Checking. WILF 2009: 303-311

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)

Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila: OBDD Compression of Numerical Controllers. ICINCO-ICSO 2008: 43-50

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

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

Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna: Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365

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)

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)

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)

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

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

Giuseppe Della Penna: A type system for static and dynamic checking of C++ pointers. Computer Languages, Systems & Structures 31(2): 71-101 (2005)

Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci: Exploiting Hub States in Automatic Verification. ATVA 2005: 54-68

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)

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)

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Bounded Probabilistic Model Checking with the Muralpha Verifier. FMCAD 2004: 214-229

Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice: A Methodology for Scenario Development. SEKE 2004: 7-12

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized regular expressions. Acta Inf. 39(1): 31-70 (2003)

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)

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

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

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

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

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

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD 2002: 202-219

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized Regular Expressions. Electr. Notes Theor. Comput. Sci. 62: 195-210 (2001)

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)

Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324

Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274