A Proof Obligation Generator for VDM-SL. - Bernhard K. Aichernig; Peter Gorm Larsen (FME, 1997)

Formal Specification of a Voice Communication System Used in Air Traffic Control. - Johann Hörl; Bernhard K. Aichernig (World Congress on Formal Methods, 1999)

Automated Black-Box Testing with Abstract VDM Oracles. - Bernhard K. Aichernig (SAFECOMP, 1999)

Formal specification techniques as a catalyst in validation. - Bernhard K. Aichernig; Andreas Gerstinger; Robert Aster (HASE, 2000)

Requirements Validation of a Voice Communication System Used in Air Traffic Control. - Johann Hörl; Bernhard K. Aichernig (ICRE, 2000)

Validating Voice Communication Requirements Using Lightweight Formal Methods. - Johann Hörl; Bernhard K. Aichernig (IEEE Softw., 2000)

Test-Case Calculation through Abstraction. - Bernhard K. Aichernig (FME, 2001)

Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus. - Bernhard K. Aichernig (J. Univers. Comput. Sci., 2001)

Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas. - Bernhard K. Aichernig; Brigitte Fröhlich; Andreas Kerschbaumer (J. Univers. Comput. Sci., 2001)

Contract-Based Testing. - Bernhard K. Aichernig (10th Anniversary Colloquium of UNU/IIST, 2002)

Contract-based mutation testing in the refinement calculus. - Bernhard K. Aichernig (Refine, 2002)

The Commuting V-Diagram. - Bernhard K. Aichernig (CSL, 2003)

Mutation Testing in the Refinement Calculus. - Bernhard K. Aichernig (Formal Aspects Comput., 2003)

Combining Algebraic and Model-Based Test Case Generation. - Li Dan; Bernhard K. Aichernig (ICTAC, 2004)

Modeling and Validating Hybrid Systems Using VDM and Mathematica - Bernhard K. Aichernig; Reinhold Kainhofer (CoRR, 2004)

A Coalgebraic Semantic Framework for Component-based Development in UML. - Sun Meng; Bernhard K. Aichernig; Luís Soares Barbosa; Zhang Naixiao (CTCS, 2004)

Coalgebraic Component Specification and Verification in RSL. - Sun Meng; Bernhard K. Aichernig; Zhang Naixiao (PDCAT, 2005)

Test Case Generation by OCL Mutation and Constraint Solving. - Bernhard K. Aichernig; Percy Antonio Pari Salas (QSIC, 2005)

Integrating Theories and Techniques for Program Modelling, Design and Verification. - Bernhard K. Aichernig; Jifeng He 001; Zhiming Liu 001; Mike Reed (VSTTE, 2005)

From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. - Bernhard K. Aichernig; Carlo Corrales Delgado (FASE, 2006)

Preface. - Bernhard K. Aichernig; Eerke A. Boiten; John Derrick; Lindsay Groves (Refine@ICFEM, 2006)

When Model-based Testing Fails. - Bernhard K. Aichernig; Chris George (MBT, 2006)

Refinement and Test Case Generation in UTP. - Bernhard K. Aichernig; Jifeng He 001 (Refine@ICFEM, 2006)

Test purpose generation in an industrial application. - Bernhard K. Aichernig; Martin Weiglhofer; Bernhard Peischl; Franz Wotawa (A-MOST, 2007)

A Systematic Introduction to Mutation Testing in Unifying Theories of Programming. - Bernhard K. Aichernig (PSSE, 2007)

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. - Bernhard K. Aichernig; Bernhard Peischl; Martin Weiglhofer; Franz Wotawa (SEFM, 2007)

Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. - Gordon Fraser 001; Bernhard K. Aichernig; Franz Wotawa (MBT, 2007)

Conformance Testing of Distributed Concurrent Systems with Executable Designs. - Bernhard K. Aichernig; Andreas Griesmayer; Einar Broch Johnsen; Rudolf Schlatte; Andries Stam (FMCO, 2008)

