| Publication | Date of Publication | Type |
|---|
| Variability abstraction and refinement for game-based lifted model checking of full CTL | 2023-11-24 | Paper |
| On the performance of convolutional neural networks for side-channel analysis | 2023-11-01 | Paper |
| On the expressiveness of joining and splitting | 2023-08-02 | Paper |
| Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting | 2022-10-13 | Paper |
| Statistical Model Checking for Variability-Intensive Systems | 2022-10-13 | Paper |
| Sequential Relational Decomposition | 2022-08-02 | Paper |
| Statistical model checking | 2022-02-16 | Paper |
| Statistical model checking for variability-intensive systems: applications to bug detection and minimization | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014442 | 2021-12-02 | Paper |
| A decision tree lifted domain for analyzing program families with numerical features | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5858720 | 2021-04-14 | Paper |
| Sequential Relational Decomposition | 2021-01-20 | Paper |
| Computing branching distances with quantitative games | 2020-11-06 | Paper |
| Expressiveness of concurrent intensionality | 2020-08-25 | Paper |
| Generalized abstraction-refinement for game-based CTL lifted model checking | 2020-08-25 | Paper |
| Scalable Approximation of Quantitative Information Flow in Programs | 2020-07-07 | Paper |
| Logical vs. behavioural specifications | 2020-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216155 | 2020-02-14 | Paper |
| A linear-time-branching-time spectrum for behavioral specification theories | 2020-01-31 | Paper |
| Attainable unconditional security for shared-key cryptosystems | 2020-01-06 | Paper |
| Hybrid statistical estimation of mutual information for quantifying information flow | 2020-01-03 | Paper |
| Computing branching distances using quantitative games | 2019-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5377470 | 2019-05-24 | Paper |
| Hybrid statistical estimation of mutual information and its application to information flow | 2019-05-10 | Paper |
| Compositionality for quantitative specifications | 2018-10-22 | Paper |
| Importance sampling for stochastic timed automata | 2018-08-16 | Paper |
| Dynamic networks of heterogeneous timed machines | 2018-05-17 | Paper |
| Rare events for statistical model checking an overview | 2018-03-26 | Paper |
| Modelling Attack-defense Trees Using Timed Automata | 2018-02-16 | Paper |
| An Algebraic Approach to Energy Problems I — *-Continuous Kleene ω-Algebras | 2017-08-25 | Paper |
| An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions | 2017-08-25 | Paper |
| Climbing Down the Hierarchy: Hierarchical Classification for Machine Learning Side-Channel Attacks | 2017-08-04 | Paper |
| An omega-Algebra for Real-Time Energy Problems | 2017-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5275346 | 2017-07-11 | Paper |
| Timed I/O automata | 2017-05-10 | Paper |
| Information Leakage of Non-Terminating Processes | 2017-04-25 | Paper |
| A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories | 2017-04-04 | Paper |
| On the Expressiveness of Symmetric Communication | 2016-12-21 | Paper |
| Command-based importance sampling for statistical model checking | 2016-09-12 | Paper |
| Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata | 2016-06-17 | Paper |
| History-preserving bisimilarity for higher-dimensional automata via open maps | 2016-04-12 | Paper |
| On Time with Minimal Expected Cost! | 2015-12-17 | Paper |
| Stuttering for Abstract Probabilistic Automata | 2015-12-11 | Paper |
| *-Continuous Kleene $$\omega $$-Algebras | 2015-11-10 | Paper |
| Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems | 2015-09-30 | Paper |
| On (Omega-)regular model checking | 2015-09-17 | Paper |
| Quantifying information leakage of randomized protocols | 2015-08-17 | Paper |
| Heterogeneous Timed Machines | 2015-01-13 | Paper |
| Structural Refinement for the Modal nu-Calculus | 2015-01-13 | Paper |
| Generalized Quantitative Analysis of Metric Transition Systems | 2015-01-12 | Paper |
| Quantifying Information Leakage of Randomized Protocols | 2014-11-03 | Paper |
| Maximizing entropy over Markov processes | 2014-10-23 | Paper |
| Tropical Fourier–Motzkin elimination, with an application to real-time verification | 2014-10-15 | Paper |
| Homotopy Bisimilarity for Higher-Dimensional Automata | 2014-09-20 | Paper |
| Refinement and Difference for Probabilistic Automata | 2014-09-05 | Paper |
| General quantitative specification theories with modal transition systems | 2014-08-29 | Paper |
| Parametric and Quantitative Extensions of Modal Transition Systems | 2014-07-24 | Paper |
| Specification Theories for Probabilistic and Real-Time Systems | 2014-07-24 | Paper |
| Kleene Algebras and Semimodules for Energy Problems | 2014-07-08 | Paper |
| Weighted modal transition systems | 2014-06-30 | Paper |
| The quantitative linear-time-branching-time spectrum | 2014-06-06 | Paper |
| Model Checking Quantitative Linear Time Logic | 2014-05-13 | Paper |
| Stuttering for abstract probabilistic automata | 2014-02-25 | Paper |
| Abstract probabilistic automata | 2013-12-13 | Paper |
| Robust synthesis for real-time systems | 2013-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851067 | 2013-10-02 | Paper |
| Quantitative Modal Transition Systems | 2013-09-13 | Paper |
| Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory | 2013-08-12 | Paper |
| A Completion Algorithm for Lattice Tree Automata | 2013-08-07 | Paper |
| Pushdown module checking with imperfect information | 2013-06-06 | Paper |
| Modal event-clock specifications for timed component-based design | 2013-06-06 | Paper |
| Maximizing Entropy over Markov Processes | 2013-03-18 | Paper |
| On Timed Alternating Simulation for Concurrent Timed Games | 2012-10-24 | Paper |
| On timed alternating simulation for concurrent timed games | 2012-10-15 | Paper |
| General Quantitative Specification Theories with Modalities | 2012-09-10 | Paper |
| Extending modal transition systems with structured labels | 2012-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2911616 | 2012-08-31 | Paper |
| Consistency and refinement for interval Markov chains | 2012-08-14 | Paper |
| A Modal Interface Theory for Component-based Design | 2012-07-04 | Paper |
| A Platform for High Performance Statistical Model Checking – PLASMA | 2012-06-29 | Paper |
| Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic | 2012-06-15 | Paper |
| New Results on Timed Specifications | 2012-06-08 | Paper |
| Hardness of preorder checking for basic formalisms | 2011-12-07 | Paper |
| Statistical Model Checking for Networks of Priced Timed Automata | 2011-10-07 | Paper |
| Robust Specification of Real Time Components | 2011-10-07 | Paper |
| Quantitative Refinement for Weighted Modal Transition Systems | 2011-08-17 | Paper |
| Constraint Markov chains | 2011-07-29 | Paper |
| Distributed Event Clock Automata | 2011-07-29 | Paper |
| Decision Problems for Interval Markov Chains | 2011-06-03 | Paper |
| Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects | 2011-03-31 | Paper |
| Abstract Probabilistic Automata | 2011-02-15 | Paper |
| Methodologies for Specification of Real-Time Systems Using Timed I/O Automata | 2011-01-08 | Paper |
| Hardness of Preorder Checking for Basic Formalisms | 2011-01-07 | Paper |
| On simulation-based probabilistic model checking of mixed-analog circuits | 2010-09-16 | Paper |
| Memory Event Clocks | 2010-09-10 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Complexity Bounds for the Verification of Real-Time Software | 2010-01-14 | Paper |
| COMPUTING CONVEX HULLS BY AUTOMATA ITERATION | 2009-08-21 | Paper |
| Qualitative Logics and Equivalences for Probabilistic Systems | 2009-06-30 | Paper |
| Computing Convex Hulls by Automata Iteration | 2009-02-12 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Frontiers of Combining Systems | 2006-10-10 | Paper |
| Tree regular model checking: a simulation-based approach | 2006-08-17 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
