IRIS

DELLA PENNA, GIUSEPPE

DELLA PENNA, GIUSEPPE  

Dipartimento di Ingegneria e scienze dell informazione e matematica  

Mostra records
Risultati 1 - 20 di 63 (tempo di esecuzione: 0.058 secondi).
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