| Publication | Date of Publication | Type |
|---|
| What good are digital clocks? | 2019-12-04 | Paper |
| Temporal Logic and Fair Discrete Systems | 2018-07-20 | Paper |
| On the synthesis of discrete controllers for timed systems | 2017-12-04 | Paper |
| Formalization of properties of recursively defined functions | 2014-03-14 | Paper |
| Reduced functional consistency of uninterpreted functions | 2013-09-26 | Paper |
| Synthesis of Reactive(1) designs | 2012-08-17 | Paper |
| Verification of multi-linked heaps | 2012-08-17 | Paper |
| \textit{Once} and \textit{for all} | 2012-08-17 | Paper |
| Effective Synthesis of Asynchronous Systems from GR(1) Specifications | 2012-06-15 | Paper |
| Low dimensional hybrid systems -- decidable, undecidable, don't know | 2012-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012541 | 2011-07-06 | Paper |
| Revisiting Synthesis of GR(1) Specifications | 2011-04-06 | Paper |
| Temporal Verification of Reactive Systems: Response | 2010-09-07 | Paper |
| Towards Component Based Design of Hybrid Systems: Safety and Stability | 2010-09-07 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Proving the Refuted: Symbolic Model Checkers as Proof Generators | 2010-03-09 | Paper |
| Formal Methods for Components and Objects | 2010-02-09 | Paper |
| Correct Hardware Design and Verification Methods | 2010-02-05 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2009-05-15 | Paper |
| Liveness by Invisible Invariants | 2009-03-11 | Paper |
| A Sound and Complete Deductive System for CTL* Verification | 2009-01-21 | Paper |
| Discriminative Model Checking | 2008-07-15 | Paper |
| Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses | 2008-07-15 | Paper |
| From MITL to Timed Automata | 2008-07-08 | Paper |
| All You Need Is Compassion | 2008-04-04 | Paper |
| Shape Analysis of Single-Parent Heaps | 2008-04-04 | Paper |
| Checking Temporal Properties of Discrete, Timed and Continuous Behaviors | 2008-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5447371 | 2008-03-06 | Paper |
| On Synthesizing Controllers from Bounded-Response Properties | 2007-11-29 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Invisible Safety of Distributed Protocols | 2007-09-11 | Paper |
| “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models | 2007-09-03 | Paper |
| MODULAR RANKING ABSTRACTION | 2007-03-13 | 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 |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-25 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| Model checking with strong fairness | 2006-09-28 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
| Translation and run-time validation of loop transformations | 2006-01-23 | Paper |
| Computer Aided Verification | 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 |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Bridging the gap between fair simulation and trace inclusion | 2005-08-05 | Paper |
| A discrete-time UML semantics for concurrency and communication in safety-critical applications | 2005-05-12 | Paper |
| A compositional approach to CTL\(^*\) verification | 2005-04-06 | Paper |
| Model checking and abstraction to the aid of parameterized systems (a survey) | 2004-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818813 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736998 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472456 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474215 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474227 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474229 | 2004-08-04 | Paper |
| Propositional temporal logics: decidability and completeness | 2004-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4439552 | 2003-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427918 | 2003-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417853 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414374 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413201 | 2003-07-17 | Paper |
| The code validation tool (CVT). Automatic verification of a compilation process | 2003-07-15 | Paper |
| Complete Proof System for QPTL | 2003-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484481 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484475 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804890 | 2003-05-01 | Paper |
| Erratum: ``Verification by augmented finitary abstraction | 2003-01-14 | Paper |
| The small model property: How small can it be? | 2003-01-14 | Paper |
| Verification by augmented finitary abstraction | 2003-01-14 | Paper |
| Decidable integration graphs. | 2003-01-14 | Paper |
| TimeC: A time constraint language for ILP processor compilation | 2002-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551152 | 2002-09-04 | Paper |
| Symmetric and economical solutions to the mutual exclusion problem in a distributed system | 2002-05-13 | Paper |
| Verification by augmented abstraction: The automata-theoretic view | 2002-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769579 | 2002-02-05 | Paper |
| Taming the infinite: Verification of infinite-state reactive systems by finitary means | 2002-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754094 | 2001-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729088 | 2001-11-04 | Paper |
| Symbolic model checking with rich assertional languages | 2001-08-20 | Paper |
| Verification of clocked and hybrid systems | 2000-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945222 | 2000-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490758 | 2000-07-20 | Paper |
| Control and data abstraction: The cornerstones of practical formal verification | 2000-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249563 | 1999-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251920 | 1999-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256654 | 1999-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251914 | 1999-06-17 | Paper |
| Reachability analysis of dynamical systems having piecewise-constant derivatives | 1997-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873991 | 1996-04-21 | Paper |
| On the learnability of infinitary regular sets | 1995-07-10 | Paper |
| Proving partial order properties | 1995-01-08 | Paper |
| Temporal proof methodologies for timed transition systems | 1994-10-12 | Paper |
| Models for reactivity | 1994-05-10 | Paper |
| Probabilistic verification | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035224 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038718 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002642 | 1992-09-18 | Paper |
| Completing the temporal picture | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205072 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733399 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3482822 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4207573 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3814796 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3779721 | 1987-01-01 | Paper |
| Verification of multiprocess probabilistic protocols | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3746875 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3725528 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3700812 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703299 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3711745 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3694687 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3698285 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216119 | 1984-01-01 | Paper |
| A linear-history semantics for languages for distributed programming | 1984-01-01 | Paper |
| Verification of Probabilistic Programs | 1984-01-01 | Paper |
| Fair termination revisited - with delay | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3330494 | 1984-01-01 | Paper |
| Adequate proof principles for invariance and liveness properties of concurrent programs | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309037 | 1983-01-01 | Paper |
| Compilation of Nonprocedural Specifications into Computer Programs | 1983-01-01 | Paper |
| The temporal logic of branching time | 1983-01-01 | Paper |
| Propositional dynamic logic of nonregular programs | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745241 | 1983-01-01 | Paper |
| Termination of Probabilistic Concurrent Program | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939208 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3953159 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3316557 | 1982-01-01 | Paper |
| Deterministic propositional dynamic logic: finite models, complexity, and completeness | 1982-01-01 | Paper |
| Automatic Programming of Finite State Linear Programs | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3923578 | 1981-01-01 | Paper |
| The temporal semantics of concurrent programs | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922147 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917484 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190096 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4187287 | 1979-01-01 | Paper |
| A proof method for cyclic programs | 1978-01-01 | Paper |
| Backtracking in recursive computations | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4139641 | 1977-01-01 | Paper |
| A direct algorithm for checking equivalence of LL(k) grammars | 1977-01-01 | Paper |
| Axiomatic approach to total correctness of programs | 1974-01-01 | Paper |
| Decidable Properties of Monadic Functional Schemas | 1973-01-01 | Paper |
| Permutation Graphs and Transitive Graphs | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4062665 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668608 | 1971-01-01 | Paper |
| Transitive Orientation of Graphs and Identification of Permutation Graphs | 1971-01-01 | Paper |
| Marked directed graphs | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5589129 | 1970-01-01 | Paper |
| Formalization of Properties of Functional Programs | 1970-01-01 | Paper |
| Free tidal oscillations in rotating flat basins of the form of rectangles and of sectors of circles | 1968-01-01 | Paper |
| Tides in oceans of the form of a cross | 1968-01-01 | Paper |
