Bernhard K. Aichernig

From MaRDI portal
Person:433333

Available identifiers

zbMath Open aichernig.bernhard-kMaRDI QIDQ433333

List of research outcomes





PublicationDate of PublicationType
\(L^*\)-based learning of Markov decision processes2024-03-14Paper
Fingerprinting and analysis of Bluetooth devices with automata learning2024-01-08Paper
Active model learning of stochastic reactive systems2023-05-26Paper
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning2022-11-09Paper
Learning finite state models from recurrent neural networks2022-08-19Paper
\(L^\ast\)-based learning of Markov decision processes (extended version)2021-09-14Paper
Conformance checking of real-time models. Symbolic execution vs. bounded model checking2021-05-20Paper
Time to learn -- learning timed automata from tests2020-05-05Paper
A testing perspective on algebraic, denotational, and operational semantics2020-02-18Paper
Probabilistic black-box reachability checking (extended version)2019-11-25Paper
Efficient active automata learning via mutation testing2019-10-25Paper
Bounded determinization of timed automata with silent transitions2018-02-19Paper
Bounded Determinization of Timed Automata with Silent Transitions2015-09-14Paper
A coalgebraic semantic framework for component-based development in UML2013-09-20Paper
Model-Based Mutation Testing of Reactive Systems2013-08-16Paper
Connectors as designs: modeling, refinement and test case generation2012-07-13Paper
Unifying Input Output Conformance2010-08-31Paper
Formal Methods at the Crossroads. From Panacea to Foundational Support2010-03-30Paper
Mutation testing in UTP2009-05-27Paper
Testing Concurrent Objects with Application-Specific Schedulers2009-01-27Paper
Computer Science Logic2007-06-21Paper
Theoretical Aspects of Computing - ICTAC 20042005-11-30Paper
Mutation testing in the refinement calculus2005-02-08Paper
https://portal.mardi4nfdi.de/entity/Q27640032002-01-22Paper

Research outcomes over time

This page was built for person: Bernhard K. Aichernig