| Publication | Date of Publication | Type |
|---|
| Chordal sparsity for SDP-based neural network verification | 2024-02-20 | Paper |
| A framework for transforming specifications in reinforcement learning | 2023-08-10 | Paper |
| Static detection of uncoalesced accesses in GPU programs | 2023-06-29 | Paper |
| Verifying abstractions of timed systems | 2023-06-28 | Paper |
| Modularity for timed and hybrid systems | 2023-05-17 | Paper |
| Colored nested words | 2022-06-27 | Paper |
| Verisig 2.0: verification of neural network controllers using Taylor model preconditioning | 2022-03-25 | Paper |
| Case study | 2021-01-25 | Paper |
| Space-efficient Query Evaluation over Probabilistic Event Streams | 2021-01-21 | Paper |
| Fast timing-based algorithms | 2020-12-02 | Paper |
| Scaling Enumerative Program Synthesis via Divide and Conquer | 2020-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111444 | 2020-05-27 | Paper |
| Derivatives of Quantitative Regular Expressions | 2020-02-24 | Paper |
| Streamable regular transductions | 2020-01-22 | Paper |
| Verisig | 2019-10-22 | Paper |
| Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis | 2019-09-17 | Paper |
| Compositional Synthesis of Reactive Controllers for Multi-agent Systems | 2019-05-03 | Paper |
| Model Checking Procedural Programs | 2018-07-20 | Paper |
| Compositional and symbolic synthesis of reactive controllers for multi-agent systems | 2018-06-14 | Paper |
| Streaming Tree Transducers | 2018-05-17 | Paper |
| Regular combinators for string transformations | 2018-04-23 | Paper |
| Contention---free complexity of shared memory algorithms | 2017-09-29 | Paper |
| Compositional Modeling and Analysis of Multi-Hop Control Networks | 2017-08-25 | Paper |
| A fixpoint calculus for local and global program flows | 2017-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5278416 | 2017-07-19 | Paper |
| Synthesis of interface specifications for Java classes | 2017-07-14 | Paper |
| Deterministic generators and games for Ltl fragments | 2017-07-12 | Paper |
| Regular Functions and Cost Register Automata | 2017-07-03 | Paper |
| From Monadic Second-Order Definable String Transformations to Transducers | 2017-07-03 | Paper |
| Compositional Synthesis with Parametric Reactive Controllers | 2017-05-19 | Paper |
| Optimal scheduling for constant-rate multi-mode systems | 2017-05-16 | Paper |
| Regular Transformations of Infinite Strings | 2017-05-16 | Paper |
| Safe schedulability of bounded-rate multi-mode systems | 2017-05-16 | Paper |
| DReX | 2016-09-29 | Paper |
| Time-adaptive algorithms for synchronization | 2016-09-01 | Paper |
| Undecidability of partial order logics | 2016-06-16 | Paper |
| Regular Programming for Quantitative Properties of Data Streams | 2016-04-26 | Paper |
| Colored Nested Words | 2016-04-13 | Paper |
| Alternating-time temporal logic | 2015-12-07 | Paper |
| Adding nesting structure to words | 2015-11-11 | Paper |
| Algorithmic analysis of array-accessing programs | 2015-09-17 | Paper |
| The benefits of relaxing punctuality | 2015-06-19 | Paper |
| Parametric real-time reasoning | 2015-05-07 | Paper |
| Modular refinement of hierarchic reactive machines | 2015-03-17 | Paper |
| Streaming transducers for algorithmic verification of single-pass list-processing programs | 2014-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2845509 | 2013-08-30 | Paper |
| Decision Problems for Additive Regular Functions | 2013-08-07 | Paper |
| On the Complexity of Shortest Path Problems on Discounted Cost Graphs | 2013-03-18 | Paper |
| Streaming Tree Transducers | 2012-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2908833 | 2012-08-29 | Paper |
| Nondeterministic Streaming String Transducers | 2011-07-07 | Paper |
| Visibly pushdown languages | 2010-08-15 | Paper |
| Verification and Integration of Real-Time Control Software | 2010-06-02 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Temporal Reasoning for Procedural Programs | 2010-01-14 | Paper |
| Algorithmic Analysis of Array-Accessing Programs | 2009-11-12 | Paper |
| Specification and Analysis of Network Resource Requirements of Control Systems | 2009-04-30 | Paper |
| First-Order and Temporal Logics for Nested Words | 2009-04-29 | Paper |
| On Omega-Languages Defined by Mean-Payoff Conditions | 2009-03-31 | Paper |
| Adding Nesting Structure to Words | 2009-03-26 | Paper |
| Symbolic Analysis for GSMP Models with One Stateful Clock | 2009-03-11 | Paper |
| Automata Based Interfaces for Control and Scheduling | 2009-03-11 | Paper |
| Marrying Words and Trees | 2009-01-27 | Paper |
| Parametric temporal logic for “model measuring” | 2008-12-21 | Paper |
| Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition | 2008-09-04 | Paper |
| Automatic symbolic compositional verification by learning assumptions | 2008-07-30 | Paper |
| Model Checking: From Tools to Theory | 2008-07-15 | Paper |
| Ranking Automata and Games for Prioritized Requirements | 2008-07-15 | Paper |
| Marrying Words and Trees | 2008-06-03 | Paper |
| Branching Pushdown Tree Automata | 2008-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5447361 | 2008-03-06 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Preserving Secrecy Under Refinement | 2007-09-11 | Paper |
| Languages of Nested Trees | 2007-09-05 | Paper |
| Model Checking on Trees with Path Equivalences | 2007-09-03 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Dispatch sequences for embedded control models | 2007-01-09 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-25 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| Formal Methods for the Design of Real-Time Systems | 2006-10-19 | Paper |
| Compositional modeling and refinement for hierarchical hybrid systems | 2006-04-28 | Paper |
| Modular strategies for recursive game graphs | 2006-04-28 | Paper |
| Counterexample-guided predicate abstraction of hybrid systems | 2006-04-28 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692280 | 2005-09-28 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| Deciding global partial-order properties | 2005-05-17 | Paper |
| Realizability and verification of MSC graphs | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817528 | 2004-09-24 | Paper |
| Polyhedral flows in hybrid automata | 2004-09-09 | Paper |
| Optimal paths in weighted timed automata | 2004-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736572 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417924 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417938 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417973 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417540 | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804906 | 2003-05-01 | Paper |
| Model-checking of correctness conditions for concurrent objects | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787214 | 2003-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536593 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953375 | 2002-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551148 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551151 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552454 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552455 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552456 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535063 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234083 | 2002-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4230338 | 2002-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754091 | 2001-11-11 | Paper |
| Partial-order reduction in symbolic state-space exploration | 2001-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503929 | 2000-09-14 | Paper |
| Timing verification by successive approximation | 2000-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938622 | 2000-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270053 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249560 | 1999-08-16 | Paper |
| Event-clock automata: a determinizable class of timed automata | 1999-01-12 | Paper |
| The benefits of relaxing punctuality | 1998-01-19 | Paper |
| Time-Adaptive Algorithms for Synchronization | 1997-05-26 | Paper |
| The algorithmic analysis of hybrid systems | 1997-02-28 | Paper |
| Real-time system = discrete system + clock variables | 1997-01-01 | Paper |
| Contention-free complexity of shared memory algorithms | 1996-12-12 | Paper |
| A really temporal logic | 1995-03-08 | Paper |
| A theory of timed automata | 1994-05-05 | Paper |
| Model-checking in dense real-time | 1993-12-06 | Paper |
| Real-time logics: Complexity and expressiveness | 1993-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036557 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038702 | 1993-05-18 | Paper |
