| Publication | Date of Publication | Type |
|---|
| The probabilistic termination tool amber | 2024-01-08 | Paper |
| Signal convolution logic | 2023-07-28 | Paper |
| Solving invariant generation for unsolvable loops | 2023-07-28 | Paper |
| Parameter-Independent Strategies for pMDPs via POMDPs | 2023-06-28 | Paper |
| Moment-based invariants for probabilistic loops with non-polynomial assignments | 2023-06-02 | Paper |
| Distribution estimation for probabilistic loops | 2023-06-02 | Paper |
| Reachable set over-approximation for nonlinear systems using piecewise barrier tubes | 2023-05-26 | Paper |
| A counting semantics for monitoring LTL specifications over finite traces | 2023-05-26 | Paper |
| Probabilistic Hyperproperties with Nondeterminism | 2022-12-22 | Paper |
| Survey on mining signal temporal logic specifications | 2022-12-08 | Paper |
| Model checking hyperproperties for Markov decision processes | 2022-12-08 | Paper |
| Adaptive testing for specification coverage and refinement in CPS models | 2022-10-14 | Paper |
| Flavors of sequential information flow | 2022-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028457 | 2022-02-09 | Paper |
| Moment-based analysis of Bayesian network properties | 2022-02-01 | Paper |
| A normative supervisor for reinforcement learning agents | 2021-12-01 | Paper |
| Automated termination analysis of polynomial probabilistic programs | 2021-10-18 | Paper |
| Analysis of Bayesian networks via prob-solvable loops | 2021-07-08 | Paper |
| ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans | 2020-08-05 | Paper |
| Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops | 2020-07-20 | Paper |
| A survey of challenges for runtime verification from advanced application domains (beyond software) | 2019-11-25 | Paper |
| Extending a Hodgkin-Huxley model for larval \textit{Drosophila} muscle excitability via particle swarm fitting | 2019-10-10 | Paper |
| A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage | 2019-09-17 | Paper |
| Quantitative Regular Expressions for Arrhythmia Detection Algorithms | 2019-07-25 | Paper |
| Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic | 2019-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621138 | 2019-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621139 | 2019-02-08 | Paper |
| A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks | 2018-12-19 | Paper |
| Localizing Faults in Simulink/Stateflow Models with STL | 2018-12-06 | Paper |
| Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent | 2018-01-11 | Paper |
| SpaTeL | 2017-05-19 | Paper |
| Temporal Logic as Filtering | 2017-05-19 | Paper |
| Model-order reduction of ion channel dynamics using approximate bisimulation | 2015-09-29 | Paper |
| Data-Driven Statistical Learning of Temporal Logic Properties | 2015-08-06 | Paper |
| System design of stochastic models using robustness of temporal properties | 2015-06-10 | Paper |
| Model Checking Biological Oscillators | 2014-03-21 | Paper |
| Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue | 2014-01-17 | Paper |
| Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study | 2013-04-03 | Paper |
| On Temporal Logic and Signal Processing | 2012-11-21 | Paper |
| Model Repair for Probabilistic Systems | 2011-05-19 | Paper |
| Detecting synchronisation of biological oscillators by model checking | 2010-05-11 | Paper |
| Modeling and simulation of cardiac tissue using hybrid I/O automata | 2009-08-07 | Paper |
| StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes | 2008-06-19 | Paper |
