export record
dblp key:
journals/sttt/HowarJMSS21 share record
persistent URL:
Falk Howar , Marc Jasper , Malte Mues , David Schmidt , Bernhard Steffen : The RERS challenge: towards controllable and scalable benchmark synthesis. Int. J. Softw. Tools Technol. Transf. 23 (6 ) : 917-930 (2021 )share record
persistent URL:
Simon Dierl , Falk Howar : A Taxonomy and Reductions for Common Register Automata Formalisms. Model Checking, Synthesis, and Learning 2021 : 186-218 share record
persistent URL:
Daniel Tebernum , Marcel Altendeitering , Falk Howar : DERM: A Reference Model for Data Engineering. DATA 2021 : 165-175 share record
persistent URL:
Fabian Bruckner , Falk Howar : Utilizing Remote Evaluation for Providing Data Sovereignty in Data-sharing Ecosystems. HICSS 2021 : 1-10 export record
dblp key:
conf/icse-seeng/DierlHMNS21 share record
persistent URL:
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 : 26-30 export record
dblp key:
conf/icsrs/PhilippZFHSH21 share record
persistent URL:
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 : 312-321 share record
persistent URL:
Falk Howar , Hardi Hungar , Andreas Rausch : Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. ISoLA 2021 : 71-76 share record
persistent URL:
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 : 129-145 share record
persistent URL:
Barbara Steffen , Falk Howar , Tim Tegeler , Bernhard Steffen : Agile Business Engineering: From Transformation Towards ContinuousInnovation. ISoLA 2021 : 77-94 share record
persistent URL:
Malte Mues , Falk Howar : Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. ASE 2021 : 179-190 share record
persistent URL:
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 : 77-78 share record
persistent URL:
Malte Mues , Falk Howar : JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). TACAS (2) 2021 : 448-452 export record
dblp key:
journals/corr/abs-2107-05894 share record
persistent URL:
Eric Fiege , Salima Houta , Pinar Bisgin , Rainer Surges , Falk Howar : Automatic Seizure Detection Using the Pulse Transit Time. CoRR abs/2107.05894 (2021 )2020 share record
persistent URL:
Malte Mues , Falk Howar : Teaching a Project-Based Course at a Safe Distance: An Experience Report. CSEE&T 2020 : 1-6 share record
persistent URL:
Fabian Bruckner , Julia Pampus , Falk Howar : A Framework for Creating Policy-agnostic Programming Languages. DATA 2020 : 31-42 share record
persistent URL:
Fabian Bruckner , Julia Pampus , Falk Howar : A Policy-Agnostic Programming Language for the International Data Spaces. DATA (Revised Selected Papers) 2020 : 172-194 share record
persistent URL:
Bharat Garhewal , Frits W. Vaandrager , Falk Howar , Timo Schrijvers , Toon Lenaerts , Rob Smits : Grey-Box Learning of Register Automata. IFM 2020 : 22-40 share record
persistent URL:
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 : 123-140 share record
persistent URL:
Malte Mues , Sebastian Gerard , Falk Howar : Identification of Spurious Labels in Machine Learning Data Sets using N-Version Validation. ITSC 2020 : 1-7 share record
persistent URL:
Malte Mues , Falk Howar : JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). TACAS (2) 2020 : 398-402 export record
dblp key:
journals/corr/abs-2009-09975 share record
persistent URL:
Bharat Garhewal , Frits W. Vaandrager , Falk Howar , Timo Schrijvers , Toon Lenaerts , Rob Smits : Grey-Box Learning of Register Automata. CoRR abs/2009.09975 (2020 )2019 export record
dblp key:
conf/tacas/JasperMMSHSSHSK19 share record
persistent URL:
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 : 101-115 share record
persistent URL:
Falk Howar , Bengt Jonsson , Frits W. Vaandrager : Combining Black-Box and White-Box Techniques for Learning Register Automata. Computing and Software Science 2019 : 563-588 2018 share record
persistent URL:
Falk Howar , Fadi Jabbour , Malte Mues : JConstraints: A Library for Working with Logic Expressions in Java. Models, Mindsets, Meta 2018 : 310-325 export record
dblp key:
conf/dagstuhl/CasselHJS16 share record
persistent URL:
Sofia Cassel , Falk Howar , Bengt Jonsson , Bernhard Steffen : Extending Automata Learning to Extended Finite State Machines. Machine Learning for Dynamic Software Analysis 2018 : 149-177 share record
persistent URL:
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 : 123-148 export record
dblp key:
conf/fmics/ToennemannRHC18 share record
persistent URL:
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 : 67-82 share record
persistent URL:
Marko Dimjasevic , Falk Howar , Kasper Søe Luckow , Zvonimir Rakamaric : Study of Integrating Random and Symbolic Testing for Object-Oriented Software. IFM 2018 : 89-109 export record
dblp key:
conf/isola/HessenkamperHR18 share record
persistent URL:
Axel Hessenkämper , Falk Howar , Andreas Rausch : Digital Transformation Trends: Industry 4.0, Automation, and AI - Industrial Track at ISoLA 2018. ISoLA (4) 2018 : 469-471 share record
persistent URL:
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 : 120-136