Testing Concurrent Objects with Application-Specific Schedulers. - Rudolf Schlatte; Bernhard K. Aichernig; Frank S. de Boer; Andreas Griesmayer; Einar Broch Johnsen (ICTAC, 2008)

Unifying Input Output Conformance. - Martin Weiglhofer; Bernhard K. Aichernig (UTP, 2008)

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. - Bernhard K. Aichernig; Andreas Griesmayer; Rudolf Schlatte; Andries Stam (TTSS, 2008)

Improving Fault-based Conformance Testing. - Bernhard K. Aichernig; Martin Weiglhofer; Franz Wotawa (MBT@ETAPS, 2008)

Software engineering and formal methods. - Bernhard K. Aichernig; Bernhard Beckert (Softw. Syst. Model., 2008)

Model-Based Mutation Testing of Hybrid Systems. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn (FMCO, 2009)

The Credo Methodology - (Extended Version). - Immo Grabe; Mohammad Mahdi Jaghoori; Joachim Klein 001; Sascha Klüppelholz; Andries Stam; Christel Baier; Tobias Blechmann 001; Bernhard K. Aichernig; Frank S. de Boer; Andreas Griesmayer (FMCO, 2009)

Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems. - Willibald Krenn; Rupert Schlick; Bernhard K. Aichernig (FMCO, 2009)

Dynamic Symbolic Execution of Distributed Concurrent Objects. - Andreas Griesmayer; Bernhard K. Aichernig; Einar Broch Johnsen; Rudolf Schlatte (FMOODS/FORTE, 2009)

Qualitative Action Systems. - Bernhard K. Aichernig; Harald Brandl; Willibald Krenn (ICFEM, 2009)

Dynamic Symbolic Execution for Testing Distributed Objects. - Andreas Griesmayer; Bernhard K. Aichernig; Einar Broch Johnsen; Rudolf Schlatte (TAP@TOOLS, 2009)

Fault-Based Test Case Generation for Component Connectors. - Bernhard K. Aichernig; Farhad Arbab; Lacramioara Astefanoaei; Frank S. de Boer; Sun Meng; Jan J. M. M. Rutten (TASE, 2009)

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. - Bernhard K. Aichernig; Harald Brandl; Franz Wotawa (MBT@ETAPS, 2009)

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. - Immo Grabe; Mohammad Mahdi Jaghoori; Bernhard K. Aichernig; Christel Baier; Tobias Blechmann 001; Frank S. de Boer; Andreas Griesmayer; Einar Broch Johnsen; Joachim Klein 001; Sascha Klüppelholz; Marcel Kyas; Wolfgang Leister; et al. (TTSS, 2009)

Test Case Generation by Contract Mutation in Spec#. - Willibald Krenn; Bernhard K. Aichernig (MBT@ETAPS, 2009)

Resource Modeling for Timed Creol Models. - Rudolf Schlatte; Bernhard K. Aichernig; Andreas Griesmayer; Marcel Kyas (TTSS, 2009)

Mutation testing in UTP. - Bernhard K. Aichernig; Jifeng He 001 (Formal Aspects Comput., 2009)

Fault-Based Conformance Testing in Practice. - Martin Weiglhofer; Bernhard K. Aichernig; Franz Wotawa (Int. J. Softw. Informatics, 2009)

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. - Elisabeth Jöbstl; Martin Weiglhofer; Bernhard K. Aichernig; Franz Wotawa (ICST, 2010)

Generating Distinguishing Tests Using the Minion Constraint Solver. - Franz Wotawa; Mihai Nica; Bernhard K. Aichernig (ICST Workshops, 2010)

Automated Conformance Verification of Hybrid Systems. - Harald Brandl; Martin Weiglhofer; Bernhard K. Aichernig (QSIC, 2010)

Efficient Mutation Killers in Action. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn (ICST, 2011)

Compositional Random Testing Using Extended Symbolic Transition Systems. - Christian Schwarzl; Bernhard K. Aichernig; Franz Wotawa (ICTSS, 2011)

