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

Exploiting Transition Locality in Automatic Verification. - Enrico Tronci; Giuseppe Della Penna; Benedetto Intrigila; Marisa Venturini Zilli (CHARME, 2001)

Synchronized Regular Expressions. - Giuseppe Della Penna; Benedetto Intrigila; Enrico Tronci; Marisa Venturini Zilli (TOSCA, 2001)

Generating graphical applications from state-transition visual specifications. - Giuseppe Della Penna; Benedetto Intrigila; Sergio Orefice (Int. J. Hum. Comput. Stud., 2001)

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

Integrating RAM and Disk Based Verification within the Mur-phi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (CHARME, 2003)

Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (CHARME, 2003)

Xere: Towards a Natural Interoperability between XML and ER Diagrams. - Giuseppe Della Penna; Antinisca Di Marco; Benedetto Intrigila; Igor Melatti; Alfonso Pierantonio (FASE, 2003)

Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Michele Minichino; Ester Ciancamerla; Andrea Parisse; Enrico Tronci; Marisa Venturini Zilli (HSCC, 2003)

Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (ICTCS, 2003)

An XML Definition Language to Support Scenario-Based Requirements Engineering. - Giuseppe Della Penna; Benedetto Intrigila; Anna Rita Laurenzi; Sergio Orefice (Int. J. Softw. Eng. Knowl. Eng., 2003)

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

A Methodology for Scenario Development. - Giuseppe Della Penna; Benedetto Intrigila; Anna Rita Laurenzi; Sergio Orefice (SEKE, 2004)

Exploiting transition locality in automatic verification of finite-state concurrent systems. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (Int. J. Softw. Tools Technol. Transf., 2004)

An environment for the design and implementation of visual applications. - Giuseppe Della Penna; Benedetto Intrigila; Sergio Orefice (J. Vis. Lang. Comput., 2004)

Exploiting Hub States in Automatic Verification. - Giuseppe Della Penna; Igor Melatti; Benedetto Intrigila; Enrico Tronci (ATVA, 2005)

A type system for static and dynamic checking of C++ pointers. - Giuseppe Della Penna (Comput. Lang. Syst. Struct., 2005)

A Case Study on Automated Generation of Integration Tests. - Giuseppe Della Penna; Alberto Tofani; Marcello Pecorari; Orazio Raparelli; Benedetto Intrigila; Igor Melatti; Enrico Tronci (FDL, 2006)

Automatic generation of optimal controllers through model checking techniques. - Giuseppe Della Penna; Daniele Magazzeni; Alberto Tofani; Benedetto Intrigila; Igor Melatti; Enrico Tronci (ICINCO-ICSO, 2006)

Interoperability mapping from XML schemas to ER diagrams. - Giuseppe Della Penna; Antinisca Di Marco; Benedetto Intrigila; Igor Melatti; Alfonso Pierantonio (Data Knowl. Eng., 2006)

An XML environment for scenario based requirements engineering. - Giuseppe Della Penna; Benedetto Intrigila; Anna Rita Laurenzi; Sergio Orefice (J. Syst. Softw., 2006)

Finite horizon analysis of Markov Chains with the Murphi verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (Int. J. Softw. Tools Technol. Transf., 2006)

A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers. - Giuseppe Della Penna; Francesca Fallucchi; Benedetto Intrigila; Daniele Magazzeni (AI*IA, 2007)

Disk Based Software Verification via Bounded Model Checking. - Fernando Brizzolari; Igor Melatti; Enrico Tronci; Giuseppe Della Penna (APSEC, 2007)

OBDD Compression of Numerical Controllers. - Giuseppe Della Penna; Nadia Lauri; Daniele Magazzeni; Benedetto Intrigila (ICINCO-ICSO, 2008)

Verifying Extended Criteria for the Interoperability of Security Devices. - Maurizio Talamo; Franco Arcieri; Giuseppe Della Penna; Andrea Dimitri; Benedetto Intrigila; Daniele Magazzeni (OTM Conferences (2), 2008)

An XML Based Methodology to Model and Use Scenarios in the Software Development Process. - Giuseppe Della Penna; Anna Rita Laurenzi; Sergio Orefice; Benedetto Intrigila (Int. J. Softw. Eng. Knowl. Eng., 2008)

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

Evaluating Fuzzy Controller Robustness Using Model Checking. - Giuseppe Della Penna; Benedetto Intrigila; Daniele Magazzeni (WILF, 2009)

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

Planning for Autonomous Planetary Vehicles. - Giuseppe Della Penna; Benedetto Intrigila; Daniele Magazzeni; Fabio Mercorio (ICAS, 2010)

Resource-Optimal Planning For An Autonomous Planetary Vehicle - Giuseppe Della Penna; Benedetto Intrigila; Daniele Magazzeni; Fabio Mercorio (CoRR, 2010)

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

Supporting Visual Information Extraction from Geospatial Data. - Giuseppe Della Penna; Sergio Orefice; Daniele Magazzeni (DMS, 2011)

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

A universal planning system for hybrid domains. - Giuseppe Della Penna; Daniele Magazzeni; Fabio Mercorio (Appl. Intell., 2012)

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

