Giuseppe Della Penna
Orcid: 0000-0003-2327-9393Affiliations:
- University of L'Aquila, Italy
According to our database1,
Giuseppe Della Penna
authored at least 64 papers
between 2001 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on di.univaq.it
On csauthors.net:
Bibliography
2023
Exploiting spatial relations for grammar-based specification of multidimensional languages.
Knowl. Inf. Syst., October, 2023
Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems.
Comput., August, 2023
Accessibility of e-Government Websites in Italy: The User Experience of People with Disabilities.
Proceedings of the 19th International Conference on Web Information Systems and Technologies, 2023
Proceedings of the 5th International Conference on Finance, 2023
2022
DNN-ForwardTesting: A New Trading Strategy Validation using Statistical Timeseries Analysis and Deep Neural Networks.
CoRR, 2022
CoRR, 2022
2021
Comput., 2021
Proceedings of the Machine Learning, Optimization, and Data Science, 2021
Proceedings of the Intelligent Systems and Applications, 2021
A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment (short paper).
Proceedings of the ECSA 2021 Companion Volume, 2021
2020
Proceedings of the Fourth Italian Conference on Cyber Security, 2020
2019
Security in the internet of things: botnet detection in software-defined networks by deep learning techniques.
Int. J. High Perform. Comput. Netw., 2019
Comput. Syst. Sci. Eng., 2019
Proceedings of the 2019 IEEE European Symposium on Security and Privacy Workshops, 2019
2018
Proceedings of the Cyberspace Safety and Security - 10th International Symposium, 2018
2017
2016
Extending visual information extraction to biomedical applications.
Comput. Syst. Sci. Eng., 2016
2015
Int. J. Artif. Intell. Tools, 2015
2014
2013
A general theory of spatial relations to support a graphical tool for visual information extraction.
J. Vis. Lang. Comput., 2013
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process.
Int. J. Softw. Eng. Knowl. Eng., 2013
Eur. J. Control, 2013
Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013
2012
Knowl. Inf. Syst., 2012
2011
Cost-optimal Strong Planning in Non-deterministic Domains.
Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Noordwijkerhout, The Netherlands, 28, 2011
Supporting Visual Information Extraction from Geospatial Data.
Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011
2010
Proceedings of the Sixth International Conference on Autonomic and Autonomous Systems, 2010
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
2009
Proceedings of the Fuzzy Logic and Applications, 8th International Workshop, 2009
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
2008
An XML Based Methodology to Model and Use Scenarios in the Software Development Process.
Int. J. Softw. Eng. Knowl. Eng., 2008
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008
OBDD Compression of Numerical Controllers.
Proceedings of the ICINCO 2008, 2008
2007
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007
2006
Int. J. Softw. Tools Technol. Transf., 2006
J. Syst. Softw., 2006
Automatic generation of optimal controllers through model checking techniques.
Proceedings of the ICINCO 2006, 2006
Proceedings of the Forum on specification and Design Languages, 2006
2005
Comput. Lang. Syst. Struct., 2005
Proceedings of the Automated Technology for Verification and Analysis, 2005
2004
J. Vis. Lang. Comput., 2004
Exploiting transition locality in automatic verification of finite-state concurrent systems.
Int. J. Softw. Tools Technol. Transf., 2004
A Methodology for Scenario Development.
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
2003
Int. J. Softw. Eng. Knowl. Eng., 2003
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
Proceedings of the Hybrid Systems: Computation and Control, 2003
Proceedings of the Fundamental Approaches to Software Engineering, 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
2002
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002
2001
Int. J. Hum. Comput. Stud., 2001
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001
Proceedings of the Correct Hardware Design and Verification Methods, 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001