| 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 |
| Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals | 2022-12-07 | 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 |
| \(^*\)-continuous Kleene \(\omega\)-algebras for energy problems | 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 |
| On the expressiveness of joining | 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 |
| An $\omega$-algebra for real-time energy problems | 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. II: The algebra of energy functions | 2017-08-25 | Paper |
| An algebraic approach to energy problems. I: \(^*\)-continuous Kleene \(\omega\)-algebras | 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 |
| Partial higher-dimensional automata | 2017-07-11 | Paper |
| Timed I/O automata: a complete specification theory for real-time systems | 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 |
| Handling liveness properties in (\(\omega\)-)regular model checking | 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 |
| The quantitative linear-time-branching-time spectrum | 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 (extended abstract) | 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 |
| Iterating transducers in the large (extended abstract) | 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 |
