| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7633798 (Why is no real title available?) | 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
Formal Aspects of Computing | 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
Software Engineering and Formal Methods | 2019-09-16 | Paper |
Inferring software behavioral models with MapReduce
Dependable Software Engineering: Theories, Tools, and Applications | 2017-08-31 | Paper |
A formal approach to adaptive software: continuous assurance of non-functional requirements
Formal Aspects of Computing | 2013-03-22 | Paper |
DSOL: a declarative approach to self-adaptive service orchestrations
Computing | 2012-07-31 | Paper |
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Lecture Notes in Computer Science | 2009-03-10 | Paper |
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
Concurrency, Graphs and Models | 2008-06-19 | Paper |
| scientific article; zbMATH DE number 2089339 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2016061 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 2006586 (Why is no real title available?) | 2003-11-23 | Paper |
| scientific article; zbMATH DE number 578247 (Why is no real title available?) | 1994-05-29 | Paper |
| scientific article; zbMATH DE number 194975 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 194796 (Why is no real title available?) | 1993-06-05 | Paper |
Symbolic execution of concurrent systems using Petri nets
Computer Languages | 1989-01-01 | Paper |
Concurrency in programming languages: A survey
Parallel Computing | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3936469 (Why is no real title available?) | 1982-01-01 | Paper |
Language constructs for real-time distributed systems
Computer Languages | 1982-01-01 | Paper |
Augmenting Parsers to Support Incrementality
Journal of the ACM | 1980-01-01 | Paper |
Separate Compilation and Partial Specification in Pascal
IEEE Transactions on Software Engineering | 1980-01-01 | Paper |
SIMPLE: A program development system
Computer Languages | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3617578 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3633671 (Why is no real title available?) | 1979-01-01 | Paper |
Incremental Parsing
ACM Transactions on Programming Languages and Systems | 1979-01-01 | Paper |
Context-free graph grammars
Information and Control | 1978-01-01 | Paper |
Automatic Recovery and Correction of Syntactic Errors in Top-Down Compilers
Journal of Cybernetics | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3426848 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3424763 (Why is no real title available?) | 1973-01-01 | Paper |
