Falk Howar - RankMe

131 papers A* 2A 4B 14C 15Journal 23Unranked 70

Year	Rank	Type	Title / Venue / Authors
2026	—	`ch.`	Let's Talk AI with Computer Science Expert Falk Howar. Let's Talk AI Falk Howar, Barbara Steffen
2025	J	`jnl`	ARRC: Explainable, Workflow-Integrated Recommender for Sustainable Resource Optimization Across the Edge-Cloud Continuum. CoRR Brian-Frederik Jahnke, René Brinkhege, Jan Peter Meyer, Daniel Tebernum, Falk Howar
2025	—	`conf`	Bounds for Quantum Circuits using Logic-Based Analysis. Software Engineering Companion Benedikt Fauseweh, Ben Hermann, Falk Howar
2025	—	`conf`	Extended Abstract of Poster: STARS: Tree-Based Classification and Testing of Feature Combinations in the Automated Robotic Domain. ICSTW Till Schallau, Dominik Schmid, Nick Pawlinorz, Stefan Naujokat, Falk Howar
2025	C	`conf`	Facilitating Data Usage Control Through IPv6 Extension Headers. DATA Haydar Qarawlus, Malte Hellmeier, Falk Howar
2025	J	`jnl`	GMB-ECC: Guided Measuring and Benchmarking of the Edge Cloud Continuum. CoRR Brian-Frederik Jahnke, Rebecca Schmook, Falk Howar
2025	J	`jnl`	Innamark: A Whitespace Replacement Information-Hiding Method. IEEE Access Malte Hellmeier, Hendrik Norkowski, Ernst-Christoph Schrewe, Haydar Qarawlus, Falk Howar
2025	—	`conf`	LearnLib: 10 years later. CAV (4) Markus Frohme, Falk Howar, Bernhard Steffen
2025	J	`jnl`	TREND: A Whitespace Replacement Information Hiding Method. CoRR Malte Hellmeier, Hendrik Norkowski, Ernst-Christoph Schrewe, Haydar Qarawlus, Falk Howar
2025	C	`ed.`	Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings TAP Marieke Huisman, Falk Howar
2025	—	`conf`	Unsupervised Automata Learning via Discrete Optimization. JELIA (1) Simon Lutz, Daniil Kaminskyi, Florian Wittbold, Simon Dierl, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
2024	J	`jnl`	Bounds for Quantum Circuits using Logic-Based Analysis. CoRR Benedikt Fauseweh, Ben Hermann, Falk Howar
2024	—	`conf`	Identifying Difficult Environmental Conditions with Scenario-Based Hazard and Fault Analysis. SAFECOMP (Workshops) Zhijing Zhu, Robin Philipp, Constanze Hungar, Falk Howar
2024	J	`jnl`	Language-Driven Engineering An Interdisciplinary Software Development Paradigm. CoRR Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff
2024	—	`conf`	Malwa: Learnability by Design. Principles of Verification (3) Marco Krumrey, Alexander Bainczyk, Falk Howar, Bernhard Steffen
2024	—	`conf`	STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems. EDCC Workshops Till Schallau, Dominik Mäckel, Stefan Naujokat, Falk Howar
2024	—	`conf`	Scalable Tree-based Register Automata Learning. TACAS (2) Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2024	J	`jnl`	Scalable Tree-based Register Automata Learning. CoRR Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2024	J	`jnl`	Thread Carefully: Preventing Starvation in the ROS 2 Multithreaded Executor. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Harun Teper, Daniel Kuhse, Mario Günzel, Georg von der Brüggen, Falk Howar, Jian-Jia Chen
2024	—	`conf`	Tree-Based Scenario Classification - A Formal Framework for Measuring Domain Coverage When Testing Autonomous Systems. NFM Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar
2023	C	`conf`	Automatic Disengagement Scenario Reconstruction Based on Urban Test Drives of Automated Vehicles. IV Zhijing Zhu, Robin Philipp, Yongqi Zhao, Constanze Hungar, Jürgen Pannek, Falk Howar
2023	B	`conf`	Implementing Data Sovereignty: Requirements & Challenges from Practice. ARES Malte Hellmeier, Julia Pampus, Haydar Qarawlus, Falk Howar
2023	J	`jnl`	Interpretable Anomaly Detection via Discrete Optimization. CoRR Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
2023	—	`conf`	Mitigating Emergency Stop Collisions in AGV Fleets in Case of Control Failure. IRC Natalia Ogorelysheva, Anna Vasileva, Jannik Stadtler, Moritz Roidl, Falk Howar
2023	—	`conf`	Safe AI in Autonomous Vehicles - Track at AISoLA 2023. AISoLA Falk Howar, Hardi Hungar
2023	C	`conf`	Structuring the End of the Data Life Cycle. DATA Daniel Tebernum, Falk Howar
2023	C	`conf`	Towards a Low-Code Tool for Developing Data Quality Rules. DATA Timon Sebastian Klann, Marcel Altendeitering, Falk Howar
2023	—	`conf`	Treating the End of the Data Life Cycle as a First-Class Citizen in Data Engineering. Wirtschaftsinformatik Daniel Tebernum, Falk Howar
2023	J	`jnl`	Tree-Based Scenario Classification: A Formal Framework for Coverage Analysis on Test Drives of Autonomous Vehicles. CoRR Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar
2022	—	`conf`	A Survey-Based Evaluation of the Data Engineering Maturity in Practice. DATA (Revised Selected Papers) Daniel Tebernum, Marcel Altendeitering, Falk Howar
2022	—	`conf`	Active Automata Learning as Black-Box Search and Lazy Partition Refinement. A Journey from Process Algebra via Timed Automata to Model Learning Falk Howar, Bernhard Steffen
2022	B	`conf`	Data sovereignty for AI pipelines: lessons learned from an industrial project at Mondragon corporation. CAIN Marcel Altendeitering, Julia Pampus, Felix Larrinaga, Jon Legaristi, Falk Howar
2022	C	`conf`	Data-Driven Design and Evaluation of SMT Meta-Solving Strategies. Software Engineering Malte Mues, Falk Howar
2022	—	`conf`	Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. ISoLA (4) Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch
2022	—	`conf`	GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution). TACAS (2) Malte Mues, Falk Howar
2022	—	`conf`	GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution). TACAS (2) Falk Howar, Malte Mues
2022	—	`conf`	Lifelong Learning of Reactive Systems in Practice. The Logic of Software. A Tasting Menu of Formal Methods Alexander Bainczyk, Bernhard Steffen, Falk Howar
2022	—	`conf`	Migration of Telemedicine Applications to National Telematics Infrastructure using Epilepsy Treatment as an Example. HEALTHINF Salima Houta, Tim Wilking, Marcel Klötgen, Falk Howar
2022	—	`conf`	Neural Network Verification with DSE. OVERLAY@AI*IA Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing
2022	—	`conf`	Reach on Register Automata via History Independence. TAP@STAF Simon Dierl, Falk Howar
2022	B	`conf`	SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. SEFM Malte Mues, Falk Howar, Simon Dierl
2022	C	`conf`	Systematization and Identification of Triggering Conditions: A Preliminary Step for Efficient Testing of Autonomous Vehicles. IV Zhijing Zhu, Robin Philipp, Constanze Hungar, Falk Howar
2022	—	`conf`	Systematization of Relevant Road Users for the Evaluation of Autonomous Vehicle Perception. SysCon Robin Philipp, Jana Rehbein, Felix Grün, Lukas Hartjen, Zhijing Zhu, Fabian Schuldt, Falk Howar
2021	—	`conf`	A Taxonomy and Reductions for Common Register Automata Formalisms. Model Checking, Synthesis, and Learning Simon Dierl, Falk Howar
2021	C	`conf`	Agile Business Engineering: From Transformation Towards ContinuousInnovation. ISoLA Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen
2021	—	`conf`	Automated 3D Object Reference Generation for the Evaluation of Autonomous Vehicle Perception. ICSRS Robin Philipp, Zhijing Zhu, Julian Fuchs, Lukas Hartjen, Fabian Schuldt, Falk Howar
2021	J	`jnl`	Automatic Seizure Detection Using the Pulse Transit Time. CoRR Eric Fiege, Salima Houta, Pinar Bisgin, Rainer Surges, Falk Howar
2021	J	`jnl`	Can We Trust Theorem Provers for Industrial AI? IEEE Softw. Falk Howar, Malte Mues
2021	C	`conf`	DERM: A Reference Model for Data Engineering. DATA Daniel Tebernum, Marcel Altendeitering, Falk Howar
2021	A*	`conf`	Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. ASE Malte Mues, Falk Howar
2021	—	`conf`	Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education. SEENG@ICSE Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau
2021	C	`conf`	Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. ISoLA Falk Howar, Hardi Hungar, Andreas Rausch
2021	—	`conf`	JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). TACAS (2) Malte Mues, Falk Howar
2021	C	`conf`	Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs. Software Engineering Malte Mues, Till Schallau, Falk Howar
2021	C	`conf`	Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles. ISoLA Robin Philipp, Hedan Qian, Lukas Hartjen, Fabian Schuldt, Falk Howar
2021	J	`jnl`	The RERS challenge: towards controllable and scalable benchmark synthesis. Int. J. Softw. Tools Technol. Transf. Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen
2021	—	`conf`	Utilizing Remote Evaluation for Providing Data Sovereignty in Data-sharing Ecosystems. HICSS Fabian Bruckner, Falk Howar
2020	C	`conf`	A Framework for Creating Policy-agnostic Programming Languages. DATA Fabian Bruckner, Julia Pampus, Falk Howar
2020	—	`conf`	A Policy-Agnostic Programming Language for the International Data Spaces. DATA (Revised Selected Papers) Fabian Bruckner, Julia Pampus, Falk Howar
2020	B	`conf`	Grey-Box Learning of Register Automata. IFM Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits
2020	J	`jnl`	Grey-Box Learning of Register Automata. CoRR Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits
2020	—	`conf`	Identification of Spurious Labels in Machine Learning Data Sets using N-Version Validation. ITSC Malte Mues, Sebastian Gerard, Falk Howar
2020	—	`conf`	JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). TACAS (2) Malte Mues, Falk Howar
2020	B	`conf`	Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. IFM Malte Mues, Till Schallau, Falk Howar
2020	—	`conf`	Teaching a Project-Based Course at a Safe Distance: An Experience Report. CSEE&T Malte Mues, Falk Howar
2019	—	`ch.`	Combining Black-Box and White-Box Techniques for Learning Register Automata. Computing and Software Science Falk Howar, Bengt Jonsson, Frits W. Vaandrager
2019	—	`conf`	RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager
2018	—	`conf`	Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016. Machine Learning for Dynamic Software Analysis Falk Howar, Bernhard Steffen
2018	—	`conf`	Automated generation of requirements-based test cases for an adaptive cruise control system. VST@SANER Adina Aniculaesei, Falk Howar, Peer Denecke, Andreas Rausch
2018	C	`conf`	Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL. FMICS Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool
2018	—	`conf`	Digital Transformation Trends: Industry 4.0, Automation, and AI - Industrial Track at ISoLA 2018. ISoLA (4) Axel Hessenkämper, Falk Howar, Andreas Rausch
2018	—	`conf`	Extending Automata Learning to Extended Finite State Machines. Machine Learning for Dynamic Software Analysis Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
2018	C	`ed.`	Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings FMICS Falk Howar, Jiri Barnat
2018	—	`conf`	Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. ISoLA (2) Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas
2018	—	`conf`	JConstraints: A Library for Working with Logic Expressions in Java. Models, Mindsets, Meta Falk Howar, Fadi Jabbour, Malte Mues
2018	—	`conf`	RERS 2018: CTL, LTL, and Reachability. ISoLA (2) Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar
2018	B	`conf`	Study of Integrating Random and Symbolic Testing for Object-Oriented Software. IFM Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric
2017	—	`conf`	Learning-Based Testing the Sliding Window Behavior of TCP Implementations. FMICS-AVoCS Paul Fiterau-Brostean, Falk Howar
2017	—	`conf`	Model-Based Testing Without Models: The TodoMVC Case Study. ModelEd, TestEd, TrustEd Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar
2017	—	`conf`	The RERS 2017 challenge and workshop (invited paper). SPIN Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel
2016	J	`jnl`	Active learning for extended finite state machines. Formal Aspects Comput. Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
2016	—	`conf`	Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring. ISoLA (2) Malte Mauritz, Falk Howar, Andreas Rausch
2016	A	`conf`	JDart: A Dynamic Symbolic Analysis Framework. TACAS Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman
2016	—	`conf`	Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016. ISoLA (2) Falk Howar, Karl Meinke, Andreas Rausch
2016	—	`conf`	RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. ISoLA (2) Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol
2016	J	`jnl`	Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java. ACM SIGSOFT Softw. Eng. Notes Malte Mues, Falk Howar, Kasper Søe Luckow, Temesghen Kahsai, Zvonimir Rakamaric
2016	—	`conf`	Towards Inferring Environment Models for Control Functions from Recorded Signal Data. VST@SANER Henrik Peters, Falk Howar, Andreas Rausch
2016	—	`conf`	Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments. V2CPS@IFM Adina Aniculaesei, Daniel Arnsberger, Falk Howar, Andreas Rausch
2015	J	`jnl`	A succinct canonical register automaton model. J. Log. Algebraic Methods Program. Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
2015	—	`conf`	From Simulation to Operation: Using Design Time Artifacts to Ensure the Safety of Advanced Driving Assistance Systems at Runtime. MASE@MoDELS Malte Mauritz, Falk Howar, Andreas Rausch
2015	B	`conf`	LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. RV Malte Isberner, Bernhard Steffen, Falk Howar
2015	J	`jnl`	The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. ACM SIGSOFT Softw. Eng. Notes Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman
2015	—	`conf`	The Open-Source LearnLib - A Framework for Active Automata Learning. CAV (1) Malte Isberner, Falk Howar, Bernhard Steffen
2015	B	`conf`	Verifying the Safety of a Flight-Critical System. FM Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
2015	J	`jnl`	Verifying the Safety of a Flight-Critical System. CoRR Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
2014	—	`conf`	Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. ISoLA (1) Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager
2014	B	`conf`	Learning Extended Finite State Machines. SEFM Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
2014	—	`conf`	Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction. ISoLA (1) Falk Howar, Bernhard Steffen
2014	J	`jnl`	Learning register automata: from languages to program structures. Mach. Learn. Malte Isberner, Falk Howar, Bernhard Steffen
2014	J	`jnl`	Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. Int. J. Softw. Tools Technol. Transf. Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu
2014	J	`jnl`	Tailored generation of concurrent benchmarks. Int. J. Softw. Tools Technol. Transf. Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria
2014	A*	`conf`	Taming test inputs for separation assurance. ASE Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman
2014	—	`conf`	Testing-Based Compiler Validation for Synchronous Languages. NASA Formal Methods Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux
2014	B	`conf`	The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. RV Malte Isberner, Falk Howar, Bernhard Steffen
2014	—	`conf`	Tutorial: Automata Learning in Practice. ISoLA (1) Falk Howar, Malte Isberner, Bernhard Steffen
2013	—	`conf`	Active continuous quality control. CBSE Stephan Windmüller, Johannes Neubauer, Bernhard Steffen, Falk Howar, Oliver Bauer
2013	A	`conf`	Hybrid learning: interface generation through static, dynamic, and symbolic analysis. ISSTA Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric
2013	—	`conf`	Inferring Automata with State-Local Alphabet Abstractions. NASA Formal Methods Malte Isberner, Falk Howar, Bernhard Steffen
2013	J	`jnl`	Simplifying Translation Validation via Model Extrapolation. J. Integr. Des. Process. Sci. Falk Howar, Tiziana Margaria, Christian Wagner
2012	B	`conf`	A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. ATVA Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen
2012	—	`conf`	Active Automata Learning: From DFAs to Interface Programs and Beyond. ICGI Bernhard Steffen, Falk Howar, Malte Isberner
2012	—	`—`	Active learning of interface programs. Falk Howar
2012	—	`conf`	Automated Inference of Models for Black Box Systems Based on Interface Descriptions. ISoLA (1) Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli
2012	—	`conf`	Automated Learning Setups in Automata Learning. ISoLA (1) Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria
2012	—	`conf`	Automated continuous quality assurance. FormSERA@ICSE Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar
2012	A	`conf`	Demonstrating Learning of Register Automata. TACAS Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson
2012	B	`conf`	Inferring Canonical Register Automata. VMCAI Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel
2012	—	`conf`	Inferring Semantic Interfaces of Data Structures. ISoLA (1) Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson
2012	—	`conf`	LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLA (1) Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen
2012	—	`conf`	Machine Learning for Emergent Middleware. EternalS@ECAI Amel Bennaceur, Valérie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Richard Johansson, Alessandro Moschitti
2012	—	`conf`	The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. ISoLA (1) Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer
2011	B	`conf`	A Succinct Canonical Register Automaton Model. ATVA Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
2011	B	`conf`	Automata Learning with Automated Alphabet Abstraction Refinement. VMCAI Falk Howar, Bernhard Steffen, Maik Merten
2011	—	`conf`	Automata Learning with On-the-Fly Direct Hypothesis Construction. ISoLA Workshops Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria
2011	—	`conf`	Introduction to Active Automata Learning from a Practical Perspective. SFM Bernhard Steffen, Falk Howar, Maik Merten
2011	A	`conf`	Next Generation LearnLib. TACAS Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria
2011	—	`conf`	Reusing System States by Active Learning Algorithms. EternalS@FET Oliver Bauer, Johannes Neubauer, Bernhard Steffen, Falk Howar
2011	—	`conf`	The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. ISoLA Workshops Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria
2010	—	`conf`	From ZULU to RERS - Lessons Learned in the ZULU Challenge. ISoLA (1) Falk Howar, Bernhard Steffen, Maik Merten
2010	—	`conf`	On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. ISoLA (2) Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel
2010	—	`conf`	Towards an Architecture for Runtime Interoperability. ISoLA (2) Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valérie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville