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 |
https://portal.mardi4nfdi.de/entity/Q5275382 | 2017-07-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q5275346 | 2017-07-11 | Paper |
Timed I/O automata | 2017-05-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q2978541 | 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 |
https://portal.mardi4nfdi.de/entity/Q2920115 | 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 |