Giuseppe Della Penna

Available identifiers

zbMath Open della-penna.giuseppeMaRDI QIDQ397402

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5101343	2022-08-30	Paper
CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems	2014-08-12	Paper
Synchronized regular expressions	2013-07-24	Paper
Automated Generation of Optimal Controllers through Model Checking Techniques	2010-06-02	Paper
Theoretical Computer Science	2010-02-23	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
A type system for static and dynamic checking of C++ pointers	2005-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q4427905	2003-09-14	Paper
Synchronized regular expressions	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4417987	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417845	2003-07-30	Paper
Generating graphical applications from state-transition visual specifications	2003-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4787235	2003-01-09	Paper

Research outcomes over time

This page was built for person: Giuseppe Della Penna