UML in action: a two-layered interpretation for testing. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn (ACM SIGSOFT Softw. Eng. Notes, 2011)

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. - Bernhard K. Aichernig; Elisabeth Jöbstl (ICST, 2012)

Efficient Refinement Checking for Model-Based Mutation Testing. - Bernhard K. Aichernig; Elisabeth Jöbstl (QSIC, 2012)

The Science of Killing Bugs in a Black Box - (Keynote Talk). - Bernhard K. Aichernig (SBLP, 2012)

Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. - Bernhard K. Aichernig; Florian Lorber; Stefan Tiran (TASE, 2012)

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking - Bernhard K. Aichernig; Elisabeth Jöbstl (MBT, 2012)

Connectors as designs: Modeling, refinement and test case generation. - Sun Meng; Farhad Arbab; Bernhard K. Aichernig; Lacramioara Astefanoaei; Frank S. de Boer; Jan J. M. M. Rutten (Sci. Comput. Program., 2012)

Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation. - Bernhard K. Aichernig (Theories of Programming and Formal Methods, 2013)

Incremental Refinement Checking for Test Case Generation. - Bernhard K. Aichernig; Elisabeth Jöbstl; Matthias Kegele (TAP@STAF, 2013)

Time for Mutants - Model-Based Mutation Testing with Timed Automata. - Bernhard K. Aichernig; Florian Lorber; Dejan Nickovic (TAP@STAF, 2013)

Formal Test-Driven Development with Verified Test Cases. - Bernhard K. Aichernig; Florian Lorber; Stefan Tiran (MODELSWARD, 2014)

Integration of Requirements Engineering and Test-Case Generation via OSLC. - Bernhard K. Aichernig; Klaus Hörmaier; Florian Lorber; Dejan Nickovic; Rupert Schlick; Didier Simoneau; Stefan Tiran (QSIC, 2014)

Debugging with Timed Automata Mutations. - Bernhard K. Aichernig; Klaus Hörmaier; Florian Lorber (SAFECOMP, 2014)

Model-Based Mutation Testing of an Industrial Measurement Device. - Bernhard K. Aichernig; Jakob Auer; Elisabeth Jöbstl; Robert Korosec; Willibald Krenn; Rupert Schlick; Birgit Vera Schmidt (TAP@STAF, 2014)

Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java. - Stefan J. Galler; Bernhard K. Aichernig (Int. J. Softw. Tools Technol. Transf., 2014)

Towards generation of adaptive test cases from partial models of determinized timed automata. - Bernhard K. Aichernig; Florian Lorber (ICST Workshops, 2015)

MoMut: : UML Model-Based Mutation Testing for UML. - Willibald Krenn; Rupert Schlick; Stefan Tiran; Bernhard K. Aichernig; Elisabeth Jöbstl; Harald Brandl (ICST, 2015)

Scalable Incremental Test-case Generation from Large Behavior Models. - Bernhard K. Aichernig; Dejan Nickovic; Stefan Tiran (TAP@STAF, 2015)

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing. - Bernhard K. Aichernig; Martin Tappler (USE@FM, 2015)

Model-based mutation testing via symbolic refinement checking. - Bernhard K. Aichernig; Elisabeth Jöbstl; Stefan Tiran (Sci. Comput. Program., 2015)

Killing strategies for model-based mutation testing. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn; Rupert Schlick; Stefan Tiran (Softw. Test. Verification Reliab., 2015)

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. - Bernhard K. Aichernig; Florian Lorber; Martin Tappler (Theory and Practice of Formal Methods, 2016)

Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. - Bernhard K. Aichernig; Richard Schumi (ICST Workshops, 2016)

Towards integrating statistical model checking into property-based testing. - Bernhard K. Aichernig; Richard Schumi (MEMOCODE, 2016)

On-the-Fly Determinization of Bounded Networks of Timed Automata. - Bernhard K. Aichernig; Florian Lorber (TASE, 2016)

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. - Bernhard K. Aichernig; Elisabeth Jöbstl; Martin Tappler (J. Log. Algebraic Methods Program., 2016)

