DELLA PENNA, GIUSEPPE
DELLA PENNA, GIUSEPPE
Dipartimento di Ingegneria e scienze dell informazione e matematica
A Case Study on Automated Generation of Integration Tests
2006-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; M., Pecorari; O., Raparelli; Alberto, Tofani; Enrico, Tronci
A Graphical Tool to Support Visual Information Extraction
2009-01-01 Orefice, Sergio; Magazzeni, D; DELLA PENNA, Giuseppe
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies
2013-01-01 DELLA PENNA, Giuseppe; Roberto Del, Sordo; Benedetto, Intrigila; Nicolò, Mezzopera; Maria Teresa, Pazienza
A Methodology for Scenario Development
2004-01-01 DELLA PENNA, Giuseppe; Orefice, Sergio; Laurenzi, A; Intrigila, B.
A PDDL+ Benchmark Problem: The Batch Chemical Plant
2010-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Fabio, Mercorio
A Probabilistic Approach to Automatic Formal Verification
2001-01-01 Enrico, Tronci; DELLA PENNA, Giuseppe; Benedetto, Intrigila; Marisa Venturini, Zilli
A spatial relation-based framework to perform visual information extraction
2012-01-01 DELLA PENNA, Giuseppe; Magazzeni, D; Orefice, Sergio
A Type System for Static and Dynamic Checking of C++ Pointers
2005-01-01 DELLA PENNA, Giuseppe
A universal planning system for hybrid domains
2012-01-01 DELLA PENNA, Giuseppe; Daniele, Magazzeni; Fabio, Mercorio
Addressing Machines as models of lambda-calculus
2022-01-01 DELLA PENNA, Giuseppe; Intrigila, Benedetto; Manzonetto, Giulio
An Environment for the Design and Implementation of Visual Applications
2004-01-01 Orefice, Sergio; Intrigila, B; DELLA PENNA, Giuseppe
An XML Based Methodology to Model and Use Scenarios in the Software Development Process
2008-01-01 Orefice, Sergio; Intrigila, B; LAURENZI A., R; DELLA PENNA, Giuseppe
An XML Environment for Scenario Based Requirements Engineering
2006-01-01 Orefice, Sergio; Intrigila, B; Laurenzi, A; DELLA PENNA, Giuseppe
Automatic generation of optimal controllers through model checking techniques
2006-01-01 DELLA PENNA, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico
Automatic Generation Of Optimal Controllers Through Model Checking Techniques
2008-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Igor, Melatti; Alberto, Tofani; Enrico, Tronci
Automatic Synthesis of Robust Numerical Controllers
2007-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Daniele, Magazzeni; Alberto, Tofani; Enrico, Tronci
Automatic Verification of a Turbogas Control System with the Murphi Verifier
2003-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Michele, Minichino; Ester, Ciancamerla; Andrea, Parisse; Enrico, Tronci; MARISA VENTURINI, Zilli
Botnet Detection in Software Defined Networks by Deep Learning Techniques
2018-01-01 Letteri, Ivan; DELLA PENNA, Giuseppe; DE GASPERIS, Giovanni
Bounded Probabilistic Model Checking with the Murphi Verifier
2004-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Enrico, Tronci; MARISA VENTURINI, Zilli
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems
2013-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Igor, Melatti; Enrico, Tronci
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Case Study on Automated Generation of Integration Tests | 1-gen-2006 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; M., Pecorari; O., Raparelli; Alberto, Tofani; Enrico, Tronci | |
A Graphical Tool to Support Visual Information Extraction | 1-gen-2009 | Orefice, Sergio; Magazzeni, D; DELLA PENNA, Giuseppe | |
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies | 1-gen-2013 | DELLA PENNA, Giuseppe; Roberto Del, Sordo; Benedetto, Intrigila; Nicolò, Mezzopera; Maria Teresa, Pazienza | |
A Methodology for Scenario Development | 1-gen-2004 | DELLA PENNA, Giuseppe; Orefice, Sergio; Laurenzi, A; Intrigila, B. | |
A PDDL+ Benchmark Problem: The Batch Chemical Plant | 1-gen-2010 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Fabio, Mercorio | |
A Probabilistic Approach to Automatic Formal Verification | 1-gen-2001 | Enrico, Tronci; DELLA PENNA, Giuseppe; Benedetto, Intrigila; Marisa Venturini, Zilli | |
A spatial relation-based framework to perform visual information extraction | 1-gen-2012 | DELLA PENNA, Giuseppe; Magazzeni, D; Orefice, Sergio | |
A Type System for Static and Dynamic Checking of C++ Pointers | 1-gen-2005 | DELLA PENNA, Giuseppe | |
A universal planning system for hybrid domains | 1-gen-2012 | DELLA PENNA, Giuseppe; Daniele, Magazzeni; Fabio, Mercorio | |
Addressing Machines as models of lambda-calculus | 1-gen-2022 | DELLA PENNA, Giuseppe; Intrigila, Benedetto; Manzonetto, Giulio | |
An Environment for the Design and Implementation of Visual Applications | 1-gen-2004 | Orefice, Sergio; Intrigila, B; DELLA PENNA, Giuseppe | |
An XML Based Methodology to Model and Use Scenarios in the Software Development Process | 1-gen-2008 | Orefice, Sergio; Intrigila, B; LAURENZI A., R; DELLA PENNA, Giuseppe | |
An XML Environment for Scenario Based Requirements Engineering | 1-gen-2006 | Orefice, Sergio; Intrigila, B; Laurenzi, A; DELLA PENNA, Giuseppe | |
Automatic generation of optimal controllers through model checking techniques | 1-gen-2006 | DELLA PENNA, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico | |
Automatic Generation Of Optimal Controllers Through Model Checking Techniques | 1-gen-2008 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Igor, Melatti; Alberto, Tofani; Enrico, Tronci | |
Automatic Synthesis of Robust Numerical Controllers | 1-gen-2007 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Daniele, Magazzeni; Alberto, Tofani; Enrico, Tronci | |
Automatic Verification of a Turbogas Control System with the Murphi Verifier | 1-gen-2003 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Michele, Minichino; Ester, Ciancamerla; Andrea, Parisse; Enrico, Tronci; MARISA VENTURINI, Zilli | |
Botnet Detection in Software Defined Networks by Deep Learning Techniques | 1-gen-2018 | Letteri, Ivan; DELLA PENNA, Giuseppe; DE GASPERIS, Giovanni | |
Bounded Probabilistic Model Checking with the Murphi Verifier | 1-gen-2004 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Enrico, Tronci; MARISA VENTURINI, Zilli | |
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems | 1-gen-2013 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Igor, Melatti; Enrico, Tronci |