default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiuseppe Della Penna
Person information
- affiliation: University of L'Aquila, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j27]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): 184 (2023)- [j26]Giuseppe Della Penna, Sergio Orefice, Andrea D'Angelo:
Exploiting spatial relations for grammar-based specification of multidimensional languages. Knowl. Inf. Syst. 65(10): 3995-4020 (2023) - [c33]Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis, Abeer Dyoub:
Trading Strategy Validation Using Forwardtesting with Deep Neural Networks. FEMIB 2023: 15-25 - [c32]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: 59-70 - 2022
- [j25]Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto:
Addressing Machines as models of lambda-calculus. Log. Methods Comput. Sci. 18(3) (2022) - [i6]Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis, Abeer Dyoub:
A Stock Trading System for a Medium Volatile Asset using Multi Layer Perceptron. CoRR abs/2201.12286 (2022) - [i5]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 abs/2210.11532 (2022) - 2021
- [j24]Benedetto Intrigila, Giuseppe Della Penna, Andrea D'Ambrogio:
A Lightweight BPMN Extension for Business Process-Oriented Requirements Engineering. Comput. 10(12): 171 (2021) - [c31]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 - [c30]Ivan Letteri, Antonio Di Cecco, Abeer Dyoub, Giuseppe Della Penna:
Imbalanced Dataset Optimization with New Resampling Techniques. IntelliSys (2) 2021: 199-215 - [c29]Ivan Letteri, Antonio Di Cecco, Giuseppe Della Penna:
New Optimization Approaches in Malware Traffic Analysis. LOD 2021: 57-68 - [i4]Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto:
Addressing Machines as models of lambda-calculus. CoRR abs/2107.00319 (2021) - 2020
- [c28]Ivan Letteri, Giuseppe Della Penna, Luca Di Vita, Maria Teresa Grifa:
MTA-KDD'19: A Dataset for Malware Traffic Detection. ITASEC 2020: 153-165 - [i3]Ivan Letteri, Antonio Di Cecco, Giuseppe Della Penna:
Dataset Optimization Strategies for MalwareTraffic Detection. CoRR abs/2009.11347 (2020) - [i2]Ivan Letteri, Antonio Di Cecco, Abeer Dyoub, Giuseppe Della Penna:
A Novel Resampling Technique for Imbalanced Dataset Optimization. CoRR abs/2012.15231 (2020)
2010 – 2019
- 2019
- [j23]Giuseppe Della Penna, Sergio Orefice:
Using spatial relations for qualitative specification of gestures. Comput. Syst. Sci. Eng. 34(6) (2019) - [j22]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): 170-182 (2019) - [c27]Ivan Letteri, Giuseppe Della Penna, Pasquale Caianiello:
Feature Selection Strategies for HTTP Botnet Traffic Detection. EuroS&P Workshops 2019: 202-210 - 2018
- [j21]Giuseppe Della Penna, Sergio Orefice:
Qualitative representation of spatio-temporal knowledge. J. Vis. Lang. Comput. 49: 1-16 (2018) - [c26]Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis:
Botnet Detection in Software Defined Networks by Deep Learning Techniques. CSS 2018: 49-62 - 2017
- [j20]Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice:
A formal framework to represent spatial knowledge. Knowl. Inf. Syst. 51(1): 311-338 (2017) - 2016
- [j19]Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice:
Extending visual information extraction to biomedical applications. Comput. Syst. Sci. Eng. 31(5) (2016) - 2015
- [j18]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): 1550025:1-1550025:45 (2015) - 2014
- [j17]Giuseppe Della Penna:
Model checking XSL transformations. Comput. Lang. Syst. Struct. 40(2): 73-97 (2014) - 2013
- [j16]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): 14-36 (2013) - [j15]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): 223- (2013) - [j14]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): 71-87 (2013) - [c25]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: 11-20 - 2012
- [j13]Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio:
A universal planning system for hybrid domains. Appl. Intell. 36(4): 932-959 (2012) - [j12]Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice:
A spatial relation-based framework to perform visual information extraction. Knowl. Inf. Syst. 30(3): 667-692 (2012) - 2011
- [c24]Giuseppe Della Penna, Sergio Orefice, Daniele Magazzeni:
Supporting Visual Information Extraction from Geospatial Data. DMS 2011: 301-306 - [c23]Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci:
Cost-optimal Strong Planning in Non-deterministic Domains. ICINCO (1) 2011: 56-66 - 2010
- [j11]Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice:
Visual extraction of information from web pages. J. Vis. Lang. Comput. 21(1): 23-32 (2010) - [c22]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio:
A PDDL+ Benchmark Problem: The Batch Chemical Plant. ICAPS 2010: 222-225 - [c21]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio:
Planning for Autonomous Planetary Vehicles. ICAS 2010: 131-136 - [i1]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio:
Resource-Optimal Planning For An Autonomous Planetary Vehicle. CoRR abs/1007.5130 (2010)
2000 – 2009
- 2009
- [c20]Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio, Benedetto Intrigila:
UPMurphi: A Tool for Universal Planning on PDDL+ Problems. ICAPS 2009 - [c19]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni:
Evaluating Fuzzy Controller Robustness Using Model Checking. WILF 2009: 303-311 - 2008
- [j10]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): 823-852 (2008) - [c18]Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila:
OBDD Compression of Numerical Controllers. ICINCO-ICSO 2008: 43-50 - [c17]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: 1131-1139 - 2007
- [c16]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: 230-241 - [c15]Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna:
Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365 - 2006
- [j9]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): 166-188 (2006) - [j8]Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice:
An XML environment for scenario based requirements engineering. J. Syst. Softw. 79(3): 379-403 (2006) - [j7]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): 397-409 (2006) - [c14]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: 278-284 - [c13]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: 26-33 - 2005
- [j6]Giuseppe Della Penna:
A type system for static and dynamic checking of C++ pointers. Comput. Lang. Syst. Struct. 31(2): 71-101 (2005) - [c12]Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci:
Exploiting Hub States in Automatic Verification. ATVA 2005: 54-68 - 2004
- [j5]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): 320-341 (2004) - [j4]Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice:
An environment for the design and implementation of visual applications. J. Vis. Lang. Comput. 15(6): 439-461 (2004) - [c11]Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli:
Bounded Probabilistic Model Checking with the Muralpha Verifier. FMCAD 2004: 214-229 - [c10]Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice:
A Methodology for Scenario Development. SEKE 2004: 7-12 - 2003
- [j3]Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli:
Synchronized regular expressions. Acta Informatica 39(1): 31-70 (2003) - [j2]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): 237-256 (2003) - [c9]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: 277-282 - [c8]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: 394-409 - [c7]Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio:
Xere: Towards a Natural Interoperability between XML and ER Diagrams. FASE 2003: 356-371 - [c6]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: 141-155 - [c5]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: 58-71 - 2002
- [c4]Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli:
Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD 2002: 202-219 - 2001
- [j1]Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice:
Generating graphical applications from state-transition visual specifications. Int. J. Hum. Comput. Stud. 55(6): 861-880 (2001) - [c3]Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli:
A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324 - [c2]Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli:
Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274 - [c1]Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli:
Synchronized Regular Expressions. TOSCA 2001: 195-210
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
