| 2026 | FM | BDD-Based Deadlock Avoidance for Automated Guided Vehicles in Warehouse Logistics (Case Study Paper). | Benjamin von Berg, Bernhard K. Aichernig, Fabian Wedenik |
| 2026 | FM | Active Automata Learning with Noisy Data: From Big to Small Data. | Felix Wallner, Bernhard K. Aichernig, Benjamin von Berg, Maximilian Rindler |
| 2025 | CAV | Extending AALpy with Passive Learning: A Generalized State-Merging Approach. | Benjamin von Berg, Bernhard K. Aichernig |
| 2025 | ICST | Mutating Skeletons: Learning Timed Automata via Domain Knowledge. | Felix Wallner, Bernhard K. Aichernig, Florian Lorber, Martin Tappler |
| 2025 | VECoS | AI Assisted Programming (AISoLA 2025 Track Introduction). | Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund |
| 2024 | ACL | On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. | Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock |
| 2024 | ICSE | Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data. | Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Knighofer |
| 2024 | ICSE | It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data. | Felix Wallner, Bernhard K. Aichernig, Christian Burghard |
| 2024 | ICST | Active Model Learning of Git Version Control System. | Edi Muskardin, Tamim Burgstaller, Martin Tappler, Bernhard K. Aichernig |
| 2024 | ICST | Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing. | Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Knighofer |
| 2024 | SEFM | Hierarchical Learning of Generative Automaton Models from Sequential Data. | Benjamin von Berg, Bernhard K. Aichernig, Maximilian Rindler, Darko Stern, Martin Tappler |
| 2024 | VECoS | AI Assisted Programming - (AISoLA 2024 Track Introduction). | Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund |
| 2024 | VECoS | Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Generated Code. | Bernhard K. Aichernig, Klaus Havelund |
| 2023 | FM | Mining Digital Twins of a VPN Server. | Andrea Pferscher, Benjamin Wunderling, Bernhard K. Aichernig, Edi Muskardin |
| 2023 | IFM | Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. | Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill |
| 2023 | VECoS | AI-Assisted Programming with Test-Based Refinement. | Bernhard K. Aichernig, Klaus Havelund |
| 2023 | VECoS | Differential Safety Testing of Deep RL Agents Enabled by Automata Learning. | Martin Tappler, Bernhard K. Aichernig |
| 2022 | IJCAI | Search-Based Testing of Reinforcement Learning. | Martin Tappler, Filip Cano Crdoba, Bernhard K. Aichernig, Bettina Knighofer |
| 2022 | IFM | Learning Finite State Models fromRecurrent Neural Networks. | Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler |
| 2022 | SEFM | Constrained Training of Recurrent Neural Networks for Automata Learning. | Bernhard K. Aichernig, Sandra Knig, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler |
| 2021 | ATVA | AALpy: An Active Automata Learning Library. | Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler |
| 2021 | FM | Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning. | Andrea Pferscher, Bernhard K. Aichernig |
| 2021 | ICST | Learning-Based Fuzzing of IoT Message Brokers. | Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher |
| 2021 | SEFM | Active Model Learning of Stochastic Reactive Systems. | Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill |
| 2020 | ISoLA | Step-Wise Development of Provably Correct Actor Systems. | Bernhard K. Aichernig, Benedikt Maderbacher |
| 2020 | SEFM | A Formal Modeling Approach for Portable Low-Level OS Functionality. | Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach |
| 2020 | TAP | Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. | Bernhard K. Aichernig, Martin Tappler, Felix Wallner |
| 2019 | FM | L | Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen |
| 2019 | ICST | Programming Behavioral Test Models for SMT Solving in Scala. | Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran |
| 2019 | TAP | Predicting and Testing Latencies with Deep Learning: An IoT Case Study. | Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm |
| 2018 | FMCAD | Automata Learning for Symbolic Execution. | Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter |
| 2018 | SETTA | Statistical Model Checking of Response Times for Different System Deployments. | Bernhard K. Aichernig, Severin Kann, Richard Schumi |
| 2017 | ICST | Property-Based Testing with External Test-Case Generators. | Bernhard K. Aichernig, Silvio Marcovic, Richard Schumi |
| 2017 | ICST | Statistical Model Checking Meets Property-Based Testing. | Bernhard K. Aichernig, Richard Schumi |
| 2017 | ICST | Model-Based Testing IoT Communication via Active Automata Learning. | Martin Tappler, Bernhard K. Aichernig, Roderick Bloem |
| 2017 | RV | Probabilistic Black-Box Reachability Checking. | Bernhard K. Aichernig, Martin Tappler |
| 2016 | ICST | Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. | Bernhard K. Aichernig, Richard Schumi |
| 2016 | MEMOCODE | Towards integrating statistical model checking into property-based testing. | Bernhard K. Aichernig, Richard Schumi |
| 2016 | TASE | On-the-Fly Determinization of Bounded Networks of Timed Automata. | Bernhard K. Aichernig, Florian Lorber |
| 2015 | FMICS | Require, Test and Trace IT. | Bernhard K. Aichernig, Klaus Hrmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran |
| 2015 | ICST | Towards generation of adaptive test cases from partial models of determinized timed automata. | Bernhard K. Aichernig, Florian Lorber |
| 2015 | ICST | MoMut: : UML Model-Based Mutation Testing for UML. | Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jbstl, Harald Brandl |
| 2015 | TAP | Scalable Incremental Test-case Generation from Large Behavior Models. | Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran |
| 2014 | MODELSWARD | Formal Test-Driven Development with Verified Test Cases. | Bernhard K. Aichernig, Florian Lorber, Stefan Tiran |
| 2014 | SAFECOMP | Debugging with Timed Automata Mutations. | Bernhard K. Aichernig, Klaus Hrmaier, Florian Lorber |
| 2014 | TAP | Model-Based Mutation Testing of an Industrial Measurement Device. | Bernhard K. Aichernig, Jakob Auer, Elisabeth Jbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt |
| 2013 | TAP | Incremental Refinement Checking for Test Case Generation. | Bernhard K. Aichernig, Elisabeth Jbstl, Matthias Kegele |
| 2013 | TAP | Time for Mutants - Model-Based Mutation Testing with Timed Automata. | Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic |
| 2012 | ICST | Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. | Bernhard K. Aichernig, Elisabeth Jbstl |
| 2012 | TASE | Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. | Bernhard K. Aichernig, Florian Lorber, Stefan Tiran |
| 2011 | ICST | Efficient Mutation Killers in Action. | Bernhard K. Aichernig, Harald Brandl, Elisabeth Jbstl, Willibald Krenn |
| 2010 | ICST | When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. | Elisabeth Jbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa |
| 2010 | ICST | Generating Distinguishing Tests Using the Minion Constraint Solver. | Franz Wotawa, Mihai Nica, Bernhard K. Aichernig |
| 2009 | FORTE | Dynamic Symbolic Execution of Distributed Concurrent Objects. | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
| 2009 | ICFEM | Qualitative Action Systems. | Bernhard K. Aichernig, Harald Brandl, Willibald Krenn |
| 2009 | TAP | Dynamic Symbolic Execution for Testing Distributed Objects. | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
| 2009 | TASE | 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 |
| 2008 | ICTAC | Testing Concurrent Objects with Application-Specific Schedulers. | Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen |
| 2007 | SEFM | Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. | Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa |
| 2006 | FASE | From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. | Bernhard K. Aichernig, Carlo Corrales Delgado |
| 2005 | PDCAT | Coalgebraic Component Specification and Verification in RSL. | Sun Meng, Bernhard K. Aichernig, Zhang Naixiao |
| 2004 | ICTAC | Combining Algebraic and Model-Based Test Case Generation. | Li Dan, Bernhard K. Aichernig |
| 2003 | CSL | The Commuting V-Diagram. | Bernhard K. Aichernig |
| 2001 | FM | Test-Case Calculation through Abstraction. | Bernhard K. Aichernig |
| 1999 | FM | Formal Specification of a Voice Communication System Used in Air Traffic Control. | Johann Hrl, Bernhard K. Aichernig |
| 1999 | SAFECOMP | Automated Black-Box Testing with Abstract VDM Oracles. | Bernhard K. Aichernig |
| 1997 | FM | A Proof Obligation Generator for VDM-SL. | Bernhard K. Aichernig, Peter Gorm Larsen |