Property-Based Testing with External Test-Case Generators. - Bernhard K. Aichernig; Silvio Marcovic; Richard Schumi (ICST Workshops, 2017)

Statistical Model Checking Meets Property-Based Testing. - Bernhard K. Aichernig; Richard Schumi (ICST, 2017)

Model-Based Testing IoT Communication via Active Automata Learning. - Martin Tappler; Bernhard K. Aichernig; Roderick Bloem (ICST, 2017)

Learning from Faults: Mutation Testing in Active Automata Learning. - Bernhard K. Aichernig; Martin Tappler (NFM, 2017)

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. - Richard Schumi; Priska Lang; Bernhard K. Aichernig; Willibald Krenn; Rupert Schlick (ICTSS, 2017)

Probabilistic Black-Box Reachability Checking. - Bernhard K. Aichernig; Martin Tappler (RV, 2017)

Dependable Internet of Things for Networked Cars. - Bernhard Großwindhager; Astrid Rupp; Martin Tappler; Markus Tranninger; Samuel Weiser; Bernhard K. Aichernig; Carlo Alberto Boano; Martin Horn; Gernot Kubin; Stefan Mangard; Martin Steinberger; Kay Römer (Int. J. Comput., 2017)

Bounded determinization of timed automata with silent transitions. - Florian Lorber; Amnon Rosenmann; Dejan Nickovic; Bernhard K. Aichernig (Real Time Syst., 2017)

Require, test, and trace IT. - Bernhard K. Aichernig; Klaus Hörmaier; Florian Lorber; Dejan Nickovic; Stefan Tiran (Int. J. Softw. Tools Technol. Transf., 2017)

Model Learning and Model-Based Testing. - Bernhard K. Aichernig; Wojciech Mostowski; Mohammad Reza Mousavi 001; Martin Tappler; Masoumeh Taromirad (Machine Learning for Dynamic Software Analysis, 2018)

Automata Learning for Symbolic Execution. - Bernhard K. Aichernig; Roderick Bloem; Masoud Ebrahimi 002; Martin Tappler; Johannes Winter (FMCAD, 2018)

How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols. - Bernhard K. Aichernig; Richard Schumi (QEST, 2018)

Statistical Model Checking of Response Times for Different System Deployments. - Bernhard K. Aichernig; Severin Kann; Richard Schumi (SETTA, 2018)

Learning Timed Automata via Genetic Programming. - Martin Tappler; Bernhard K. Aichernig; Kim Guldstrand Larsen; Florian Lorber (CoRR, 2018)

Special section of Tests and Proofs 2016. - Bernhard K. Aichernig; Carlo A. Furia; Marie-Claude Gaudel; Robert M. Hierons (Formal Aspects Comput., 2018)

L*-Based Learning of Markov Decision Processes. - Martin Tappler; Bernhard K. Aichernig; Giovanni Bacci 001; Maria Eichlseder; Kim G. Larsen (FM, 2019)

Time to Learn - Learning Timed Automata from Tests. - Martin Tappler; Bernhard K. Aichernig; Kim Guldstrand Larsen; Florian Lorber (FORMATS, 2019)

Programming Behavioral Test Models for SMT Solving in Scala. - Bernhard K. Aichernig; Benedikt Maderbacher; Stefan Tiran (ICST Workshops, 2019)

Learning-Based Testing of an Industrial Measurement Device. - Bernhard K. Aichernig; Christian Burghard; Robert Korosec (NFM, 2019)

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. - Bernhard K. Aichernig; Roderick Bloem; Masoud Ebrahimi 002; Martin Horn; Franz Pernkopf; Wolfgang Roth; Astrid Rupp; Martin Tappler; Markus Tranninger (ICTSS, 2019)

Predicting and Testing Latencies with Deep Learning: An IoT Case Study. - Bernhard K. Aichernig; Franz Pernkopf; Richard Schumi; Andreas Wurm (TAP@FM, 2019)

