Bernhard K. Aichernig

Available identifiers

zbMath Open aichernig.bernhard-kMaRDI QIDQ433333

List of research outcomes

Publication	Date of Publication	Type
\(L^*\)-based learning of Markov decision processes	2024-03-14	Paper
Fingerprinting and analysis of Bluetooth devices with automata learning	2024-01-08	Paper
Active model learning of stochastic reactive systems	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)	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)	2019-11-25	Paper
Efficient active automata learning via mutation testing	2019-10-25	Paper
Bounded determinization of timed automata with silent transitions	2018-02-19	Paper
Bounded Determinization of Timed Automata with Silent Transitions	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	2013-08-16	Paper
Connectors as designs: modeling, refinement and test case generation	2012-07-13	Paper
Unifying Input Output Conformance	2010-08-31	Paper
Formal Methods at the Crossroads. From Panacea to Foundational Support	2010-03-30	Paper
Mutation testing in UTP	2009-05-27	Paper
Testing Concurrent Objects with Application-Specific Schedulers	2009-01-27	Paper
Computer Science Logic	2007-06-21	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Mutation testing in the refinement calculus	2005-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q2764003	2002-01-22	Paper

Research outcomes over time

This page was built for person: Bernhard K. Aichernig