| Publication | Date of Publication | Type |
|---|
Variability abstraction and refinement for game-based lifted model checking of full CTL
Fundamental Approaches to Software Engineering | 2023-11-24 | Paper |
On the performance of convolutional neural networks for side-channel analysis
Security, Privacy, and Applied Cryptography Engineering | 2023-11-01 | Paper |
On the expressiveness of joining and splitting
Lecture Notes in Computer Science | 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
Fundamental Approaches to Software Engineering | 2022-10-13 | Paper |
Statistical Model Checking for Variability-Intensive Systems
Fundamental Approaches to Software Engineering | 2022-10-13 | Paper |
Sequential relational decomposition
Logical Methods in Computer Science | 2022-08-02 | Paper |
| Statistical model checking | 2022-02-16 | Paper |
Statistical model checking for variability-intensive systems: applications to bug detection and minimization
Formal Aspects of Computing | 2022-01-11 | Paper |
^*-continuous Kleene -algebras for energy problems
(available as arXiv preprint) | 2021-12-02 | Paper |
| ^*-continuous Kleene -algebras for energy problems | 2021-12-02 | Paper |
A decision tree lifted domain for analyzing program families with numerical features
(available as arXiv preprint) | 2021-08-04 | Paper |
scientific article; zbMATH DE number 7333236 (Why is no real title available?)
(available as arXiv preprint) | 2021-04-14 | Paper |
| scientific article; zbMATH DE number 7333236 (Why is no real title available?) | 2021-04-14 | Paper |
Sequential relational decomposition
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Computing branching distances with quantitative games
Theoretical Computer Science | 2020-11-06 | Paper |
Expressiveness of concurrent intensionality
Theoretical Computer Science | 2020-08-25 | Paper |
Generalized abstraction-refinement for game-based CTL lifted model checking
Theoretical Computer Science | 2020-08-25 | Paper |
Scalable approximation of quantitative information flow in programs
Lecture Notes in Computer Science | 2020-07-07 | Paper |
Logical vs. behavioural specifications
Information and Computation | 2020-03-12 | Paper |
On the expressiveness of joining
(available as arXiv preprint) | 2020-02-14 | Paper |
| On the expressiveness of joining | 2020-02-14 | Paper |
A linear-time-branching-time spectrum for behavioral specification theories
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
Attainable unconditional security for shared-key cryptosystems
Information Sciences | 2020-01-06 | Paper |
| Hybrid statistical estimation of mutual information for quantifying information flow | 2020-01-03 | Paper |
Computing branching distances using quantitative games
(available as arXiv preprint) | 2019-12-12 | Paper |
An $\omega$-algebra for real-time energy problems
(available as arXiv preprint) | 2019-05-24 | Paper |
Hybrid statistical estimation of mutual information and its application to information flow
Formal Aspects of Computing | 2019-05-10 | Paper |
Compositionality for quantitative specifications
Soft Computing | 2018-10-22 | Paper |
| Importance sampling for stochastic timed automata | 2018-08-16 | Paper |
Dynamic networks of heterogeneous timed machines
Mathematical Structures in Computer Science | 2018-05-17 | Paper |
| Rare events for statistical model checking an overview | 2018-03-26 | Paper |
Modelling attack-defense trees using timed automata
Lecture Notes in Computer Science | 2018-02-16 | Paper |
An algebraic approach to energy problems. I: ^*-continuous Kleene -algebras
Acta Cybernetica | 2017-08-25 | Paper |
An algebraic approach to energy problems. II: The algebra of energy functions
Acta Cybernetica | 2017-08-25 | Paper |
Climbing down the hierarchy: hierarchical classification for machine learning side-channel attacks
Progress in Cryptology - AFRICACRYPT 2017 | 2017-08-04 | Paper |
| An -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
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
| Information leakage of non-terminating processes | 2017-04-25 | Paper |
A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
SOFSEM 2017: Theory and Practice of Computer Science | 2017-04-04 | Paper |
On the expressiveness of symmetric communication
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Command-based importance sampling for statistical model checking
Theoretical Computer Science | 2016-09-12 | Paper |
Statistical approximation of optimal schedulers for probabilistic timed automata
Lecture Notes in Computer Science | 2016-06-17 | Paper |
History-preserving bisimilarity for higher-dimensional automata via open maps
(available as arXiv preprint) | 2016-04-12 | Paper |
On time with minimal expected cost!
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Stuttering for abstract probabilistic automata
Logical Foundations of Computer Science | 2015-12-11 | Paper |
^*-continuous Kleene -algebras
Developments in Language Theory | 2015-11-10 | Paper |
Model-based verification, optimization, synthesis and performance evaluation of real-time systems
Lecture Notes in Computer Science | 2015-09-30 | Paper |
On (omega-)regular model checking
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Quantifying information leakage of randomized protocols
Theoretical Computer Science | 2015-08-17 | Paper |
Heterogeneous timed machines
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Structural Refinement for the Modal nu-Calculus
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Generalized quantitative analysis of metric transition systems
Programming Languages and Systems | 2015-01-12 | Paper |
Quantifying information leakage of randomized protocols
Lecture Notes in Computer Science | 2014-11-03 | Paper |
Maximizing entropy over Markov processes
Journal of Logical and Algebraic Methods in Programming | 2014-10-23 | Paper |
Tropical Fourier-Motzkin elimination, with an application to real-time verification
International Journal of Algebra and Computation | 2014-10-15 | Paper |
| Homotopy Bisimilarity for Higher-Dimensional Automata | 2014-09-20 | Paper |
Refinement and difference for probabilistic automata
Logical Methods in Computer Science | 2014-09-05 | Paper |
General quantitative specification theories with modal transition systems
Acta Informatica | 2014-08-29 | Paper |
Parametric and quantitative extensions of modal transition systems
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Specification Theories for Probabilistic and Real-Time Systems
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Kleene algebras and semimodules for energy problems
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Weighted modal transition systems
Formal Methods in System Design | 2014-06-30 | Paper |
The quantitative linear-time-branching-time spectrum
Theoretical Computer Science | 2014-06-06 | Paper |
Model Checking Quantitative Linear Time Logic
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Stuttering for abstract probabilistic automata
The Journal of Logic and Algebraic Programming | 2014-02-25 | Paper |
Abstract probabilistic automata
Information and Computation | 2013-12-13 | Paper |
Robust synthesis for real-time systems
Theoretical Computer Science | 2013-12-10 | Paper |
| Handling liveness properties in (-)regular model checking | 2013-10-02 | Paper |
Quantitative Modal Transition Systems
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
A completion algorithm for lattice tree automata
Implementation and Application of Automata | 2013-08-07 | Paper |
Pushdown module checking with imperfect information
Information and Computation | 2013-06-06 | Paper |
Modal event-clock specifications for timed component-based design
Science of Computer Programming | 2013-06-06 | Paper |
Maximizing entropy over Markov processes
Language and Automata Theory and Applications | 2013-03-18 | Paper |
| On timed alternating simulation for concurrent timed games | 2012-10-24 | Paper |
On timed alternating simulation for concurrent timed games
Acta Informatica | 2012-10-15 | Paper |
General quantitative specification theories with modalities
Computer Science – Theory and Applications | 2012-09-10 | Paper |
Extending modal transition systems with structured labels
MSCS. Mathematical Structures in Computer Science | 2012-09-06 | Paper |
| The quantitative linear-time-branching-time spectrum | 2012-08-31 | Paper |
Consistency and refinement for interval Markov chains
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
A modal interface theory for component-based design
Fundamenta Informaticae | 2012-07-04 | Paper |
A platform for high performance statistical model checking -- PLASMA
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Monitor-based statistical model checking for weighted metric temporal logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
New results on timed specifications
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Hardness of preorder checking for basic formalisms
Theoretical Computer Science | 2011-12-07 | Paper |
Statistical Model Checking for Networks of Priced Timed Automata
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Robust specification of real time components
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Quantitative refinement for weighted modal transition systems
Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
Distributed event clock automata (extended abstract)
Implementation and Application of Automata | 2011-07-29 | Paper |
Constraint Markov chains
Theoretical Computer Science | 2011-07-29 | Paper |
Decision Problems for Interval Markov Chains
Language and Automata Theory and Applications | 2011-06-03 | Paper |
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
Formal Methods in System Design | 2011-03-31 | Paper |
Abstract probabilistic automata
Lecture Notes in Computer Science | 2011-02-15 | Paper |
Methodologies for specification of real-time systems using timed I/O automata
Formal Methods for Components and Objects | 2011-01-08 | Paper |
Hardness of preorder checking for basic formalisms
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
On simulation-based probabilistic model checking of mixed-analog circuits
Formal Methods in System Design | 2010-09-16 | Paper |
Memory event clocks
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Iterating transducers in the large (extended abstract)
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Complexity bounds for the verification of real-time software
Lecture Notes in Computer Science | 2010-01-14 | Paper |
COMPUTING CONVEX HULLS BY AUTOMATA ITERATION
International Journal of Foundations of Computer Science | 2009-08-21 | Paper |
Qualitative Logics and Equivalences for Probabilistic Systems
Logical Methods in Computer Science | 2009-06-30 | Paper |