A Testing Perspective on Algebraic, Denotational, and Operational Semantics. - Bernhard K. Aichernig (UTP, 2019)

L*-Based Learning of Markov Decision Processes (Extended Version). - Martin Tappler; Bernhard K. Aichernig; Giovanni Bacci 001; Maria Eichlseder; Kim G. Larsen (CoRR, 2019)

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version). - Bernhard K. Aichernig; Roderick Bloem; Masoud Ebrahimi 002; Martin Horn; Franz Pernkopf; Wolfgang Roth; Astrid Rupp; Martin Tappler; Markus Tranninger (CoRR, 2019)

Probabilistic black-box reachability checking (extended version). - Bernhard K. Aichernig; Martin Tappler (Formal Methods Syst. Des., 2019)

Efficient Active Automata Learning via Mutation Testing. - Bernhard K. Aichernig; Martin Tappler (J. Autom. Reason., 2019)

Property-based testing of web services by deriving properties from business-rule models. - Bernhard K. Aichernig; Richard Schumi (Softw. Syst. Model., 2019)

Learning and statistical model checking of system response times. - Bernhard K. Aichernig; Priska Bauerstätter; Elisabeth Jöbstl; Severin Kann; Robert Korosec; Willibald Krenn; Cristinel Mateis; Rupert Schlick; Richard Schumi (Softw. Qual. J., 2019)

Step-Wise Development of Provably Correct Actor Systems. - Bernhard K. Aichernig; Benedikt Maderbacher (ISoLA (1), 2020)

From Passive to Active: Learning Timed Automata Efficiently. - Bernhard K. Aichernig; Andrea Pferscher; Martin Tappler (NFM, 2020)

Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT. - Bernhard K. Aichernig; Christian Burghard (ICTSS, 2020)

Learning Abstracted Non-deterministic Finite State Machines. - Andrea Pferscher; Bernhard K. Aichernig (ICTSS, 2020)

A Formal Modeling Approach for Portable Low-Level OS Functionality. - Renata Martins Gomes; Bernhard K. Aichernig; Marcel Baunach (SEFM, 2020)

Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. - Bernhard K. Aichernig; Martin Tappler; Felix Wallner (TAP@STAF, 2020)

Special issue on testing extra-functional properties. - Mehrdad Saadatmand; Birgitta Lindström; Bernhard K. Aichernig (Softw. Test. Verification Reliab., 2020)

Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning. - Andrea Pferscher; Bernhard K. Aichernig (FM, 2021)

Learning-Based Fuzzing of IoT Message Brokers. - Bernhard K. Aichernig; Edi Muskardin; Andrea Pferscher (ICST, 2021)

Active Model Learning of Stochastic Reactive Systems. - Martin Tappler; Edi Muskardin; Bernhard K. Aichernig; Ingo Pill (SEFM, 2021)

L*-based learning of Markov decision processes (extended version). - Martin Tappler; Bernhard K. Aichernig; Giovanni Bacci 001; Maria Eichlseder; Kim G. Larsen (Formal Aspects Comput., 2021)

Learning Finite State Models fromRecurrent Neural Networks. - Edi Muskardin; Bernhard K. Aichernig; Ingo Pill; Martin Tappler (IFM, 2022)

Search-Based Testing of Reinforcement Learning. - Martin Tappler; Filip Cano Córdoba; Bernhard K. Aichernig; Bettina Könighofer (IJCAI, 2022)

Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning. - Andrea Pferscher; Bernhard K. Aichernig (NFM, 2022)

Timed Automata Learning via SMT Solving. - Martin Tappler; Bernhard K. Aichernig; Florian Lorber (NFM, 2022)

Constrained Training of Recurrent Neural Networks for Automata Learning. - Bernhard K. Aichernig; Sandra König; Cristinel Mateis; Andrea Pferscher; Dominik Schmidt; Martin Tappler (SEFM, 2022)

Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols. - Bernhard K. Aichernig; Edi Muskardin; Andrea Pferscher (FMAS/ASYDE@SEFM, 2022)

