| Publication | Date of Publication | Type |
|---|
| Deductive verification of modular systems | 2025-03-19 | Paper |
| Hierarchical verification using verification diagrams | 2024-06-21 | Paper |
Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
Lecture Notes in Computer Science | 2022-11-09 | Paper |
Verification in continuous time by discrete reasoning
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
What good are digital clocks?
Automata, Languages and Programming | 2019-12-04 | Paper |
Generalized temporal verification diagrams
Lecture Notes in Computer Science | 2017-01-19 | Paper |
Non-linear loop invariant generation using Gröbner bases
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Formalization of properties of recursively defined functions
Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 | 2014-03-14 | Paper |
Temporal verification of reactive systems: response
Time for Verification | 2010-09-07 | Paper |
Combining decision procedures.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Petri net analysis using invariant generation
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Verification Constraint Problems with Strengthening
Lecture Notes in Computer Science | 2008-09-11 | Paper |
Proving ATL* Properties of Infinite-State Systems
Lecture Notes in Computer Science | 2008-09-11 | Paper |
Property-directed incremental invariant generation
Formal Aspects of Computing | 2008-08-21 | Paper |
Deductive verification of alternating systems
Formal Aspects of Computing | 2008-08-21 | Paper |
The Reaction Algebra: A Formal Language for Event Correlation
Pillars of Computer Science | 2008-03-25 | Paper |
Constructing invariants for hybrid systems
Formal Methods in System Design | 2008-03-11 | Paper |
Verifying Balanced Trees
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
| scientific article; zbMATH DE number 5194318 (Why is no real title available?) | 2007-09-20 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Decision procedures for term algebras with integer constraints
Information and Computation | 2006-10-25 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 2102692 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2062344 (Why is no real title available?) | 2004-03-28 | Paper |
| scientific article; zbMATH DE number 1670842 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1444728 (Why is no real title available?) | 2001-03-12 | Paper |
Deductive verification of real-time systems using STeP
Theoretical Computer Science | 2000-12-12 | Paper |
| scientific article; zbMATH DE number 1536570 (Why is no real title available?) | 2000-11-28 | Paper |
Verification of clocked and hybrid systems
Acta Informatica | 2000-11-22 | Paper |
| scientific article; zbMATH DE number 1479642 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1348476 (Why is no real title available?) | 1999-10-10 | Paper |
Automatic generation of invariants and intermediate assertions
Theoretical Computer Science | 1998-07-23 | Paper |
| scientific article; zbMATH DE number 868107 (Why is no real title available?) | 1996-04-21 | Paper |
| scientific article; zbMATH DE number 814830 (Why is no real title available?) | 1995-11-09 | Paper |
Temporal proof methodologies for timed transition systems
Information and Computation | 1994-10-12 | Paper |
Models for reactivity
Acta Informatica | 1994-05-10 | Paper |
| scientific article; zbMATH DE number 193652 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 176123 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 88997 (Why is no real title available?) | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 52331 (Why is no real title available?) | 1992-09-18 | Paper |
Completing the temporal picture
Theoretical Computer Science | 1992-06-25 | Paper |
Nonclausal deduction in first-order temporal logic
Journal of the ACM | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4119617 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4153903 (Why is no real title available?) | 1989-01-01 | Paper |
Temporal logic programming
Journal of Symbolic Computation | 1989-01-01 | Paper |
The origin of a binary-search paradigm
Science of Computer Programming | 1987-01-01 | Paper |
How to clear a block: a theory of plans
Journal of Automated Reasoning | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4018413 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3986669 (Why is no real title available?) | 1986-01-01 | Paper |
Special relations in automated deduction
Journal of the ACM | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3904560 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3913652 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3940762 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3965462 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3862427 (Why is no real title available?) | 1984-01-01 | Paper |
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems | 1984-01-01 | Paper |
Adequate proof principles for invariance and liveness properties of concurrent programs
Science of Computer Programming | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3848604 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3800906 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3839297 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3833278 (Why is no real title available?) | 1983-01-01 | Paper |
The temporal logic of branching time
Acta Informatica | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3767031 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3755842 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3825144 (Why is no real title available?) | 1982-01-01 | Paper |
Inference Rules for Program Annotation
IEEE Transactions on Software Engineering | 1981-01-01 | Paper |
Deductive synthesis of the unification algorithm
Science of Computer Programming | 1981-01-01 | Paper |
Problematic features of programming languages: A situational-calculus approach
Acta Informatica | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3686772 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3692637 (Why is no real title available?) | 1980-01-01 | Paper |
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3628347 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3628358 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3666178 (Why is no real title available?) | 1979-01-01 | Paper |
Proving termination with multiset orderings
Communications of the ACM | 1979-01-01 | Paper |
Synthesis: Dreams → Programs
IEEE Transactions on Software Engineering | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3635477 (Why is no real title available?) | 1978-01-01 | Paper |
Is “sometime” sometimes better than “always”?
Communications of the ACM | 1978-01-01 | Paper |
The convergence of functions to fixedpoints of recursive definitions
Theoretical Computer Science | 1978-01-01 | Paper |
The Logic of Computer Programming
IEEE Transactions on Software Engineering | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3589703 (Why is no real title available?) | 1977-01-01 | Paper |
The optimal approach to recursive programs
Communications of the ACM | 1977-01-01 | Paper |
The Evolution of Programs: Automatic Program Modification
IEEE Transactions on Software Engineering | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3564289 (Why is no real title available?) | 1976-01-01 | Paper |
Logical analysis of programs
Communications of the ACM | 1976-01-01 | Paper |
The Theoretical Aspects of the Optimal Fixedpoint
SIAM Journal on Computing | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3569796 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3473283 (Why is no real title available?) | 1975-01-01 | Paper |
Knowledge and reasoning in program synthesis
Artificial Intelligence | 1975-01-01 | Paper |
Translating Program Schemas to While-Schemas
SIAM Journal on Computing | 1975-01-01 | Paper |
A closer look at termination
Acta Informatica | 1975-01-01 | Paper |
On the power of programming features
Computer Languages | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3550181 (Why is no real title available?) | 1974-01-01 | Paper |
Axiomatic approach to total correctness of programs
Acta Informatica | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3439982 (Why is no real title available?) | 1973-01-01 | Paper |
Decidable Properties of Monadic Functional Schemas
Journal of the ACM | 1973-01-01 | Paper |
Inductive methods for proving properties of programs
Communications of the ACM | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3555422 (Why is no real title available?) | 1972-01-01 | Paper |
Fixpoint approach to the theory of computation
Communications of the ACM | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3415379 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3480117 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3444775 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3351173 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3362971 (Why is no real title available?) | 1971-01-01 | Paper |
Mathematical theory of partial correctness
Journal of Computer and System Sciences | 1971-01-01 | Paper |
Toward automatic program synthesis
Communications of the ACM | 1971-01-01 | Paper |
The correctness of nondeterministic programs
Artificial Intelligence | 1970-01-01 | Paper |
Formalization of Properties of Functional Programs
Journal of the ACM | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3448070 (Why is no real title available?) | 1969-01-01 | Paper |
Properties of Programs and the First-Order Predicate Calculus
Journal of the ACM | 1969-01-01 | Paper |
