Bernhard K. Aichernig

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 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

Research outcomes over time

This page was built for person: Bernhard K. Aichernig