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
Supporting verification-driven incremental distributed design of components	2019-09-16	Paper
From Model Checking to a Temporal Proof for Partial Models	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/Q4692788	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4692942	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
Separate Compilation and Partial Specification in Pascal	1980-01-01	Paper
SIMPLE: A program development system	1980-01-01	Paper
Augmenting Parsers to Support Incrementality	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Carlo Ghezzi