AALpy: an active automata learning library. - Edi Muskardin; Bernhard K. Aichernig; Ingo Pill; Andrea Pferscher; Martin Tappler (Innov. Syst. Softw. Eng., 2022)

Fingerprinting and analysis of Bluetooth devices with automata learning. - Andrea Pferscher; Bernhard K. Aichernig (Formal Methods Syst. Des., 2022)

Mining Digital Twins of a VPN Server. - Andrea Pferscher; Benjamin Wunderling; Bernhard K. Aichernig; Edi Muskardin (FMDT@FM, 2023)

Testing-based Black-box Extraction of Simple Models from RNNs and Transformers. - Edi Muskardin; Martin Tappler; Bernhard K. Aichernig (ICGI, 2023)

Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. - Edi Muskardin; Martin Tappler; Bernhard K. Aichernig; Ingo Pill (iFM, 2023)

AI-Assisted Programming with Test-Based Refinement. - Bernhard K. Aichernig; Klaus Havelund (AISoLA (Selected Papers), 2023)

Differential Safety Testing of Deep RL Agents Enabled by Automata Learning. - Martin Tappler; Bernhard K. Aichernig (AISoLA, 2023)

On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth. - Edi Muskardin; Martin Tappler; Ingo Pill; Bernhard K. Aichernig; Thomas Pock (CoRR, 2023)

Learning Environment Models with Continuous Stochastic Dynamics. - Martin Tappler; Edi Muskardin; Bernhard K. Aichernig; Bettina Könighofer (CoRR, 2023)

On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. - Edi Muskardin; Martin Tappler; Ingo Pill; Bernhard K. Aichernig; Thomas Pock (ACL (Findings), 2024)

Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data. - Martin Tappler; Andrea Pferscher; Bernhard K. Aichernig; Bettina Könighofer (ICSE, 2024)

It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data. - Felix Wallner; Bernhard K. Aichernig; Christian Burghard (ICSE, 2024)

Active Model Learning of Git Version Control System. - Edi Muskardin; Tamim Burgstaller; Martin Tappler; Bernhard K. Aichernig (ICSTW, 2024)

Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing. - Martin Tappler; Edi Muskardin; Bernhard K. Aichernig; Bettina Könighofer (ICST, 2024)

Hierarchical Learning of Generative Automaton Models from Sequential Data. - Benjamin von Berg; Bernhard K. Aichernig; Maximilian Rindler; Darko Stern; Martin Tappler (SEFM, 2024)

AI Assisted Programming - (AISoLA 2024 Track Introduction). - Wolfgang Ahrendt; Bernhard K. Aichernig; Klaus Havelund (AISoLA, 2024)

Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. - Bernhard K. Aichernig; Martin Tappler; Felix Wallner (Formal Aspects Comput., 2024)

A framework for embedded software portability and verification: from formal models to low-level code. - Renata Martins Gomes; Bernhard K. Aichernig; Marcel Baunach (Softw. Syst. Model., 2024)

Correction: A framework for embedded software portability and verification: from formal models to low-level code. - Renata Martins Gomes; Bernhard K. Aichernig; Marcel Baunach (Softw. Syst. Model., 2024)

Active model learning of stochastic reactive systems (extended version). - Edi Muskardin; Martin Tappler; Bernhard K. Aichernig; Ingo Pill (Softw. Syst. Model., 2024)

Learning minimal automata with recurrent neural networks. - Bernhard K. Aichernig; Sandra König; Cristinel Mateis; Andrea Pferscher; Martin Tappler (Softw. Syst. Model., 2024)

Extending AALpy with Passive Learning: A Generalized State-Merging Approach. - Benjamin von Berg; Bernhard K. Aichernig (CAV (4), 2025)

Mutating Skeletons: Learning Timed Automata via Domain Knowledge. - Felix Wallner; Bernhard K. Aichernig; Florian Lorber; Martin Tappler (ICSTW, 2025)