Falk Howar

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 78

Top Venues

Dortmund University of Technology (PHD)

Education History

Dortmund University of Technology

PHD

Publications

Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar
Tree-Based Scenario Classification - A Formal Framework for Measuring Domain Coverage When Testing Autonomous Systems. NFM (2024)
Till Schallau, Dominik Mäckel, Stefan Naujokat, Falk Howar
STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems. EDCC Workshops (2024)
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
Scalable Tree-based Register Automata Learning. CoRR (2024)
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
Scalable Tree-based Register Automata Learning. TACAS (2) (2024)
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
Language-Driven Engineering An Interdisciplinary Software Development Paradigm. CoRR (2024)
Malte Hellmeier, Julia Pampus, Haydar Qarawlus, Falk Howar
Implementing Data Sovereignty: Requirements & Challenges from Practice. ARES (2023)
Zhijing Zhu, Robin Philipp, Yongqi Zhao, Constanze Hungar, Jürgen Pannek, Falk Howar
Automatic Disengagement Scenario Reconstruction Based on Urban Test Drives of Automated Vehicles. IV (2023)
Timon Sebastian Klann, Marcel Altendeitering, Falk Howar
Towards a Low-Code Tool for Developing Data Quality Rules. DATA (2023)
Falk Howar, Hardi Hungar
Safe AI in Autonomous Vehicles - Track at AISoLA 2023. AISoLA (2023)
Daniel Tebernum, Falk Howar
Treating the End of the Data Life Cycle as a First-Class Citizen in Data Engineering. Wirtschaftsinformatik (2023)
Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
Interpretable Anomaly Detection via Discrete Optimization. CoRR (2023)
Daniel Tebernum, Falk Howar
Structuring the End of the Data Life Cycle. DATA (2023)
Natalia Ogorelysheva, Anna Vasileva, Jannik Stadtler, Moritz Roidl, Falk Howar
Mitigating Emergency Stop Collisions in AGV Fleets in Case of Control Failure. IRC (2023)
Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar
Tree-Based Scenario Classification: A Formal Framework for Coverage Analysis on Test Drives of Autonomous Vehicles. CoRR (2023)
Daniel Tebernum, Marcel Altendeitering, Falk Howar
A Survey-Based Evaluation of the Data Engineering Maturity in Practice. DATA (Revised Selected Papers) (2022)
Salima Houta, Tim Wilking, Marcel Klötgen, Falk Howar
Migration of Telemedicine Applications to National Telematics Infrastructure using Epilepsy Treatment as an Example. HEALTHINF (2022)
Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing
Neural Network Verification with DSE. OVERLAY@AI*IA (2022)
Malte Mues, Falk Howar
GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution). TACAS (2) (2022)
Alexander Bainczyk, Bernhard Steffen, Falk Howar
Lifelong Learning of Reactive Systems in Practice. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Robin Philipp, Jana Rehbein, Felix Grün, Lukas Hartjen, Zhijing Zhu, Fabian Schuldt, Falk Howar
Systematization of Relevant Road Users for the Evaluation of Autonomous Vehicle Perception. SysCon (2022)
Malte Mues, Falk Howar
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies. Software Engineering (2022)
Malte Mues, Falk Howar, Simon Dierl
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. SEFM (2022)
Simon Dierl, Falk Howar
Reach on Register Automata via History Independence. TAP@STAF (2022)
Zhijing Zhu, Robin Philipp, Constanze Hungar, Falk Howar
Systematization and Identification of Triggering Conditions: A Preliminary Step for Efficient Testing of Autonomous Vehicles. IV (2022)
Falk Howar, Malte Mues
GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution). TACAS (2) (2022)
Marcel Altendeitering, Julia Pampus, Felix Larrinaga, Jon Legaristi, Falk Howar
Data sovereignty for AI pipelines: lessons learned from an industrial project at Mondragon corporation. CAIN (2022)
Falk Howar, Bernhard Steffen
Active Automata Learning as Black-Box Search and Lazy Partition Refinement. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch
Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. ISoLA (4) (2022)
Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen
Agile Business Engineering: From Transformation Towards ContinuousInnovation. ISoLA (2021)
Robin Philipp, Hedan Qian, Lukas Hartjen, Fabian Schuldt, Falk Howar
Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles. ISoLA (2021)
Robin Philipp, Zhijing Zhu, Julian Fuchs, Lukas Hartjen, Fabian Schuldt, Falk Howar
Automated 3D Object Reference Generation for the Evaluation of Autonomous Vehicle Perception. ICSRS (2021)
Daniel Tebernum, Marcel Altendeitering, Falk Howar
DERM: A Reference Model for Data Engineering. DATA (2021)
Falk Howar, Hardi Hungar, Andreas Rausch
Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. ISoLA (2021)
Malte Mues, Falk Howar
JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). TACAS (2) (2021)
Fabian Bruckner, Falk Howar
Utilizing Remote Evaluation for Providing Data Sovereignty in Data-sharing Ecosystems. HICSS (2021)
Malte Mues, Till Schallau, Falk Howar
Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs. Software Engineering (2021)
Falk Howar, Malte Mues, Tim Menzies
Can We Trust Theorem Provers for Industrial AI? IEEE Softw. 38 (6) (2021)
Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau
Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education. SEENG@ICSE (2021)
Simon Dierl, Falk Howar
A Taxonomy and Reductions for Common Register Automata Formalisms. Model Checking, Synthesis, and Learning (2021)
Falk Howar, Marc Jasper, Malte Mues, David A. Schmidt, Bernhard Steffen
The RERS challenge: towards controllable and scalable benchmark synthesis. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Eric Fiege, Salima Houta, Pinar Bisgin, Rainer Surges, Falk Howar
Automatic Seizure Detection Using the Pulse Transit Time. CoRR (2021)
Malte Mues, Falk Howar
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. ASE (2021)
Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits
Grey-Box Learning of Register Automata. IFM (2020)
Fabian Bruckner, Julia Pampus, Falk Howar
A Policy-Agnostic Programming Language for the International Data Spaces. DATA (Revised Selected Papers) (2020)
Malte Mues, Sebastian Gerard, Falk Howar
Identification of Spurious Labels in Machine Learning Data Sets using N-Version Validation. ITSC (2020)
Malte Mues, Falk Howar
JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). TACAS (2) (2020)
Malte Mues, Till Schallau, Falk Howar
Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. IFM (2020)
Fabian Bruckner, Julia Pampus, Falk Howar
A Framework for Creating Policy-agnostic Programming Languages. DATA (2020)
Malte Mues, Falk Howar
Teaching a Project-Based Course at a Safe Distance: An Experience Report. CSEE&T (2020)
Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits
Grey-Box Learning of Register Automata. CoRR (2020)
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
RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) (2019)
Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas
Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. ISoLA (2) (2018)
Adina Aniculaesei, Falk Howar, Peer Denecke, Andreas Rausch
Automated generation of requirements-based test cases for an adaptive cruise control system. VST@SANER (2018)
Falk Howar, Fadi Jabbour, Malte Mues
JConstraints: A Library for Working with Logic Expressions in Java. Models, Mindsets, Meta (2018)
Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool
Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL. FMICS (2018)
Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar
RERS 2018: CTL, LTL, and Reachability. ISoLA (2) (2018)
Falk Howar, Bernhard Steffen
Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016. Machine Learning for Dynamic Software Analysis (2018)
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
Extending Automata Learning to Extended Finite State Machines. Machine Learning for Dynamic Software Analysis (2018)
Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric
Study of Integrating Random and Symbolic Testing for Object-Oriented Software. IFM (2018)
Axel Hessenkämper, Falk Howar, Andreas Rausch
Digital Transformation Trends: Industry 4.0, Automation, and AI - Industrial Track at ISoLA 2018. ISoLA (4) (2018)
Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar
Model-Based Testing Without Models: The TodoMVC Case Study. ModelEd, TestEd, TrustEd (2017)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel
The RERS 2017 challenge and workshop (invited paper). SPIN (2017)
Paul Fiterau-Brostean, Falk Howar
Learning-Based Testing the Sliding Window Behavior of TCP Implementations. FMICS-AVoCS (2017)
Malte Mues, Falk Howar, Kasper Søe Luckow, Temesghen Kahsai, Zvonimir Rakamaric
Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Henrik Peters, Falk Howar, Andreas Rausch
Towards Inferring Environment Models for Control Functions from Recorded Signal Data. VST@SANER (2016)
Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. ISoLA (2) (2016)
Malte Mauritz, Falk Howar, Andreas Rausch
Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring. ISoLA (2) (2016)
Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman
JDart: A Dynamic Symbolic Analysis Framework. TACAS (2016)
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
Active learning for extended finite state machines. Formal Aspects Comput. 28 (2) (2016)
Adina Aniculaesei, Daniel Arnsberger, Falk Howar, Andreas Rausch
Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments. V2CPS@IFM (2016)
Falk Howar, Karl Meinke, Andreas Rausch
Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016. ISoLA (2) (2016)
Malte Isberner, Bernhard Steffen, Falk Howar
LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. RV (2015)
Malte Mauritz, Falk Howar, Andreas Rausch
From Simulation to Operation: Using Design Time Artifacts to Ensure the Safety of Advanced Driving Assistance Systems at Runtime. MASE@MoDELS (2015)
Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
Verifying the Safety of a Flight-Critical System. CoRR (2015)
Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
Verifying the Safety of a Flight-Critical System. FM (2015)
Malte Isberner, Falk Howar, Bernhard Steffen
The Open-Source LearnLib - A Framework for Active Automata Learning. CAV (1) (2015)
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
A succinct canonical register automaton model. J. Log. Algebraic Methods Program. 84 (1) (2015)
Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman
The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
Learning Extended Finite State Machines. SEFM (2014)
Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux
Testing-Based Compiler Validation for Synchronous Languages. NASA Formal Methods (2014)
Falk Howar, Bernhard Steffen
Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction. ISoLA (1) (2014)
Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria
Tailored generation of concurrent benchmarks. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Malte Isberner, Falk Howar, Bernhard Steffen
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. RV (2014)
Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman
Taming test inputs for separation assurance. ASE (2014)
Malte Isberner, Falk Howar, Bernhard Steffen
Learning register automata: from languages to program structures. Mach. Learn. 96 (1-2) (2014)
Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager
Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. ISoLA (1) (2014)
Falk Howar, Malte Isberner, Bernhard Steffen
Tutorial: Automata Learning in Practice. ISoLA (1) (2014)
Stephan Windmüller, Johannes Neubauer, Bernhard Steffen, Falk Howar, Oliver Bauer
Active continuous quality control. CBSE (2013)
Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric
Hybrid learning: interface generation through static, dynamic, and symbolic analysis. ISSTA (2013)
Malte Isberner, Falk Howar, Bernhard Steffen
Inferring Automata with State-Local Alphabet Abstractions. NASA Formal Methods (2013)
Falk Howar, Tiziana Margaria, Christian Wagner
Simplifying Translation Validation via Model Extrapolation. J. Integr. Des. Process. Sci. 17 (3) (2013)
Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson
Inferring Semantic Interfaces of Data Structures. ISoLA (1) (2012)
Amel Bennaceur, Valérie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Richard Johansson, Alessandro Moschitti
Machine Learning for Emergent Middleware. EternalS@ECAI (2012)
Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria
Automated Learning Setups in Automata Learning. ISoLA (1) (2012)
Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel
Inferring Canonical Register Automata. VMCAI (2012)
Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen
A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. ATVA (2012)
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen
LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLA (1) (2012)
Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli
Automated Inference of Models for Black Box Systems Based on Interface Descriptions. ISoLA (1) (2012)
Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar
Automated continuous quality assurance. FormSERA@ICSE (2012)

Falk Howar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Falk Howar