| Publication | Date of Publication | Type |
|---|
Symbolic semantics for probabilistic programs
| 2024-05-29 | Paper |
Variability abstraction and refinement for game-based lifted model checking of full CTL
Fundamental Approaches to Software Engineering | 2023-11-24 | Paper |
A specification logic for programs in the probabilistic guarded command language
Lecture Notes in Computer Science | 2023-07-28 | Paper |
Generalized abstraction-refinement for game-based CTL lifted model checking
Theoretical Computer Science | 2020-08-25 | Paper |
From transition systems to variability models and from lifted model checking back to \textsf{UPPAAL}
Lecture Notes in Computer Science | 2020-02-24 | Paper |
Variability-specific abstraction refinement for family-based model checking
Fundamental Approaches to Software Engineering | 2020-02-13 | Paper |
Finding suitable variability abstractions for family-based analysis
| 2020-01-03 | Paper |
Finding suitable variability abstractions for lifted analysis
Formal Aspects of Computing | 2019-05-10 | Paper |
Controller synthesis for dynamic hierarchical real-time plants using timed automata
Discrete Event Dynamic Systems | 2018-01-31 | 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 |
Trustworthy variant derivation with translation validation for safety critical product lines
Journal of Logical and Algebraic Methods in Programming | 2016-11-07 | Paper |
Quantifying information leakage of randomized protocols
Theoretical Computer Science | 2015-08-17 | Paper |
A model for industrial real-time systems
Lecture Notes in Computer Science | 2015-02-04 | 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 |
EXPTIME-complete decision problems for modal and mixed specifications
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
Abstract probabilistic automata
Information and Computation | 2013-12-13 | Paper |
Robust synthesis for real-time systems
Theoretical Computer Science | 2013-12-10 | Paper |
Maximizing entropy over Markov processes
Language and Automata Theory and Applications | 2013-03-18 | Paper |
Consistency and refinement for interval Markov chains
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
New results on timed specifications
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Robust specification of real time components
Lecture Notes in Computer Science | 2011-10-07 | 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 |
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 |
Modal and mixed specifications: key decision problems and their complexities
Mathematical Structures in Computer Science | 2010-04-01 | Paper |
20 years of modal and mixed specifications.
| 2009-09-19 | Paper |
On Modal Refinement and Consistency
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Complexity of Decision Problems for Mixed and Modal Specifications
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Modal I/O Automata for Interface and Product Line Theories
Programming Languages and Systems | 2007-09-04 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Bayesian network mining systems
| 2002-10-16 | Paper |
