Giuseppe Della Penna

69 papers A* 2B 4C 5Journal 34Unranked 24
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automating Execution and Verification of BPMN+DMN Business Processes.
CoRR
Giuseppe Della Penna, Igor Melatti
2025 — conf
Generative AI as a New Assistive Technology for Web Interaction.
INTERACT (1)
Giuseppe Della Penna, Marina Buzzi, Barbara Leporini
2023 C conf
Accessibility of e-Government Websites in Italy: The User Experience of People with Disabilities.
WEBIST
Maria Claudia Buzzi, Marina Buzzi, Giuseppe Della Penna, Barbara Leporini, Francesca Ricci
2023 — conf
Digital Citizen Rights: Accessibility of E-Government Websites in Italy.
WEBIST (Revised Selected Papers)
Maria Claudia Buzzi, Marina Buzzi, Giuseppe Della Penna, Barbara Leporini, Francesca Ricci
2023 J jnl
Exploiting spatial relations for grammar-based specification of multidimensional languages.
Knowl. Inf. Syst.
Giuseppe Della Penna, Sergio Orefice, Andrea D'Angelo
2023 J jnl
Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems.
Comput.
Benedetto Intrigila, Giuseppe Della Penna, Andrea D'Ambrogio, Dario Campagna, Iuliana Malina Grigore
2023 — conf
Trading Strategy Validation Using Forwardtesting with Deep Neural Networks.
FEMIB
Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis, Abeer Dyoub
2022 J jnl
A Stock Trading System for a Medium Volatile Asset using Multi Layer Perceptron.
CoRR
Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis, Abeer Dyoub
2022 J jnl
Addressing Machines as models of lambda-calculus.
Log. Methods Comput. Sci.
Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto
2022 J jnl
DNN-ForwardTesting: A New Trading Strategy Validation using Statistical Timeseries Analysis and Deep Neural Networks.
CoRR
Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis, Abeer Dyoub
2021 J jnl
A Lightweight BPMN Extension for Business Process-Oriented Requirements Engineering.
Comput.
Benedetto Intrigila, Giuseppe Della Penna, Andrea D'Ambrogio
2021 — conf
A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment (short paper).
ECSA (Companion)
Giovanni De Gasperis, Giuseppe Della Penna, Sante Dino Facchini
2021 J jnl
Addressing Machines as models of lambda-calculus.
CoRR
Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto
2021 — conf
Imbalanced Dataset Optimization with New Resampling Techniques.
IntelliSys (2)
Ivan Letteri, Antonio Di Cecco, Abeer Dyoub, Giuseppe Della Penna
2021 — conf
New Optimization Approaches in Malware Traffic Analysis.
LOD
Ivan Letteri, Antonio Di Cecco, Giuseppe Della Penna
2020 J jnl
A Novel Resampling Technique for Imbalanced Dataset Optimization.
CoRR
Ivan Letteri, Antonio Di Cecco, Abeer Dyoub, Giuseppe Della Penna
2020 J jnl
Dataset Optimization Strategies for MalwareTraffic Detection.
CoRR
Ivan Letteri, Antonio Di Cecco, Giuseppe Della Penna
2020 — conf
MTA-KDD'19: A Dataset for Malware Traffic Detection.
ITASEC
Ivan Letteri, Giuseppe Della Penna, Luca Di Vita, Maria Teresa Grifa
2019 — conf
Feature Selection Strategies for HTTP Botnet Traffic Detection.
EuroS&P Workshops
Ivan Letteri, Giuseppe Della Penna, Pasquale Caianiello
2019 J jnl
Security in the internet of things: botnet detection in software-defined networks by deep learning techniques.
Int. J. High Perform. Comput. Netw.
Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis
2019 J jnl
Using spatial relations for qualitative specification of gestures.
Comput. Syst. Sci. Eng.
Giuseppe Della Penna, Sergio Orefice
2018 — conf
Botnet Detection in Software Defined Networks by Deep Learning Techniques.
CSS
Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis
2018 J jnl
Qualitative representation of spatio-temporal knowledge.
J. Vis. Lang. Comput.
Giuseppe Della Penna, Sergio Orefice
2017 J jnl
A formal framework to represent spatial knowledge.
Knowl. Inf. Syst.
Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
2016 J jnl
Extending visual information extraction to biomedical applications.
Comput. Syst. Sci. Eng.
Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
2015 J jnl
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains.
Int. J. Artif. Intell. Tools
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
2014 J jnl
Model checking XSL transformations.
Comput. Lang. Syst. Struct.
Giuseppe Della Penna
2013 — conf
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies.
AIBP@AI*IA
Giuseppe Della Penna, Roberto del Sordo, Benedetto Intrigila, Nicolò Mezzopera, Maria Teresa Pazienza
2013 J jnl
A general theory of spatial relations to support a graphical tool for visual information extraction.
J. Vis. Lang. Comput.
Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
2013 J jnl
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems.
Eur. J. Control
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
2013 J jnl
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process.
Int. J. Softw. Eng. Knowl. Eng.
Giuseppe Della Penna, Sergio Orefice, Benedetto Intrigila, Daniele Magazzeni, Roberto del Sordo, Giuseppe Cardinale Ciccotti
2012 J jnl
A spatial relation-based framework to perform visual information extraction.
Knowl. Inf. Syst.
Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
2012 J jnl
A universal planning system for hybrid domains.
Appl. Intell.
Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio
2011 — conf
Cost-optimal Strong Planning in Non-deterministic Domains.
ICINCO (1)
Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci
2011 — conf
Supporting Visual Information Extraction from Geospatial Data.
DMS
Giuseppe Della Penna, Sergio Orefice, Daniele Magazzeni
2010 A* conf
A PDDL+ Benchmark Problem: The Batch Chemical Plant.
ICAPS
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
2010 — conf
Planning for Autonomous Planetary Vehicles.
ICAS
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
2010 J jnl
Resource-Optimal Planning For An Autonomous Planetary Vehicle
CoRR
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
2010 J jnl
Visual extraction of information from web pages.
J. Vis. Lang. Comput.
Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
2009 — conf
Evaluating Fuzzy Controller Robustness Using Model Checking.
WILF
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni
2009 A* conf
UPMurphi: A Tool for Universal Planning on PDDL+ Problems.
ICAPS
Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio, Benedetto Intrigila
2008 J jnl
An XML Based Methodology to Model and Use Scenarios in the Software Development Process.
Int. J. Softw. Eng. Knowl. Eng.
Giuseppe Della Penna, Anna Rita Laurenzi, Sergio Orefice, Benedetto Intrigila
2008 — conf
OBDD Compression of Numerical Controllers.
ICINCO-ICSO
Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila
2008 — conf
Verifying Extended Criteria for the Interoperability of Security Devices.
OTM Conferences (2)
Maurizio Talamo, Franco Arcieri, Giuseppe Della Penna, Andrea Dimitri, Benedetto Intrigila, Daniele Magazzeni
2007 — conf
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers.
AI*IA
Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni
2007 C conf
Disk Based Software Verification via Bounded Model Checking.
APSEC
Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna
2006 C conf
A Case Study on Automated Generation of Integration Tests.
FDL
Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci
2006 J jnl
An XML environment for scenario based requirements engineering.
J. Syst. Softw.
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice
2006 — conf
Automatic generation of optimal controllers through model checking techniques.
ICINCO-ICSO
Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci
2006 J jnl
Finite horizon analysis of Markov Chains with the Murphi verifier.
Int. J. Softw. Tools Technol. Transf.
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2006 J jnl
Interoperability mapping from XML schemas to ER diagrams.
Data Knowl. Eng.
Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio
2005 J jnl
A type system for static and dynamic checking of C++ pointers.
Comput. Lang. Syst. Struct.
Giuseppe Della Penna
2005 B conf
Exploiting Hub States in Automatic Verification.
ATVA
Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci
2004 C conf
A Methodology for Scenario Development.
SEKE
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice
2004 J jnl
An environment for the design and implementation of visual applications.
J. Vis. Lang. Comput.
Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice
2004 B conf
Bounded Probabilistic Model Checking with the Mur
FMCAD
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2004 J jnl
Exploiting transition locality in automatic verification of finite-state concurrent systems.
Int. J. Softw. Tools Technol. Transf.
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 J jnl
An XML Definition Language to Support Scenario-Based Requirements Engineering.
Int. J. Softw. Eng. Knowl. Eng.
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice
2003 — conf
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.
HSCC
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier.
CHARME
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier.
ICTCS
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Integrating RAM and Disk Based Verification within the Mur-phi Verifier.
CHARME
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 J jnl
Synchronized regular expressions.
Acta Informatica
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
2003 B conf
Xere: Towards a Natural Interoperability between XML and ER Diagrams.
FASE
Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio
2002 B conf
Exploiting Transition Locality in the Disk Based Mur phi Verifier.
FMCAD
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
2001 C conf
A Probabilistic Approach to Automatic Verification of Concurrent Systems.
APSEC
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
2001 — conf
Exploiting Transition Locality in Automatic Verification.
CHARME
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
2001 J jnl
Generating graphical applications from state-transition visual specifications.
Int. J. Hum. Comput. Stud.
Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice
2001 — conf
Synchronized Regular Expressions.
TOSCA
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli