default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFalk Howar
Falk Maria Howar
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[e2]Marieke Huisman, Falk Howar:
Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings. Lecture Notes in Computer Science 15153, Springer 2025, ISBN 978-3-031-72043-7 [contents]- 2024
- [j11]Harun Teper, Daniel Kuhse, Mario Günzel, Georg von der Brüggen, Falk Howar, Jian-Jia Chen:
Thread Carefully: Preventing Starvation in the ROS 2 Multithreaded Executor. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 3588-3599 (2024) - [c98]Till Schallau
, Dominik Mäckel, Stefan Naujokat, Falk Howar:
STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems. EDCC Workshops 2024: 62-70 - [c97]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: 259-278 - [c96]Zhijing Zhu, Robin Philipp, Constanze Hungar, Falk Howar:
Identifying Difficult Environmental Conditions with Scenario-Based Hazard and Fault Analysis. SAFECOMP (Workshops) 2024: 134-147 - [c95]Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Scalable Tree-based Register Automata Learning. TACAS (2) 2024: 87-108 - [i7]Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Scalable Tree-based Register Automata Learning. CoRR abs/2401.14324 (2024) - [i6]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 abs/2402.10684 (2024) - 2023
- [c94]Malte Hellmeier, Julia Pampus, Haydar Qarawlus, Falk Howar:
Implementing Data Sovereignty: Requirements & Challenges from Practice. ARES 2023: 143:1-143:9 - [c93]Timon Sebastian Klann, Marcel Altendeitering, Falk Howar:
Towards a Low-Code Tool for Developing Data Quality Rules. DATA 2023: 22-29 - [c92]Daniel Tebernum, Falk Howar:
Structuring the End of the Data Life Cycle. DATA 2023: 207-218 - [c91]Natalia Ogorelysheva, Anna Vasileva, Jannik Stadtler, Moritz Roidl, Falk Howar:
Mitigating Emergency Stop Collisions in AGV Fleets in Case of Control Failure. IRC 2023: 314-322 - [c90]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: 1-8 - [c89]Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz:
Learning Symbolic Timed Models from Concrete Timed Data. NFM 2023: 104-121 - [c88]Falk Howar, Hardi Hungar:
Safe AI in Autonomous Vehicles - Track at AISoLA 2023. AISoLA 2023: 421-425 - [c87]Daniel Tebernum, Falk Howar:
Treating the End of the Data Life Cycle as a First-Class Citizen in Data Engineering. Wirtschaftsinformatik 2023: 8 - [i5]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 abs/2303.14111 (2023) - [i4]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 abs/2307.05106 (2023) - 2022
- [c86]Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing:
Neural Network Verification with DSE. OVERLAY@AI*IA 2022: 1-6 - [c85]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: 697-704 - [c84]Alexander Bainczyk, Bernhard Steffen, Falk Howar:
Lifelong Learning of Reactive Systems in Practice. The Logic of Software. A Tasting Menu of Formal Methods 2022: 38-53 - [c83]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: 321-338 - [c82]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: 193-204 - [c81]Daniel Tebernum, Marcel Altendeitering, Falk Howar:
A Survey-Based Evaluation of the Data Engineering Maturity in Practice. DATA (Revised Selected Papers) 2022: 1-23 - [c80]Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch:
Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. ISoLA (4) 2022: 337-339 - [c79]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: 798-805 - [c78]Malte Mues, Falk Howar:
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies. Software Engineering 2022: 75-76 - [c77]Malte Mues, Falk Howar, Simon Dierl:
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. SEFM 2022: 91-107 - [c76]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: 1-8 - [c75]Malte Mues, Falk Howar:
GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution). TACAS (2) 2022: 435-439 - [c74]Falk Howar, Malte Mues:
GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution). TACAS (2) 2022: 446-450 - [c73]Simon Dierl, Falk Howar:
Reach on Register Automata via History Independence. TAP@STAF 2022: 11-30 - 2021
- [j10]Falk Howar, Malte Mues:
Can We Trust Theorem Provers for Industrial AI? IEEE Softw. 38(6): 104-108 (2021) - [j9]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) - [c72]Simon Dierl, Falk Howar:
A Taxonomy and Reductions for Common Register Automata Formalisms. Model Checking, Synthesis, and Learning 2021: 186-218 - [c71]Daniel Tebernum, Marcel Altendeitering, Falk Howar:
DERM: A Reference Model for Data Engineering. DATA 2021: 165-175 - [c70]Fabian Bruckner, Falk Howar:
Utilizing Remote Evaluation for Providing Data Sovereignty in Data-sharing Ecosystems. HICSS 2021: 1-10 - [c69]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 - [c68]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 - [c67]Falk Howar, Hardi Hungar, Andreas Rausch:
Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. ISoLA 2021: 71-76 - [c66]Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen:
Agile Business Engineering: From Transformation Towards ContinuousInnovation. ISoLA 2021: 77-94 - [c65]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 - [c64]Malte Mues, Falk Howar:
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. ASE 2021: 179-190 - [c63]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 - [c62]Malte Mues, Falk Howar:
JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). TACAS (2) 2021: 448-452 - [i3]Eric Fiege, Salima Houta, Pinar Bisgin, Rainer Surges, Falk Howar:
Automatic Seizure Detection Using the Pulse Transit Time. CoRR abs/2107.05894 (2021) - 2020
- [c61]Malte Mues, Falk Howar:
Teaching a Project-Based Course at a Safe Distance: An Experience Report. CSEE&T 2020: 1-6 - [c60]Fabian Bruckner, Julia Pampus, Falk Howar:
A Framework for Creating Policy-agnostic Programming Languages. DATA 2020: 31-42 - [c59]Fabian Bruckner, Julia Pampus, Falk Howar:
A Policy-Agnostic Programming Language for the International Data Spaces. DATA (Revised Selected Papers) 2020: 172-194 - [c58]Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits:
Grey-Box Learning of Register Automata. IFM 2020: 22-40 - [c57]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 - [c56]Malte Mues, Sebastian Gerard, Falk Howar:
Identification of Spurious Labels in Machine Learning Data Sets using N-Version Validation. ITSC 2020: 1-7 - [c55]Malte Mues, Falk Howar:
JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). TACAS (2) 2020: 398-402 - [i2]Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits:
Grey-Box Learning of Register Automata. CoRR abs/2009.09975 (2020)
2010 – 2019
- 2019
- [c54]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 - [p1]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
- [c53]Falk Howar, Fadi Jabbour, Malte Mues:
JConstraints: A Library for Working with Logic Expressions in Java. Models, Mindsets, Meta 2018: 310-325 - [c52]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 - [c51]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 - [c50]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 - [c49]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 - [c48]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 - [c47]Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar:
RERS 2018: CTL, LTL, and Reachability. ISoLA (2) 2018: 433-447 - [c46]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 - [c45]Adina Aniculaesei, Falk Howar, Peer Denecke, Andreas Rausch:
Automated generation of requirements-based test cases for an adaptive cruise control system. VST@SANER 2018: 11-15 - [e1]Falk Howar, Jiri Barnat:
Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. Lecture Notes in Computer Science 11119, Springer 2018, ISBN 978-3-030-00243-5 [contents] - 2017
- [c44]Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar:
Model-Based Testing Without Models: The TodoMVC Case Study. ModelEd, TestEd, TrustEd 2017: 125-144 - [c43]Paul Fiterau-Brostean, Falk Howar:
Learning-Based Testing the Sliding Window Behavior of TCP Implementations. FMICS-AVoCS 2017: 185-200 - [c42]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: 11-20 - 2016
- [j8]Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen:
Active learning for extended finite state machines. Formal Aspects Comput. 28(2): 233-263 (2016) - [j7]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): 1-5 (2016) - [c41]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: 651-654 - [c40]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: 672-687 - [c39]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: 787-803 - [c38]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: 442-459 - [c37]Henrik Peters, Falk Howar, Andreas Rausch:
Towards Inferring Environment Models for Control Functions from Recorded Signal Data. VST@SANER 2016: 1-4 - [c36]Adina Aniculaesei, Daniel Arnsberger, Falk Howar, Andreas Rausch:
Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments. V2CPS@IFM 2016: 79-90 - 2015
- [j6]Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen:
A succinct canonical register automaton model. J. Log. Algebraic Methods Program. 84(1): 54-66 (2015) - [j5]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): 1-5 (2015) - [c35]Malte Isberner, Falk Howar, Bernhard Steffen:
The Open-Source LearnLib - A Framework for Active Automata Learning. CAV (1) 2015: 487-495 - [c34]Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai:
Verifying the Safety of a Flight-Critical System. FM 2015: 308-324 - [c33]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: 43-52 - [c32]Malte Isberner, Bernhard Steffen, Falk Howar:
LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. RV 2015: 358-377 - [i1]Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai:
Verifying the Safety of a Flight-Critical System. CoRR abs/1502.02605 (2015) - 2014
- [j4]Malte Isberner, Falk Howar, Bernhard Steffen:
Learning register automata: from languages to program structures. Mach. Learn. 96(1-2): 65-98 (2014) - [j3]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): 457-464 (2014) - [j2]Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria:
Tailored generation of concurrent benchmarks. Int. J. Softw. Tools Technol. Transf. 16(5): 543-558 (2014) - [c31]Falk Howar, Bernhard Steffen:
Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction. ISoLA (1) 2014: 199-201 - [c30]Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager:
Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. ISoLA (1) 2014: 202-219 - [c29]Falk Howar, Malte Isberner, Bernhard Steffen:
Tutorial: Automata Learning in Practice. ISoLA (1) 2014: 499-513 - [c28]Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman:
Taming test inputs for separation assurance. ASE 2014: 373-384 - [c27]Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux:
Testing-Based Compiler Validation for Synchronous Languages. NASA Formal Methods 2014: 246-251 - [c26]Malte Isberner, Falk Howar, Bernhard Steffen:
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. RV 2014: 307-322 - [c25]Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen:
Learning Extended Finite State Machines. SEFM 2014: 250-264 - 2013
- [j1]Falk Howar, Tiziana Margaria, Christian Wagner:
Simplifying Translation Validation via Model Extrapolation. J. Integr. Des. Process. Sci. 17(3): 71-91 (2013) - [c24]Stephan Windmüller, Johannes Neubauer, Bernhard Steffen, Falk Howar, Oliver Bauer:
Active continuous quality control. CBSE 2013: 111-120 - [c23]Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric:
Hybrid learning: interface generation through static, dynamic, and symbolic analysis. ISSTA 2013: 268-279 - [c22]Malte Isberner, Falk Howar, Bernhard Steffen:
Inferring Automata with State-Local Alphabet Abstractions. NASA Formal Methods 2013: 124-138 - 2012
- [b1]Falk Howar:
Active learning of interface programs. Dortmund University of Technology, 2012 - [c21]Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen:
A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. ATVA 2012: 57-71 - [c20]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: 16-29 - [c19]Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar:
Automated continuous quality assurance. FormSERA@ICSE 2012: 37-43 - [c18]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: 79-96 - [c17]Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson:
Inferring Semantic Interfaces of Data Structures. ISoLA (1) 2012: 554-571 - [c16]Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen:
LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLA (1) 2012: 587-590 - [c15]Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria:
Automated Learning Setups in Automata Learning. ISoLA (1) 2012: 591-607 - [c14]Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer:
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. ISoLA (1) 2012: 608-614 - [c13]Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson:
Demonstrating Learning of Register Automata. TACAS 2012: 466-471 - [c12]Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel:
Inferring Canonical Register Automata. VMCAI 2012: 251-266 - [c11]Bernhard Steffen, Falk Howar, Malte Isberner:
Active Automata Learning: From DFAs to Interface Programs and Beyond. ICGI 2012: 195-209 - 2011
- [c10]Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen:
A Succinct Canonical Register Automaton Model. ATVA 2011: 366-380 - [c9]Oliver Bauer, Johannes Neubauer, Bernhard Steffen, Falk Howar:
Reusing System States by Active Learning Algorithms. EternalS@FET 2011: 61-78 - [c8]Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria:
The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. ISoLA Workshops 2011: 232-247 - [c7]Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria:
Automata Learning with On-the-Fly Direct Hypothesis Construction. ISoLA Workshops 2011: 248-260 - [c6]Bernhard Steffen, Falk Howar, Maik Merten:
Introduction to Active Automata Learning from a Practical Perspective. SFM 2011: 256-296 - [c5]Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria:
Next Generation LearnLib. TACAS 2011: 220-223 - [c4]Falk Howar, Bernhard Steffen, Maik Merten:
Automata Learning with Automated Alphabet Abstraction Refinement. VMCAI 2011: 263-277 - 2010
- [c3]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:
Towards an Architecture for Runtime Interoperability. ISoLA (2) 2010: 206-220 - [c2]Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel:
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. ISoLA (2) 2010: 221-235 - [c1]Falk Howar, Bernhard Steffen, Maik Merten:
From ZULU to RERS - Lessons Learned in the ZULU Challenge. ISoLA (1) 2010: 687-704
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-22 20:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