A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies. - Giuseppe Della Penna; Roberto del Sordo; Benedetto Intrigila; Nicolò Mezzopera; Maria Teresa Pazienza (AIBP@AI*IA, 2013)

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems. - Giuseppe Della Penna; Benedetto Intrigila; Daniele Magazzeni; Igor Melatti; Enrico Tronci (Eur. J. Control, 2013)

Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process. - Giuseppe Della Penna; Sergio Orefice; Benedetto Intrigila; Daniele Magazzeni; Roberto del Sordo; Giuseppe Cardinale Ciccotti (Int. J. Softw. Eng. Knowl. Eng., 2013)

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

Model checking XSL transformations. - Giuseppe Della Penna (Comput. Lang. Syst. Struct., 2014)

Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains. - Giuseppe Della Penna; Benedetto Intrigila; Daniele Magazzeni; Fabio Mercorio (Int. J. Artif. Intell. Tools, 2015)

Extending visual information extraction to biomedical applications. - Giuseppe Della Penna; Daniele Magazzeni; Sergio Orefice (Comput. Syst. Sci. Eng., 2016)

A formal framework to represent spatial knowledge. - Giuseppe Della Penna; Daniele Magazzeni; Sergio Orefice (Knowl. Inf. Syst., 2017)

Botnet Detection in Software Defined Networks by Deep Learning Techniques. - Ivan Letteri; Giuseppe Della Penna; Giovanni De Gasperis (CSS, 2018)

Qualitative representation of spatio-temporal knowledge. - Giuseppe Della Penna; Sergio Orefice (J. Vis. Lang. Comput., 2018)

Feature Selection Strategies for HTTP Botnet Traffic Detection. - Ivan Letteri; Giuseppe Della Penna; Pasquale Caianiello (EuroS&P Workshops, 2019)

Using spatial relations for qualitative specification of gestures. - Giuseppe Della Penna; Sergio Orefice (Comput. Syst. Sci. Eng., 2019)

Security in the internet of things: botnet detection in software-defined networks by deep learning techniques. - Ivan Letteri; Giuseppe Della Penna; Giovanni De Gasperis (Int. J. High Perform. Comput. Netw., 2019)

MTA-KDD'19: A Dataset for Malware Traffic Detection. - Ivan Letteri; Giuseppe Della Penna; Luca Di Vita; Maria Teresa Grifa (ITASEC, 2020)

Dataset Optimization Strategies for MalwareTraffic Detection. - Ivan Letteri; Antonio Di Cecco; Giuseppe Della Penna (CoRR, 2020)

A Novel Resampling Technique for Imbalanced Dataset Optimization. - Ivan Letteri; Antonio Di Cecco; Abeer Dyoub; Giuseppe Della Penna (CoRR, 2020)

A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment (short paper). - Giovanni De Gasperis; Giuseppe Della Penna; Sante Dino Facchini (ECSA (Companion), 2021)

Imbalanced Dataset Optimization with New Resampling Techniques. - Ivan Letteri; Antonio Di Cecco; Abeer Dyoub; Giuseppe Della Penna (IntelliSys (2), 2021)

New Optimization Approaches in Malware Traffic Analysis. - Ivan Letteri; Antonio Di Cecco; Giuseppe Della Penna (LOD, 2021)

A Lightweight BPMN Extension for Business Process-Oriented Requirements Engineering. - Benedetto Intrigila; Giuseppe Della Penna; Andrea D'Ambrogio (Comput., 2021)

A Stock Trading System for a Medium Volatile Asset using Multi Layer Perceptron. - Ivan Letteri; Giuseppe Della Penna; Giovanni De Gasperis; Abeer Dyoub (CoRR, 2022)

DNN-ForwardTesting: A New Trading Strategy Validation using Statistical Timeseries Analysis and Deep Neural Networks. - Ivan Letteri; Giuseppe Della Penna; Giovanni De Gasperis; Abeer Dyoub (CoRR, 2022)

Addressing Machines as models of lambda-calculus. - Giuseppe Della Penna; Benedetto Intrigila; Giulio Manzonetto (Log. Methods Comput. Sci., 2022)

Trading Strategy Validation Using Forwardtesting with Deep Neural Networks. - Ivan Letteri; Giuseppe Della Penna; Giovanni De Gasperis; Abeer Dyoub (FEMIB, 2023)

Accessibility of e-Government Websites in Italy: The User Experience of People with Disabilities. - Maria Claudia Buzzi; Marina Buzzi; Giuseppe Della Penna; Barbara Leporini; Francesca Ricci (WEBIST, 2023)

Digital Citizen Rights: Accessibility of E-Government Websites in Italy. - Maria Claudia Buzzi; Marina Buzzi; Giuseppe Della Penna; Barbara Leporini; Francesca Ricci (WEBIST (Revised Selected Papers), 2023)

Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems. - Benedetto Intrigila; Giuseppe Della Penna; Andrea D'Ambrogio; Dario Campagna; Malina Grigore (Comput., 2023)

Exploiting spatial relations for grammar-based specification of multidimensional languages. - Giuseppe Della Penna; Sergio Orefice; Andrea D'Angelo (Knowl. Inf. Syst., 2023)