Bernhard K. Aichernig

Available identifiers

zbMath Open aichernig.bernhard-kMaRDI QIDQ433333

List of research outcomes

Publication	Date of Publication	Type
Fingerprinting and analysis of Bluetooth devices with automata learning	2024-01-08	Paper
Active model learning of stochastic reactive systems	2023-05-26	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
https://portal.mardi4nfdi.de/entity/Q2849889	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bernhard K. Aichernig