Giuseppe Della Penna

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7577574 (Why is no real title available?) (available as arXiv preprint)	2022-08-30	Paper
scientific article; zbMATH DE number 7577574 (Why is no real title available?)	2022-08-30	Paper
CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems European Journal of Control	2014-08-12	Paper
Synchronized regular expressions Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
Automated generation of optimal controllers through model checking techniques Informatics in Control Automation and Robotics	2010-06-02	Paper
Finite horizon analysis of stochastic systems with the Mur\(\varphi \) verifier. Lecture Notes in Computer Science	2010-02-23	Paper
Correct Hardware Design and Verification Methods Lecture Notes in Computer Science	2010-02-05	Paper
Finite horizon analysis of Markov chains with the Mur\(\varphi \) verifier Lecture Notes in Computer Science	2010-02-05	Paper
Formal Methods in Computer-Aided Design Lecture Notes in Computer Science	2006-10-20	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-10	Paper
A type system for static and dynamic checking of C++ pointers Computer Languages, Systems & Structures	2005-03-08	Paper
scientific article; zbMATH DE number 1979552 (Why is no real title available?)	2003-09-14	Paper
Synchronized regular expressions Acta Informatica	2003-09-01	Paper
scientific article; zbMATH DE number 1956627 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1956499 (Why is no real title available?)	2003-07-30	Paper
Generating graphical applications from state-transition visual specifications International Journal of Human-Computer Studies	2003-06-25	Paper
scientific article; zbMATH DE number 1852163 (Why is no real title available?)	2003-01-09	Paper

Research outcomes over time

This page was built for person: Giuseppe Della Penna