| 2026 | FM | Test Coverage of Automated Robotic Systems in Open World Environments. | Lukas Westhofen, Till Schallau, Dominik Schmid, Stefan Naujokat, Falk Howar, Daniel Neider |
| 2025 | CAV | LearnLib: 10 years later. | Markus Frohme, Falk Howar, Bernhard Steffen |
| 2025 | DATA | Facilitating Data Usage Control Through IPv6 Extension Headers. | Haydar Qarawlus, Malte Hellmeier, Falk Howar |
| 2025 | ICST | Extended Abstract of Poster: STARS: Tree-Based Classification and Testing of Feature Combinations in the Automated Robotic Domain. | Till Schallau, Dominik Schmid, Nick Pawlinorz, Stefan Naujokat, Falk Howar |
| 2025 | JELIA | Unsupervised Automata Learning via Discrete Optimization. | Simon Lutz, Daniil Kaminskyi, Florian Wittbold, Simon Dierl, Falk Howar, Barbara Knig, Emmanuel Mller, Daniel Neider |
| 2024 | EDCC | STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems. | Till Schallau, Dominik Mckel, Stefan Naujokat, Falk Howar |
| 2024 | SAFECOMP | Identifying Difficult Environmental Conditions with Scenario-Based Hazard and Fault Analysis. | Zhijing Zhu, Robin Philipp, Constanze Hungar, Falk Howar |
| 2024 | TACAS | Scalable Tree-based Register Automata Learning. | Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tquist |
| 2023 | DATA | Towards a Low-Code Tool for Developing Data Quality Rules. | Timon Sebastian Klann, Marcel Altendeitering, Falk Howar |
| 2023 | DATA | Structuring the End of the Data Life Cycle. | Daniel Tebernum, Falk Howar |
| 2023 | VECoS | Safe AI in Autonomous Vehicles - Track at AISoLA 2023. | Falk Howar, Hardi Hungar |
| 2022 | CAIN | Data sovereignty for AI pipelines: lessons learned from an industrial project at Mondragon corporation. | Marcel Altendeitering, Julia Pampus, Felix Larrinaga, Jon Legaristi, Falk Howar |
| 2022 | DATA | A Survey-Based Evaluation of the Data Engineering Maturity in Practice. | Daniel Tebernum, Marcel Altendeitering, Falk Howar |
| 2022 | ISoLA | Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. | Axel Hessenkmper, Falk Howar, Hardi Hungar, Andreas Rausch |
| 2022 | SEFM | SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. | Malte Mues, Falk Howar, Simon Dierl |
| 2022 | TACAS | GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution). | Falk Howar, Malte Mues |
| 2022 | TACAS | GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution). | Malte Mues, Falk Howar |
| 2022 | TAP | Reach on Register Automata via History Independence. | Simon Dierl, Falk Howar |
| 2021 | DATA | DERM: A Reference Model for Data Engineering. | Daniel Tebernum, Marcel Altendeitering, Falk Howar |
| 2021 | ISoLA | Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. | Falk Howar, Hardi Hungar, Andreas Rausch |
| 2021 | ISoLA | Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles. | Robin Philipp, Hedan Qian, Lukas Hartjen, Fabian Schuldt, Falk Howar |
| 2021 | ISoLA | Agile Business Engineering: From Transformation Towards ContinuousInnovation. | Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen |
| 2021 | TACAS | JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). | Malte Mues, Falk Howar |
| 2020 | DATA | A Framework for Creating Policy-agnostic Programming Languages. | Fabian Bruckner, Julia Pampus, Falk Howar |
| 2020 | DATA | A Policy-Agnostic Programming Language for the International Data Spaces. | Fabian Bruckner, Julia Pampus, Falk Howar |
| 2020 | IFM | Grey-Box Learning of Register Automata. | Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits |
| 2020 | IFM | Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. | Malte Mues, Till Schallau, Falk Howar |
| 2020 | TACAS | JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). | Malte Mues, Falk Howar |
| 2019 | TACAS | RERS 2019: Combining Synthesis with Real-World Models. | Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager |
| 2018 | FMICS | Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL. | Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool |
| 2018 | IFM | Study of Integrating Random and Symbolic Testing for Object-Oriented Software. | Marko Dimjasevic, Falk Howar, Kasper Se Luckow, Zvonimir Rakamaric |
| 2018 | ISoLA | Digital Transformation Trends: Industry 4.0, Automation, and AI - Industrial Track at ISoLA 2018. | Axel Hessenkmper, Falk Howar, Andreas Rausch |
| 2018 | ISoLA | Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. | Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas |
| 2018 | ISoLA | RERS 2018: CTL, LTL, and Reachability. | Marc Jasper, Malte Mues, Maximilian Schlter, Bernhard Steffen, Falk Howar |
| 2017 | FMICS | Learning-Based Testing the Sliding Window Behavior of TCP Implementations. | Paul Fiterau-Brostean, Falk Howar |
| 2016 | ISoLA | RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. | Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol |
| 2016 | ISoLA | Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016. | Falk Howar, Karl Meinke, Andreas Rausch |
| 2016 | ISoLA | Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring. | Malte Mauritz, Falk Howar, Andreas Rausch |
| 2016 | TACAS | JDart: A Dynamic Symbolic Analysis Framework. | Kasper Se Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman |
| 2015 | CAV | The Open-Source LearnLib - A Framework for Active Automata Learning. | Malte Isberner, Falk Howar, Bernhard Steffen |
| 2015 | FM | Verifying the Safety of a Flight-Critical System. | Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai |
| 2015 | MODELS | From Simulation to Operation: Using Design Time Artifacts to Ensure the Safety of Advanced Driving Assistance Systems at Runtime. | Malte Mauritz, Falk Howar, Andreas Rausch |
| 2015 | RV | LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. | Malte Isberner, Bernhard Steffen, Falk Howar |
| 2014 | ISoLA | Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. | Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager |
| 2014 | ISoLA | Tutorial: Automata Learning in Practice. | Falk Howar, Malte Isberner, Bernhard Steffen |
| 2014 | ISoLA | Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction. | Falk Howar, Bernhard Steffen |
| 2014 | RV | The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. | Malte Isberner, Falk Howar, Bernhard Steffen |
| 2014 | SEFM | Learning Extended Finite State Machines. | Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen |
| 2013 | ISSTA | Hybrid learning: interface generation through static, dynamic, and symbolic analysis. | Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric |
| 2012 | ATVA | A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. | Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen |
| 2012 | ECAI | Machine Learning for Emergent Middleware. | Amel Bennaceur, Valrie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Richard Johansson, Alessandro Moschitti |
| 2012 | ICSE | Automated continuous quality assurance. | Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmller, Maik Merten, Tiziana Margaria, Falk Howar |
| 2012 | ISoLA | LearnLib Tutorial: From Finite Automata to Register Interface Programs. | Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen |
| 2012 | ISoLA | The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. | Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer |
| 2012 | ISoLA | Inferring Semantic Interfaces of Data Structures. | Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson |
| 2012 | ISoLA | Automated Inference of Models for Black Box Systems Based on Interface Descriptions. | Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli |
| 2012 | ISoLA | Automated Learning Setups in Automata Learning. | Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria |
| 2012 | TACAS | Demonstrating Learning of Register Automata. | Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson |
| 2012 | VMCAI | Inferring Canonical Register Automata. | Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel |
| 2011 | ATVA | A Succinct Canonical Register Automaton Model. | Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen |
| 2011 | ISoLA | The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. | Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria |
| 2011 | ISoLA | Automata Learning with On-the-Fly Direct Hypothesis Construction. | Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria |
| 2011 | TACAS | Next Generation LearnLib. | Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria |
| 2011 | VMCAI | Automata Learning with Automated Alphabet Abstraction Refinement. | Falk Howar, Bernhard Steffen, Maik Merten |
| 2010 | ISoLA | Towards an Architecture for Runtime Interoperability. | Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valrie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville |
| 2010 | ISoLA | On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. | Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel |
| 2010 | ISoLA | From ZULU to RERS - Lessons Learned in the ZULU Challenge. | Falk Howar, Bernhard Steffen, Maik Merten |