The following pages link to Carlo Ghezzi (Q438995):
Displayed 30 items.
- DSOL: a declarative approach to self-adaptive service orchestrations (Q438997) (← links)
- Concurrency in programming languages: A survey (Q1077156) (← links)
- A formal approach to adaptive software: continuous assurance of non-functional requirements (Q1941849) (← links)
- Dealing with incompleteness in automata-based model checking (Q2281650) (← links)
- Supporting verification-driven incremental distributed design of components (Q2324188) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- Symbolic execution of concurrent systems using Petri nets (Q3031902) (← links)
- (Q3046670) (← links)
- (Q3214362) (← links)
- Dynamically Evolvable Dependable Software: From Oxymoron to Reality (Q3507373) (← links)
- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata (Q3614855) (← links)
- (Q3707345) (← links)
- Separate Compilation and Partial Specification in Pascal (Q3870284) (← links)
- SIMPLE: A program development system (Q3871895) (← links)
- Incremental Parsing (Q3896515) (← links)
- Augmenting Parsers to Support Incrementality (Q3930664) (← links)
- Language constructs for real-time distributed systems (Q3943994) (← links)
- Automatic Recovery and Correction of Syntactic Errors in Top-Down Compilers (Q4098632) (← links)
- Context-free graph grammars (Q4155839) (← links)
- (Q4181296) (← links)
- (Q4194410) (← links)
- (Q4293540) (← links)
- (Q4435994) (← links)
- (Q4438759) (← links)
- (Q4692788) (← links)
- (Q4692942) (← links)
- (Q5057635) (← links)
- From Model Checking to a Temporal Proof for Partial Models (Q5194652) (← links)
- Inferring Software Behavioral Models with MapReduce (Q5351875) (← links)
- (Q5686620) (← links)