| Publication | Date of Publication | Type |
|---|
Benchmarking combinations of learning and testing algorithms for automata learning
Formal Aspects of Computing | 2025-02-12 | Paper |
| L^*-based learning of Markov decision processes | 2024-03-14 | Paper |
Fingerprinting and analysis of Bluetooth devices with automata learning
Formal Methods in System Design | 2024-01-08 | Paper |
Active model learning of stochastic reactive systems
Software Engineering and Formal Methods | 2023-05-26 | Paper |
| Benchmarking combinations of learning and testing algorithms for active automata learning | 2022-11-09 | Paper |
| Learning finite state models from recurrent neural networks | 2022-08-19 | Paper |
\(L^\ast\)-based learning of Markov decision processes (extended version)
Formal Aspects of Computing | 2021-09-14 | Paper |
| Conformance checking of real-time models. Symbolic execution vs. bounded model checking | 2021-05-20 | Paper |
| Time to learn -- learning timed automata from tests | 2020-05-05 | Paper |
| A testing perspective on algebraic, denotational, and operational semantics | 2020-02-18 | Paper |
Probabilistic black-box reachability checking (extended version)
Formal Methods in System Design | 2019-11-25 | Paper |
Efficient active automata learning via mutation testing
Journal of Automated Reasoning | 2019-10-25 | Paper |
Bounded determinization of timed automata with silent transitions
Real-Time Systems | 2018-02-19 | Paper |
Bounded determinization of timed automata with silent transitions
Lecture Notes in Computer Science | 2015-09-14 | Paper |
| A coalgebraic semantic framework for component-based development in UML | 2013-09-20 | Paper |
Model-Based Mutation Testing of Reactive Systems
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
Connectors as designs: modeling, refinement and test case generation
Science of Computer Programming | 2012-07-13 | Paper |
Unifying input output conformance
Unifying Theories of Programming | 2010-08-31 | Paper |
Contract-based testing.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Mutation testing in UTP
Formal Aspects of Computing | 2009-05-27 | Paper |
Testing Concurrent Objects with Application-Specific Schedulers
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
Mutation testing in the refinement calculus
Formal Aspects of Computing | 2005-02-08 | Paper |
| scientific article; zbMATH DE number 1693451 (Why is no real title available?) | 2002-01-22 | Paper |
