Giuseppe Della Penna

According to our database1, Giuseppe Della Penna
  • authored at least 46 papers between 2001 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
A formal framework to represent spatial knowledge.
Knowl. Inf. Syst., 2017

2016
Extending visual information extraction to biomedical applications.
Comput. Syst. Sci. Eng., 2016

2015
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains.
International Journal on Artificial Intelligence Tools, 2015

2014
Model checking XSL transformations.
Computer Languages, Systems & Structures, 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.
International Journal of Software Engineering and Knowledge Engineering, 2013

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems.
Eur. J. Control, 2013

A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies.
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
A spatial relation-based framework to perform visual information extraction.
Knowl. Inf. Syst., 2012

A universal planning system for hybrid domains.
Appl. Intell., 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
Visual extraction of information from web pages.
J. Vis. Lang. Comput., 2010

Resource-Optimal Planning For An Autonomous Planetary Vehicle
CoRR, 2010

Planning for Autonomous Planetary Vehicles.
Proceedings of the Sixth International Conference on Autonomic and Autonomous Systems, 2010

A PDDL+ Benchmark Problem: The Batch Chemical Plant.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009
Evaluating Fuzzy Controller Robustness Using Model Checking.
Proceedings of the Fuzzy Logic and Applications, 8th International Workshop, 2009

UPMurphi: A Tool for Universal Planning on PDDL+ Problems.
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.
International Journal of Software Engineering and Knowledge Engineering, 2008

Verifying Extended Criteria for the Interoperability of Security Devices.
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
Disk Based Software Verification via Bounded Model Checking.
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
Finite horizon analysis of Markov Chains with the Murphi verifier.
STTT, 2006

An XML environment for scenario based requirements engineering.
Journal of Systems and Software, 2006

Interoperability mapping from XML schemas to ER diagrams.
Data Knowl. Eng., 2006

Automatic generation of optimal controllers through model checking techniques.
Proceedings of the ICINCO 2006, 2006

A Case Study on Automated Generation of Integration Tests.
Proceedings of the Forum on specification and Design Languages, 2006

2005
A type system for static and dynamic checking of C++ pointers.
Computer Languages, Systems & Structures, 2005

Exploiting Hub States in Automatic Verification.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
An environment for the design and implementation of visual applications.
J. Vis. Lang. Comput., 2004

Exploiting transition locality in automatic verification of finite-state concurrent systems.
STTT, 2004

A Methodology for Scenario Development.
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

Bounded Probabilistic Model Checking with the Muralpha Verifier.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003
An XML Definition Language to Support Scenario-Based Requirements Engineering.
International Journal of Software Engineering and Knowledge Engineering, 2003

Synchronized regular expressions.
Acta Inf., 2003

Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.
Proceedings of the Hybrid Systems: Computation and Control, 2003

Xere: Towards a Natural Interoperability between XML and ER Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

Integrating RAM and Disk Based Verification within the Mur-phi Verifier.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002
Exploiting Transition Locality in the Disk Based Mur phi Verifier.
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001
Generating graphical applications from state-transition visual specifications.
Int. J. Hum.-Comput. Stud., 2001

Synchronized Regular Expressions.
Electr. Notes Theor. Comput. Sci., 2001

Exploiting Transition Locality in Automatic Verification.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

A Probabilistic Approach to Automatic Verification of Concurrent Systems.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001


  Loading...