Carlo Ghezzi

Available identifiers

zbMath Open ghezzi.carloMaRDI QIDQ438995

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5057635	2022-12-16	Paper
Dealing with incompleteness in automata-based model checking	2020-01-03	Paper
A verification-driven framework for iterative design of controllers	2019-11-18	Paper
From Model Checking to a Temporal Proof for Partial Models	2019-09-16	Paper
Supporting verification-driven incremental distributed design of components	2019-09-16	Paper
Inferring Software Behavioral Models with MapReduce	2017-08-31	Paper
A formal approach to adaptive software: continuous assurance of non-functional requirements	2013-03-22	Paper
DSOL: a declarative approach to self-adaptive service orchestrations	2012-07-31	Paper
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata	2009-03-10	Paper
Dynamically Evolvable Dependable Software: From Oxymoron to Reality	2008-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q3046670	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4438759	2003-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4435994	2003-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4293540	1994-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q4692942	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4692788	1993-06-05	Paper
Symbolic execution of concurrent systems using Petri nets	1989-01-01	Paper
Concurrency in programming languages: A survey	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3707345	1982-01-01	Paper
Language constructs for real-time distributed systems	1982-01-01	Paper
Augmenting Parsers to Support Incrementality	1980-01-01	Paper
Separate Compilation and Partial Specification in Pascal	1980-01-01	Paper
SIMPLE: A program development system	1980-01-01	Paper
Incremental Parsing	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4181296	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4194410	1979-01-01	Paper
Context-free graph grammars	1978-01-01	Paper
Automatic Recovery and Correction of Syntactic Errors in Top-Down Compilers	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3214362	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5686620	1973-01-01	Paper

Research outcomes over time

This page was built for person: Carlo Ghezzi