| Publication | Date of Publication | Type |
|---|
| Hierarchical verification using verification diagrams | 2024-06-21 | Paper |
| Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification | 2022-11-09 | Paper |
| Verification in continuous time by discrete reasoning | 2022-08-16 | Paper |
| What good are digital clocks? | 2019-12-04 | Paper |
| Generalized temporal verification diagrams | 2017-01-19 | Paper |
| Non-linear loop invariant generation using Gröbner bases | 2015-11-11 | Paper |
| Formalization of properties of recursively defined functions | 2014-03-14 | Paper |
| Temporal Verification of Reactive Systems: Response | 2010-09-07 | Paper |
| Formal Methods at the Crossroads. From Panacea to Foundational Support | 2010-03-30 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Verification Constraint Problems with Strengthening | 2008-09-11 | Paper |
| Proving ATL* Properties of Infinite-State Systems | 2008-09-11 | Paper |
| Property-directed incremental invariant generation | 2008-08-21 | Paper |
| Deductive verification of alternating systems | 2008-08-21 | Paper |
| The Reaction Algebra: A Formal Language for Event Correlation | 2008-03-25 | Paper |
| Constructing invariants for hybrid systems | 2008-03-11 | Paper |
| Verifying Balanced Trees | 2008-01-04 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310200 | 2007-09-20 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2007-02-12 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2007-02-12 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| Decision procedures for term algebras with integer constraints | 2006-10-25 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Static Analysis | 2005-08-24 | Paper |
| Theorem Proving in Higher Order Logics | 2005-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817530 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4459241 | 2004-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754162 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952308 | 2001-03-12 | Paper |
| Deductive verification of real-time systems using STeP | 2000-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518439 | 2000-11-28 | Paper |
| Verification of clocked and hybrid systems | 2000-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490758 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264730 | 1999-10-10 | Paper |
| Automatic generation of invariants and intermediate assertions | 1998-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873991 | 1996-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4855375 | 1995-11-09 | Paper |
| Temporal proof methodologies for timed transition systems | 1994-10-12 | Paper |
| Models for reactivity | 1994-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4040458 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035224 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4016555 | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002642 | 1992-09-18 | Paper |
| Completing the temporal picture | 1992-06-25 | Paper |
| Nonclausal deduction in first-order temporal logic | 1990-01-01 | Paper |
| Temporal logic programming | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733399 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3482822 | 1989-01-01 | Paper |
| The origin of a binary-search paradigm | 1987-01-01 | Paper |
| How to clear a block: a theory of plans | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3750140 | 1986-01-01 | Paper |
| Special relations in automated deduction | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030268 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3732981 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3682464 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690194 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3711783 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3330496 | 1984-01-01 | Paper |
| Synthesis of Communicating Processes from Temporal Logic Specifications | 1984-01-01 | Paper |
| Adequate proof principles for invariance and liveness properties of concurrent programs | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3038596 | 1983-01-01 | Paper |
| The temporal logic of branching time | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3318104 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745241 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309037 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3670535 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3948585 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939208 | 1982-01-01 | Paper |
| Problematic features of programming languages: A situational-calculus approach | 1981-01-01 | Paper |
| Inference Rules for Program Annotation | 1981-01-01 | Paper |
| Deductive synthesis of the unification algorithm | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3886852 | 1980-01-01 | Paper |
| A Deductive Approach to Program Synthesis | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3881899 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3863048 | 1979-01-01 | Paper |
| Proving termination with multiset orderings | 1979-01-01 | Paper |
| Synthesis: Dreams → Programs | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190096 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190106 | 1979-01-01 | Paper |
| Is “sometime” sometimes better than “always”? | 1978-01-01 | Paper |
| The convergence of functions to fixedpoints of recursive definitions | 1978-01-01 | Paper |
| The Logic of Computer Programming | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4195923 | 1978-01-01 | Paper |
| The optimal approach to recursive programs | 1977-01-01 | Paper |
| The Evolution of Programs: Automatic Program Modification | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4157922 | 1977-01-01 | Paper |
| Logical analysis of programs | 1976-01-01 | Paper |
| The Theoretical Aspects of the Optimal Fixedpoint | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4136516 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4057565 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140355 | 1975-01-01 | Paper |
| Knowledge and reasoning in program synthesis | 1975-01-01 | Paper |
| Translating Program Schemas to While-Schemas | 1975-01-01 | Paper |
| A closer look at termination | 1975-01-01 | Paper |
| On the power of programming features | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4124327 | 1974-01-01 | Paper |
| Axiomatic approach to total correctness of programs | 1974-01-01 | Paper |
| Decidable Properties of Monadic Functional Schemas | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4766020 | 1973-01-01 | Paper |
| Inductive methods for proving properties of programs | 1973-01-01 | Paper |
| Fixpoint approach to the theory of computation | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4127981 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4062665 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4769944 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626264 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5636306 | 1971-01-01 | Paper |
| Mathematical theory of partial correctness | 1971-01-01 | Paper |
| Toward automatic program synthesis | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5679697 | 1971-01-01 | Paper |
| The correctness of nondeterministic programs | 1970-01-01 | Paper |
| Formalization of Properties of Functional Programs | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4772698 | 1969-01-01 | Paper |
| Properties of Programs and the First-Order Predicate Calculus | 1969-01-01 | Paper |
