Giuseppe Della Penna

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 22

Top Topics

Government Websites

Optimization Approaches

Spatial Knowledge

Top Venues

Knowl. Inf. Syst.

Comput. Syst. Sci. Eng.

Publications

Benedetto Intrigila, Giuseppe Della Penna, Andrea D'Ambrogio, Dario Campagna, Malina Grigore
Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems. Comput. 12 (9) (2023)
Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis, Abeer Dyoub
Trading Strategy Validation Using Forwardtesting with Deep Neural Networks. FEMIB (2023)
Maria Claudia Buzzi, Marina Buzzi, Giuseppe Della Penna, Barbara Leporini, Francesca Ricci
Accessibility of e-Government Websites in Italy: The User Experience of People with Disabilities. WEBIST (2023)
Giuseppe Della Penna, Sergio Orefice, Andrea D'Angelo
Exploiting spatial relations for grammar-based specification of multidimensional languages. Knowl. Inf. Syst. 65 (10) (2023)
Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto
Addressing Machines as models of lambda-calculus. Log. Methods Comput. Sci. 18 (3) (2022)
Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis, Abeer Dyoub
DNN-ForwardTesting: A New Trading Strategy Validation using Statistical Timeseries Analysis and Deep Neural Networks. CoRR (2022)
Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis, Abeer Dyoub
A Stock Trading System for a Medium Volatile Asset using Multi Layer Perceptron. CoRR (2022)
Ivan Letteri, Antonio Di Cecco, Abeer Dyoub, Giuseppe Della Penna
Imbalanced Dataset Optimization with New Resampling Techniques. IntelliSys (2) (2021)
Benedetto Intrigila, Giuseppe Della Penna, Andrea D'Ambrogio
A Lightweight BPMN Extension for Business Process-Oriented Requirements Engineering. Comput. 10 (12) (2021)
Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto
Addressing Machines as models of lambda-calculus. CoRR (2021)
Ivan Letteri, Antonio Di Cecco, Giuseppe Della Penna
New Optimization Approaches in Malware Traffic Analysis. LOD (2021)
Giovanni De Gasperis, Giuseppe Della Penna, Sante Dino Facchini
A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment (short paper). ECSA (Companion) (2021)
Ivan Letteri, Antonio Di Cecco, Abeer Dyoub, Giuseppe Della Penna
A Novel Resampling Technique for Imbalanced Dataset Optimization. CoRR (2020)
Ivan Letteri, Giuseppe Della Penna, Luca Di Vita, Maria Teresa Grifa
MTA-KDD'19: A Dataset for Malware Traffic Detection. ITASEC (2020)
Ivan Letteri, Antonio Di Cecco, Giuseppe Della Penna
Dataset Optimization Strategies for MalwareTraffic Detection. CoRR (2020)
Ivan Letteri, Giuseppe Della Penna, Pasquale Caianiello
Feature Selection Strategies for HTTP Botnet Traffic Detection. EuroS&P Workshops (2019)
Giuseppe Della Penna, Sergio Orefice
Using spatial relations for qualitative specification of gestures. Comput. Syst. Sci. Eng. 34 (6) (2019)
Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis
Security in the internet of things: botnet detection in software-defined networks by deep learning techniques. Int. J. High Perform. Comput. Netw. 15 (3/4) (2019)
Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis
Botnet Detection in Software Defined Networks by Deep Learning Techniques. CSS (2018)
Giuseppe Della Penna, Sergio Orefice
Qualitative representation of spatio-temporal knowledge. J. Vis. Lang. Comput. 49 (2018)
Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
A formal framework to represent spatial knowledge. Knowl. Inf. Syst. 51 (1) (2017)
Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
Extending visual information extraction to biomedical applications. Comput. Syst. Sci. Eng. 31 (5) (2016)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains. Int. J. Artif. Intell. Tools 24 (6) (2015)
Giuseppe Della Penna
Model checking XSL transformations. Comput. Lang. Syst. Struct. 40 (2) (2014)
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) (2013)
Giuseppe Della Penna, Roberto del Sordo, Benedetto Intrigila, Nicolò Mezzopera, Maria Teresa Pazienza
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies. AIBP@AI*IA (2013)
Giuseppe Della Penna, Sergio Orefice, Benedetto Intrigila, Daniele Magazzeni, Roberto del Sordo, Giuseppe Cardinale Ciccotti
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process. Int. J. Softw. Eng. Knowl. Eng. 23 (2) (2013)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems. Eur. J. Control 19 (1) (2013)
Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio
A universal planning system for hybrid domains. Appl. Intell. 36 (4) (2012)
Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
A spatial relation-based framework to perform visual information extraction. Knowl. Inf. Syst. 30 (3) (2012)
Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci
Cost-optimal Strong Planning in Non-deterministic Domains. ICINCO (1) (2011)
Giuseppe Della Penna, Sergio Orefice, Daniele Magazzeni
Supporting Visual Information Extraction from Geospatial Data. DMS (2011)
Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
Visual extraction of information from web pages. J. Vis. Lang. Comput. 21 (1) (2010)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
Resource-Optimal Planning For An Autonomous Planetary Vehicle CoRR (2010)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
A PDDL+ Benchmark Problem: The Batch Chemical Plant. ICAPS (2010)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
Planning for Autonomous Planetary Vehicles. ICAS (2010)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni
Evaluating Fuzzy Controller Robustness Using Model Checking. WILF (2009)
Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio, Benedetto Intrigila
UPMurphi: A Tool for Universal Planning on PDDL+ Problems. ICAPS (2009)
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)
Giuseppe Della Penna, Anna Rita Laurenzi, Sergio Orefice, Benedetto Intrigila
An XML Based Methodology to Model and Use Scenarios in the Software Development Process. Int. J. Softw. Eng. Knowl. Eng. 18 (6) (2008)
Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila
OBDD Compression of Numerical Controllers. ICINCO-ICSO (2008)
Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna
Disk Based Software Verification via Bounded Model Checking. APSEC (2007)
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)
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)
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)
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice
An XML environment for scenario based requirements engineering. J. Syst. Softw. 79 (3) (2006)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Finite horizon analysis of Markov Chains with the Murphi verifier. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
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) (2006)
Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci
Exploiting Hub States in Automatic Verification. ATVA (2005)
Giuseppe Della Penna
A type system for static and dynamic checking of C++ pointers. Comput. Lang. Syst. Struct. 31 (2) (2005)
Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice
An environment for the design and implementation of visual applications. J. Vis. Lang. Comput. 15 (6) (2004)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Verifier. FMCAD (2004)
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice
A Methodology for Scenario Development. SEKE (2004)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Exploiting transition locality in automatic verification of finite-state concurrent systems. Int. J. Softw. Tools Technol. Transf. 6 (4) (2004)
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice
An XML Definition Language to Support Scenario-Based Requirements Engineering. Int. J. Softw. Eng. Knowl. Eng. 13 (3) (2003)
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)
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Synchronized regular expressions. Acta Informatica 39 (1) (2003)
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)
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)
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)
Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio
Xere: Towards a Natural Interoperability between XML and ER Diagrams. FASE (2003)
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD (2002)
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC (2001)
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Synchronized Regular Expressions. Electron. Notes Theor. Comput. Sci. 62 (2001)
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
Exploiting Transition Locality in Automatic Verification. CHARME (2001)
Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice
Generating graphical applications from state-transition visual specifications. Int. J. Hum. Comput. Stud. 55 (6) (2001)