| Publication | Date of Publication | Type |
|---|
| Symbolic control for stochastic systems via finite parity games | 2024-03-01 | Paper |
| The computability of LQR and LQG control | 2024-02-21 | Paper |
| Poster Abstract: A Toolchain for Accelerated Symbolic Control | 2024-02-21 | Paper |
| Probabilistic bisimulation for parameterized systems (with applications to verifying anonymous protocols) | 2024-02-16 | Paper |
| Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game | 2023-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6168448 | 2023-08-08 | Paper |
| Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility | 2023-07-28 | Paper |
| Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach | 2023-06-28 | Paper |
| General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond | 2023-01-09 | Paper |
| From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089299 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028423 | 2022-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013881 | 2021-12-03 | Paper |
| General decidability results for asynchronous shared-memory programs: higher-order and beyond | 2021-08-04 | Paper |
| Verification of Immediate Observation Population Protocols | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150997 | 2021-02-16 | Paper |
| Symbolic controller synthesis for Büchi specifications on stochastic systems | 2021-01-25 | Paper |
| On abstraction-based controller design with output feedback | 2021-01-25 | Paper |
| Fair Termination for Parameterized Probabilistic Concurrent Systems | 2020-08-05 | Paper |
| Lazy Abstraction-Based Controller Synthesis | 2020-07-20 | Paper |
| The Robot Routing Problem for Collecting Aggregate Stochastic Rewards | 2020-05-27 | Paper |
| On the relation between reactive synthesis and supervisory control of non-terminating processes | 2020-05-06 | Paper |
| Safety verification of continuous-space pure jump Markov processes | 2019-09-17 | Paper |
| Probabilistic \(\mathrm{CTL}^*\): the deductive way | 2019-09-17 | Paper |
| Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems | 2019-09-17 | Paper |
| Approximate Counting in SMT and Value Estimation for Probabilistic Programs | 2019-09-17 | Paper |
| Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances | 2019-08-12 | Paper |
| Software model checking | 2019-08-09 | Paper |
| Compositional Synthesis of Finite-State Abstractions | 2019-07-18 | Paper |
| Hitting Families of Schedules for Asynchronous Programs | 2019-05-03 | Paper |
| Algebraic Invariants for Linear Hybrid Automata | 2019-02-27 | Paper |
| Programming by Composing Filters | 2019-01-10 | Paper |
| Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems | 2018-12-06 | Paper |
| Symbolic model checking for factored probabilistic models | 2018-10-25 | Paper |
| Parameterized Verification of Asynchronous Shared-Memory Systems | 2018-08-02 | Paper |
| Symbolic Model Checking in Non-Boolean Domains | 2018-07-20 | Paper |
| Model Checking Population Protocols | 2018-04-19 | Paper |
| Reachability analysis of reversal-bounded automata on series-parallel graphs | 2018-04-10 | Paper |
| Model checking parameterized asynchronous shared-memory systems | 2018-03-01 | Paper |
| Quantifying conformance using the Skorokhod metric | 2018-03-01 | Paper |
| Dynamic hierarchical reactive controller synthesis | 2018-01-31 | Paper |
| Approximate counting in SMT and value estimation for probabilistic programs | 2017-12-01 | Paper |
| Thread modularity at many levels: a pearl in compositional verification | 2017-10-20 | Paper |
| Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes | 2017-09-12 | Paper |
| Verification of Population Protocols | 2017-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5357725 | 2017-09-12 | Paper |
| A classification of symbolic transition systems | 2017-07-12 | Paper |
| Controller Synthesis for Reward Collecting Markov Processes in Continuous Space | 2017-07-11 | Paper |
| Dynamic scheduling for networked control systems | 2017-05-19 | Paper |
| Computing the Skorokhod distance between polygonal traces | 2017-05-19 | Paper |
| Computing Distances between Reach Flowpipes | 2017-05-19 | Paper |
| Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions | 2017-05-16 | Paper |
| Towards Robustness for Cyber-Physical Systems | 2017-05-16 | Paper |
| Robust discrete synthesis against unspecified disturbances | 2017-05-16 | Paper |
| A Perfect Model for Bounded Verification | 2017-05-16 | Paper |
| Edit distance for timed automata | 2017-05-16 | Paper |
| Model checking parameterized asynchronous shared-memory systems | 2017-05-15 | Paper |
| Quantifying conformance using the Skorokhod metric | 2017-05-15 | Paper |
| Verification of population protocols | 2017-04-20 | Paper |
| Dynamic Bayesian networks for formal verification of structured stochastic processes | 2017-04-20 | Paper |
| A Theory of Partitioned Global Address Spaces | 2017-02-21 | Paper |
| Analysis of Asynchronous Programs with Event-Based Synchronization | 2016-04-26 | Paper |
| Abstractions from proofs | 2015-11-11 | Paper |
| Verifying liveness for asynchronous programs | 2015-07-03 | Paper |
| Lazy abstraction | 2015-03-17 | Paper |
| Quantitative solution of omega-regular games380872 | 2015-02-27 | Paper |
| An SMT-Based Approach to Coverability Analysis | 2014-09-29 | Paper |
| Bounds on Mobility | 2014-09-15 | Paper |
| Interprocedural analysis of asynchronous programs | 2014-09-12 | Paper |
| Proving non-termination | 2014-09-12 | Paper |
| Unary Pushdown Automata and Straight-Line Programs | 2014-07-01 | Paper |
| Code aware resource management | 2014-06-30 | Paper |
| Backstepping controller synthesis and characterizations of incremental stability | 2014-03-07 | Paper |
| Expand, Enlarge, and Check for Branching Vector Addition Systems | 2013-08-12 | Paper |
| A Theory of Name Boundedness | 2013-08-12 | Paper |
| A Uniformization Theorem for Nested Word to Word Transductions | 2013-08-07 | Paper |
| Model Checking Database Applications | 2013-08-05 | Paper |
| THE COMPLEXITY OF COVERAGE | 2013-07-30 | Paper |
| Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games | 2012-11-21 | Paper |
| Algorithms for Game Metrics | 2012-10-19 | Paper |
| Bounded underapproximations | 2012-09-27 | Paper |
| DISCOUNTING AND AVERAGING IN GAMES ACROSS TIME SCALES | 2012-08-30 | Paper |
| Asymptotic stability implies the existence of a local polynomial Lyapunov function | 2012-01-16 | Paper |
| Minimum Attention Controller Synthesis for Omega-Regular Objectives | 2011-10-07 | Paper |
| Algorithms for Game Metrics | 2010-09-21 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Shape Analysis with Reference Set Relations | 2010-01-14 | Paper |
| Analyzing Real-Time Event-Driven Programs | 2009-12-01 | Paper |
| Verifying Reference Counting Implementations | 2009-03-31 | Paper |
| Structural Invariants | 2009-03-12 | Paper |
| Game Refinement Relations and Metrics | 2008-11-13 | Paper |
| Controller Synthesis with Budget Constraints | 2008-09-02 | Paper |
| Stochastic limit-average games are in EXPTIME | 2008-07-25 | Paper |
| Frugal Routing on Wireless Ad-Hoc Networks | 2008-05-02 | Paper |
| Invariant Synthesis for Combined Theories | 2008-04-04 | Paper |
| Verifying Compensating Transactions | 2008-04-04 | Paper |
| Markov Decision Processes with Multiple Objectives | 2008-03-19 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| State of the Union: Type Inference Via Craig Interpolation | 2007-09-03 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| On the universal and existential fragments of the \(\mu\)-calculus | 2006-04-28 | Paper |
| Model checking discounted temporal properties | 2005-12-06 | Paper |
| Static Analysis | 2005-08-24 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| Stack size analysis for interrupt-driven programs | 2005-01-11 | Paper |
| Quantitative solution of omega-regular games | 2004-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813395 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449227 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449238 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4439562 | 2003-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4426387 | 2003-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417913 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804923 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791854 | 2003-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722062 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518893 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501519 | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953388 | 2000-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270068 | 2000-06-14 | Paper |
