Tree-Based Scenario Classification
Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar
In: NASA Formal Methods (NFM 2024)
DOI: https://doi.org/10.1007/978-3-031-60698-4_15
Preprint

STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems
Till Schallau, Dominik Mäckel, Stefan Naujokat, Falk Howar
In: Dependable Computing – EDCC 2024 Workshops (EDCC 2024)
DOI: https://doi.org/10.1007/978-3-031-56776-6_6
Preprint

Scalable Tree-based Register Automata Learning
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
In:  Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024)
DOI: https://doi.org/10.1007/978-3-031-57249-4_5
Preprint

AI-supported, automatic document checking for digital submission and processing of building applications in Germany
Alexandra Nestorowicz, Julian Graefenstein, Jan Winkels, Lisa Lenz
In: Digital Building Permit conference (BP 2024)
URL: https://eu4dbp.net/wp-content/uploads/2024/04/Book-of-Abstracts.pdf

Strukturvarianz in wandlungsfähigen Produktions- und Logistiksystemen
Robin Sutherland, Felix Özkul, Liane Grusie, Sigrid Wenzel, Jan Winkels, Jannik Löhn, Jakob Rehof
In: Zeitschrift für wirtschaftlichen Fabrikbetrieb (2024)
DOI: https://doi.org/10.1515/zwf-2024-1030

The integration of multi-color taint-analysis with dynamic symbolic execution for java web application security analysis
Malte Mues
In: Softwaretechnik-Trends
URL: https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band_44_Heft_2/Denert2023_8_Mues.pdf Ernst_dennert_preis_mues.pdf
Preprint

Validating Behavioral Requirements, Conditions, and Rules of Autonomous Systems with Scenario-Based Testing
Till Schallau, Stefan Naujokat
In: Electronic Communications of the EASST  (ECEASST 2023)
DOI: https://doi.org/10.14279/tuj.eceasst.82.1222
Preprint

Continuous Integration of Neural Networks in Autonomous Systems
Bruno Steffen, Jonas Zohren, Utku Pazarci, Fiona Kullmann, Hendrik Weißenfels
In: Engineering of Computer-Based Systems (ECBS 2023)
DOI: https://doi.org/10.1007/978-3-031-49252-5_21
Preprint

Konfiguration Und Parameteroptimierung Eines Evolutionären Algorithmus Für Die Maschinenbelegungsplanung Mittels Kombinatorischer Logik
Dominik Mäckel
DOI: https://doi.org/10.17877/DE290R-24276
Preprint

Comparison of Priority Rules, Machine Allocation, and Stage Allocation Strategies for Hybrid Flow Shop Instances Using Combinatorial Logic
Dominik Mäckel, Benedikt Kordus, Christin Schumacher
In: Technical Programm of the International Conference on Operations Research (GOR 2023)
URL: https://fiona.uni-hamburg.de/27c1a194/program-gor2023.pdf
Preprint

Learning Symbolic Timed Models from Concrete Timed Data
Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz
In: NASA Formal Methods (NFM 2023)
DOI: https://doi.org/0.1007/978-3-031-33170-1_7
Preprint

The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis.
Malte Mues
Doctoral dissertation
DOI: https://doi.org/10.17877/DE290R-23694

Implementing Data Sovereignty: Requirements & Challenges from Practice
Malte Hellmeier, Julia Pampus, Haydar Qarawlus, Falk Howar
In: Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES 2023)
DOI: https://doi.org/10.1145/3600160.3604995

Interpretable Anomaly Detection via Discrete Optimization
Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
arXiv:2303.14111
DOI: https://doi.org/10.48550/arXiv.2303.14111
Preprint

Neural network verification with DSE
Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing
In:  4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (Overlay 2022)
Preprint

A Realistic Hybrid Flow Shop Scheduling Problem With Availability Restrictions, Priorities, and Machine Qualifications
Dominik Mäckel, Jan Winkels, Christin Schumacher
presented at the 18th International Workshop on Project Management and Scheduling  (PMS 2022)
URL: https://pms2022.sciencesconf.org/resource/page/id/11.
Preprint

Aligning the Learning Experience in a Project-Based Course: Lessons Learned From the Redesign of a Programming Lab
Malte Mauritz, Stefan Naujokat, Christian Riest, Till Schallau
In: 4th International Workshop on Software Engineering Education for the Next Generation (SEENG 2022)
DOI: https://doi.org/10.1145/3528231.3528358
Preprint

Reach on Register Automata via History Independence
Simon Dierl, Falk Howar
In: Tests and Proofs (TAP 2022)
DOI: https://doi.org/10.1007/978-3-031-09827-7_2
Preprint

SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM
Malte Mues, Falk Howar, Simon Dierl
In: Software Engineering and Formal Methods (SEFM 2022)
DOI: https://doi.org/10.1007/978-3-031-17108-6_6
Preprint

EXIST-Forschungstransfer: Building Information Cloud
Lisa Lenz, Jan Winkels, Julian Graefenstein, Alexandra Nestorowicz, Mike Gralla
In: Bauwirtschaft, Heft 4 (BW 2021)

GDart: an ensemble of tools for dynamic symbolic execution on the Java virtual machine (competition contribution)
Malte Mues, Falk Howar
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)
DOI: https://doi.org/10.1007/978-3-030-99527-0_27
PreprinPreprint

GWIT: a witness validator for Java based on GraalVM (competition contribution)
Falk Howar, Malte Mues
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)
DOI: https://doi.org/10.1007/978-3-030-99527-0_29
PreprinPreprint

Data-driven design and evaluation of SMT meta-solving strategies: balancing performance, accuracy, and cost
Malte Mues, Falk Howar
In: Automated Software Engineering (ASE 2021)
DOI: https://doi.org/10.1109/ase51524.2021.9678881
Preprint

Synthesis of Scheduling Heuristics by Composition and Recombination
Dominik Mäckel, Jan Winkels, Christin Schumacher
In: Optimization and Learning (OLA 2021)
DOI: https://doi.org/10.1007/978-3-030-85672-4_21
Preprint

A Taxonomy and Reductions for Common Register Automata Formalisms
Simon Dierl, Falk Howar
In: Model Checking, Synthesis, and Learning
DOI: https://doi.org/10.1007/978-3-030-91384-7_10
Preprint

The RERS challenge: towards controllable and scalable benchmark synthesis
Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen
In: Software Tools for Technology Transfer (STTT 2021)
DOI: https://doi.org/10.1007/s10009-021-00617-z
Preprint

JDart: portfolio solving, breadth-first search and SMT-Lib strings (competition contribution)
Malte Mues, Falk Howar
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021)
DOI: https://doi.org/10.1007/978-3-030-72013-1_30
PreprinPreprint

Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education
Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau
In: Third International Workshop on Software Engineering Education for the Next Generation (SEENG 2021) 
DOI: https://doi.org/10.1109/SEENG53126.2021.00012
Preprint

[1] M. Mauritz, M. Roidl, and M. Mauritz, “From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics,” in Lecture Notes in Computer Science [ISBN: 9783030891589], 2021.

[2] F. Bruckner, J. Pampus, and F. Howar, “A policy-agnostic programming language for the international data spaces,” in Data management technologies and applications, Virtual Event, Jul. 2021, vol. 1446, pp. 172–194, doi: 10.1007/978-3-030-83014-4_9.

[3] F. Howar, M. Mues, and M. Mues, “Can We Trust Theorem Provers for Industrial AI?,” IEEE Software [ISSN: 0740-7459], vol. 38, no. 6, p. 104108, Oct. 2021, doi: 10.1109/ms.2021.3103448.

Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs
Malte Mues, Till Schallau, Falk Howar
In: Integrated Formal Methods (IFM 2020)
DOI: https://doi.org/10.1007/978-3-030-63461-2_7
Preprint

A hybrid approach of modular Planning – synchronizing factory and building planning by using component based synthesis
Jan Winkels, Julian Graefenstein, Lisa Lenz, Kai Weist, Kevin Krebil, Mike Gralla
In: Hawaii International Conference on System Sciences (HICSS 2020)
DOI: https://doi.org/10.24251/hicss.2020.806

JDart: dynamic symbolic execution for Java bytecode (competition contribution)
Malte Mues, Falk Howar
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)
DOI: https://doi.org/10.1007/978-3-030-45237-7_28
Preprint

Thoughts about using constraint solvers in action
Malte Mues, Martin Fitzke,  Falk Howar
In: Electronic Communications of the EASST (ECEASST 2020)
DOI: https://doi.org/10.14279/tuj.eceasst.78.1100
Preprint

Teaching a project-based course at a safe distance: an experience report
Malte Mues, Falk Howar
In: Conference on Software Engineering Education and Training (CSEE&T 2020)
DOI: https://doi.org/10.1109/cseet49119.2020.9206192
Preprint

Identification of spurious labels in machine learning data sets using N-version validation
Malte Mues, Sebastian Gerard, Falk Howar
In: International Conference on Intelligent Transportation Systems (ITSC 2020)
DOI: https://doi.org/10.1109/itsc45102.2020.9294223
Preprint

[1] B. Garhewal, F. Vaandrager, F. Howar, T. Schrijvers, T. Lenaerts, and R. Smits, “Grey-box learning of register automata,” in Integrated formal methods, Ligano, Nov. 2020, vol. 12546, pp. 22–40, doi: 10.1007/978-3-030-63461-2_2.

Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models
Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk
In: Computer Safety, Reliability, and Security (SAFECOMP 2019)
DOI: https://doi.org/10.1007/978-3-030-26601-1_7
Preprint

Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logik
Jan Winkels
Doctoral dissertation
DOI: https://doi.org/10.17877/DE290R-20469

Trends in Automatic Composition of Structures for Simulation Models in Production and Logistics
Sigrid Wenzel, Jana Stolipin, Jakob Rehof, Jan Winkels
In: Winter Simulation Conference (WSC 2019)
DOI: https://doi.org/10.1109/WSC40007.2019.9004959

Smart Factory Adaptation Planning by means of BIM in Combination of Constraint Solving Techniques
Lisa Lenz, Julian Graefenstein, Jan Winkels, Mike Gralla
In: The International Council for Research an Innovation in Building and Construction (CIB) World Building Congress (WBC 2019)

Einfluss der Industrie 4.0 auf ausgewählte Kompetenz- und Rollenprofile – Entwicklungen von Berufsbildern unter besonderer Berücksichtigung von IT-Kompetenzen
Julian Graefenstein, Hendrik Lager, Philipp Regelmann, Christin Schumacher, Jan Winkels
In: Wissen-Lernen-Bildung in der Industrie 4.0 (Industrie 4.0 Management 2/2019)
URL: https://industry-science.com/artikel/einfluss-der-industrie-4-0-auf-ausgewaehlte-kompetenz-und-rollenprofile-entwicklungen-von-berufsbildern-unter-besonderer-beruecksichtigung-von-it-kompetenzen/

JConstraints: a library for working with logic expressions in Java
Falk Howar, Fadi Jabbour, Malte Mues
In: Models, mindsets, meta: the what, the how, and the why not? 
DOI: https://doi.org/10.1007/978-3-030-22348-9_19
PreprinPreprint

[1] B. Steffen, F. Gossen, S. Naujokat, and T. Margaria, “Language-driven engineering: from general-purpose to purpose-specific anguages,” in Computing and software science, vol. 10000, B. Steffen and G. Woeginger, Eds. Cham: Springer, 2019, pp. 311–344.

[2] M. Jasper et al., “RERS 2019: combining synthesis with real-world models,” in Tools and algorithms for the construction and analysis of systems, Prague, 2019, vol. 11429, pp. 101–115, doi: 10.1007/978-3-030-17502-3_7.

[3] P. Zweihoff, S. Naujokat, and B. Steffen, “Pyro: generating domain-specific collaborative online modeling environments,” in Fundamental approaches to software engineering, Prague, 2019, vol. 11424, pp. 101–115, doi: 10.1007/978-3-030-16722-6_6.

Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatorial logic
Jan Winkels, Julian Graefenstein, Tristan Schäfer, David Scholz, Jakob Rehof, Michael Henke 
In: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
DOI: https://doi.org/10.1007/978-3-030-03427-6_36

Generating component interfaces by integrating static and symbolic analysis, learning, and runtime monitoring
Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas
In: International Symposium on Leveraging Applications of Formal Methods (ISOLA 2018)
DOI: https://doi.org/10.1007/978-3-030-03421-4_9
Preprint

[1] S. Boßelmann, S. Naujokat, and B. Steffen, “On the difficulty of drawing the line,” in Leveraging applications of formal methods, verification and validation. Modeling, Limassol, Cyprus, 2018, vol. 11244, pp. 340–356, doi: 10.1007/978-3-030-03418-4_20.

[2] A. Aniculaesei, F. Howar, P. Denecke, and A. Rausch, “Automated generation of requirements-based test cases for an adaptive cruise control system,” in 2018 IEEE Workshop on Validation, Analysis and Evolution of Software Tests (VST), Campobasso, Italy, 2018, doi: 10.1109/vst.2018.8327150.

[3] M. Jasper, M. Mues, M. Schlüter, B. Steffen, and F. Howar, “RERS 2018: CTL, LTL, and reachability,” in Leveraging applications of formal methods, verification and validation. Verification, Limassol, Cyprus, 2018, vol. 11245, pp. 433–447, doi: 10.1007/978-3-030-03421-4_27.

Automated processing of planning modules in factory planning by means of constraint-solving using the example of production segmentation
Julian Graefenstein, David Scholz, Oliver Seifert, Jan Winkels, Michael Henke, Jakob Rehof 
In: World Mass Customization & Personalization Conference (MCPC 2017)
DOI: https://doi.org/10.1007/978-3-319-77556-2_10

Releasing the PSYCO: using symbolic search in interface generation for Java
Malte Mues, Falk Howar, Kasper Luckow, Temesghen Kahsai, Zvonimir Rakamrić
In: Software Engineering Notes
DOI: https://doi.org/10.1145/3011286.3011298
Preprint

[1] T. Delbrügger et al., “Anpassungsintelligenz von Fabriken im dynamischen und komplexen Umfeld,” Zeitschrift für wirtschaftlichen Fabrikbetrieb, vol. 112, no. 6, pp. 364–368, 2017, doi: 10.3139/104.111731.

[2] M. Chadli et al., “High-level frameworks for the specification and verification of scheduling problems,” International journal on software tools for technology transfer, vol. 20, no. 4, pp. 397–422, 2017, doi: 10.1007/s10009-017-0466-1.

[3] P. Fiterău-Broştean and F. Howar, “Learning-based testing the sliding window behavior of TCP implementations,” in Critical systems: formal methods and automated verification, Turin, 2017, vol. 10471, pp. 185–200, doi: 10.1007/978-3-319-67113-0_12.

[4] A. Bainczyk, A. Schieweck, B. Steffen, and F. Howar, “Model-based testing without models: the TodoMVC case study,” in ModelEd, TestEd, TrustEd, vol. 10500, J.-P. Katoen, R. Langerak, A. Rensink, and E. Brinksma, Eds. Cham: Springer, 2017, pp. 125–144.

[5] S. Naujokat, “Heavy meta: model-driven domain-specific generation of generative domain-specific modeling tools,” Universitätsbibliothek Dortmund, Dortmund, 2017.

[6] S. Naujokat, “Model-driven domain-specific generation of generative domain-specific modeling tools,” Universitätsbibliothek Dortmund, Dortmund, 2017.

[1] S. Naujokat, J. Neubauer, T. Margaria, and B. Steffen, “Meta-level reuse for mastering domain specialization,” in Leveraging applications of formal methods, verification and validation. Discussion, dissemination, applications, Imperial, Corfu, Oct. 2016, vol. 9953, pp. 218–237, doi: 10.1007/978-3-319-47169-3_16.

[2] S. Naujokat, “Model-driven design of secure high assurance systems: an introduction to the open platform from the user perspective,” in SAM 2016 - 2016 International Conference on Security and Management, Las Vegas, Nevada, 2016.

[3] B. Steffen and S. Naujokat, “Archimedean points: the essence for mastering change,” in Transactions on foundations for mastering change I, vol. 9960, B. Steffen, Ed. Cham: Springer, 2016, pp. 22–46.

[4] S. Jörges, A.-L. Lamprecht, T. Margaria, S. Naujokat, and B. Steffen, “Synthesis from a practical perspective,” in Leveraging applications of formal methods, verification and validation. Foundational techniques, Imperial, Corfu, 2016, vol. 9952, pp. 282–302, doi: 10.1007/978-3-319-47166-2_20.

[5] M. Chadli et al., “A model-based framework for the specification and Analysis of Hierarchical Scheduling Systems,” in Critical systems: formal methods and automated verification, Pisa, 2016, vol. 9933, pp. 133–141, doi: 10.1007/978-3-319-45943-1_9.

[6] H. Peters, F. Howar, and A. Rausch, “Towards inferring environment models for control functions from recorded signal data,” in 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, Osaka, 2016, pp. 1–4, doi: 10.1109/saner.2016.83.

[7] A. Aniculaesei, D. Arnsberger, F. Howar, and A. Rausch, “Towards the verification of safety-critical autonomous systems in dynamic environments,” Electronic proceedings in theoretical computer science, vol. 232, pp. 79–90, 2016, doi: 10.4204/eptcs.232.10.

[8] S. Cassel, F. Howar, B. Jonsson, and B. Steffen, “Active learning for extended finite state machines,” Formal aspects of computing, vol. 28, no. 2, pp. 233–263, 2016, doi: 10.1007/s00165-016-0355-5.

[9] M. Mauritz, F. Howar, and A. Rausch, “Assuring the safety of advanced driver assistance systems through a combination of simulation and runtime monitoring,” in Leveraging applications of formal methods, verification and validation. Discussion, dissemination, applications, Imperial, Corfu, 2016, vol. 9953, pp. 672–687, doi: 10.1007/978-3-319-47169-3_52.

[10] S. Boßelmann et al., “DIME: a programming-less modeling environment for web applications,” in Leveraging applications of formal methods, verification and validation. Discussion, dissemination, applications, Imperial, Corfu, 2016, vol. 9953, pp. 809–832, doi: 10.1007/978-3-319-47169-3_60.

[1] G. Brat, D. Bushnell, M. Davies, D. Giannakopoulou, F. Howar, and T. Kahsai, “Verifying the safety of a flight-critical system,” in FM 2015: formal methods, Oslo, 2015, vol. 9109, pp. 308–324, doi: 10.1007/978-3-319-19249-9_20.

[2] F. Howar, T. Kahsai, A. Gurfinkel, and C. Tinelli, “Trusting outsourced components in flight critical systems,” in AIAA Infotech@Aerospace Conference 2015, Kissimmee, Fla., 2015, pp. 1–7, doi: 10.2514/6.2015-1868.

[3] M. Isberner, F. Howar, and B. Steffen, “The open-source LearnLib: a framework for active automata learning,” in Computer aided verification, San Francisco, CA, 2015, vol. 9206, pp. 487–495, doi: 10.1007/978-3-319-21690-4_32.

[4] M. Isberner, B. Steffen, and F. Howar, “LearnLib tutorial: an open-source Java library for active automata learning,” in Runtime verification, Wien, 2015, vol. 9333, pp. 358–377, doi: 10.1007/978-3-319-23820-3_25.

[5] S. Cassel, F. Howar, B. Jonsson, M. Merten, and B. Steffen, “A succinct canonical register automaton model,” Journal of logical and algebraic methods in programming, vol. 84, no. 1, pp. 54–66, 2015, doi: 10.1016/j.jlamp.2014.07.004.

[6] M. Mauritz, F. Howar, and A. Rausch, “From simulation to operation: using design time artifacts to ensure the safety of advanced driving assistance systems at runtime,” in Modelling in automotive software engineering, Ottawa, Canada, 2015, vol. 1487, pp. 43–52 [Online]. Available: http://ceur-ws.org/Vol-1487/MASE_2015_paper_14.pdf

[7] A. Rausch et al., “Managed and continuous evolution of dependable automotive software systems,” Jahrbuch / Braunschweigische Wissenschaftliche Gesellschaft, vol. 2014, pp. 96–105, 2015 [Online]. Available: http://www.digibib.tu-bs.de/?docid=00060152

[1] P.-L. Garoche, F. Howar, T. Kahsai, and X. Thirioux, “Testing-based compiler validation for synchronous languages,” in NASA formal methods, Houston, TX, 2014, vol. 8430, pp. 246–251, doi: 10.1007/978-3-319-06200-6_19.

[2] D. Giannakopoulou, F. Howar, M. Isberner, T. Lauderdale, Z. Rakamarić, and V. Raman, “Taming test inputs for separation assurance,” in ASE ’14, Västerås, 2014, pp. 373–384, doi: 10.1145/2642937.2642940.

[3] S. Cassel, F. Howar, B. Jonsson, and B. Steffen, “Learning extended finite state machines,” in Software engineering and formal methods, Grenoble, 2014, pp. 250–264, doi: 10.1007/978-3-319-10431-7_18.

[4] M. Isberner, F. Howar, and B. Steffen, “The TTT algorithm: a redundancy-free approach to active automata learning,” in Runtime verification, Toronto, 2014, vol. 8734, pp. 307–322, doi: 10.1007/978-3-319-11164-3_26.

[5] B. Steffen, M. Isberner, S. Naujokat, T. Margaria, and M. Geske, “Property-driven benchmark generation: synthesizing programs of realistic structure,” International journal on software tools for technology transfer, vol. 16, no. 5, pp. 465–479, 2014, doi: 10.1007/s10009-014-0336-z.

[6] B. Steffen, F. Howar, M. Isberner, S. Naujokat, and T. Margaria, “Tailored generation of concurrent benchmarks,” International journal on software tools for technology transfer, vol. 16, no. 5, pp. 543–558, 2014, doi: 10.1007/s10009-014-0339-9.

[7] S. Naujokat, L.-M. Traonouez, M. Isberner, B. Steffen, and A. Legay, “Domain-specific code generator modeling: a case study for multi-faceted concurrent systems,” in Leveraging applications of formal methods, verification and validation. Technologies for mastering change, Kerkira, 2014, vol. 8802, pp. 481–498, doi: 10.1007/978-3-662-45234-9_33.

[8] F. Aarts, F. Howar, H. Kuppens, and F. Vaandrager, “Algorithms for inferring register automata,” in Leveraging applications of formal methods, verification and validation. Technologies for mastering change, Kerkira, 2014, vol. 8802, pp. 202–219, doi: 10.1007/978-3-662-45234-9_15.

[9] F. Howar, M. Isberner, and B. Steffen, “Tutorial: Automata learning in practice,” in Leveraging applications of formal methods, verification and validation. Technologies for mastering change, Kerkira, 2014, vol. 8802, pp. 499–513, doi: 10.1007/978-3-662-45234-9_34.

[10] M. Isberner, F. Howar, and B. Steffen, “Learning register automata: from languages to program structures,” Machine learning, vol. 96, no. 1–2, pp. 65–98, 2014, doi: 10.1007/s10994-013-5419-7.

[11] M. Mauritz, A. Rausch, and I. Schaefer, “Dependable ADAS by combining design time testing and runtime monitoring,” in FORMS, FORMAT 2014, Braunschweig, 2014, pp. 28–37 [Online]. Available: https://www.researchgate.net/publication/278684216_Dependable_ADAS_by_Combining_Design_Time_Testing_and_Runtime_Monitoring

[1] F. Howar, D. Giannakopoulou, and Z. Rakamarić, “Hybrid learning: interface generation through static, dynamic, and symbolic analysis,” in Proceedings of the 2013 International Symposium on Software Testing & Analysis, Lugano, Jul. 2013, pp. 268–279, doi: 10.1145/2483760.2483783.

[2] S. Windmüller, J. Neubauer, B. Steffen, F. Howar, and O. Bauer, “Active continuous quality control,” in CBSE 2013 proceedings, Vancouver, BC, Jun. 2013, pp. 111–120, doi: 10.1145/2465449.2465469.

[3] M. Isberner, F. Howar, and B. Steffen, “Inferring automata with state local alphabet abstractions,” in NASA formal methods, Moffett Field, CA, 2013, vol. 7871, pp. 124–138, doi: 10.1007/978-3-642-38088-4_9.

[4] A.-L. Lamprecht, S. Naujokat, and I. Schaefer, “Variability management beyond feature models,” Computer, vol. 46, no. 11, pp. 48–54, 2013, doi: 10.1109/mc.2013.299.

[5] B. Steffen, M. Isberner, S. Naujokat, T. Margaria, and M. Geske, “Property-driven benchmark generation,” in Model checking software, 2013, vol. 7976, pp. 341–357, doi: 10.1007/978-3-642-39176-7_21.

[6] F. Howar, M. Merten, B. Steffen, and T. Margaria, “Practical aspects of active automata learning: a survey of applications,” in Formal methods for industrial critical systems, T. Margaria and S. Gnesi, Eds. Hoboken, NJ: John Wiley and Sons, 2013, pp. 235–264.

[1] S. Naujokat, A.-L. Lamprecht, B. Steffen, S. Jörges, and T. Margaria, “Simplicity principles for plug-in development: the jABC approach,” in 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI), 2012, pp. 7–12, doi: 10.1109/topi.2012.6229816.

[2] S. Naujokat, A.-L. Lamprecht, and B. Steffen, “Loose programming with PROPHETS,” in Fundamental approaches to software engineering, 2012, vol. 7212, pp. 94–98, doi: 10.1007/978-3-642-28872-2_7.

[3] M. Merten, F. Howar, B. Steffen, P. Pellicione, and M. Tivoli, “Automated inference of models for black box systems based on interface descriptions,” in Leveraging applications of formal methods, verification and validation. Technologies for mastering change, Heraklion, 2012, vol. 7609, pp. 79–96, doi: 10.1007/978-3-642-34026-0_7.

[4] M. Merten, M. Isberner, F. Howar, B. Steffen, and T. Margaria, “Automated learning setups in automata learning,” in Leveraging applications of formal methods, verification and validation. Technologies for mastering change, Heraklion, 2012, vol. 7609, pp. 591–607, doi: 10.1007/978-3-642-34026-0_44.

[5] F. Howar, M. Isberner, B. Steffen, O. Bauer, and B. Jonsson, “Inferring semantic interfaces of data structures,” in Leveraging applications of formal methods, verification and validation. Technologies for mastering change, Heraklion, 2012, vol. 7609, pp. 554–571, doi: 10.1007/978-3-642-34026-0_41.

[6] F. Howar, M. Isberner, M. Merten, B. Steffen, and D. Beyer, “The RERS Grey-Box Challenge 2012: analysis of event condition action systems,” in Leveraging applications of formal methods, verification and validation. Technologies for mastering change, Heraklion, 2012, vol. 7609, pp. 608–614, doi: 10.1007/978-3-642-34026-0_45.

[7] F. Howar, M. Isberner, M. Merten, and B. Steffen, “LearnLib tutorial: from finite automata to register interface programs,” in Leveraging applications of formal methods, verification and validation. Technologies for mastering change, Heraklion, 2012, vol. 7609, pp. 587–590, doi: 10.1007/978-3-642-34026-0_43.

[8] M. Merten, F. Howar, B. Steffen, and T. Margaria, “Automata learning with on-the-fly direct hypothesis construction,” in Leveraging applications of formal methods, verification, and validation, Wien, 2012, vol. 336, pp. 248–260, doi: 10.1007/978-3-642-34781-8_19.

[9] F. Howar, O. Bauer, M. Merten, B. Steffen, and T. Margaria, “The teachers’ crowd: the impact of distributed oracles on active automata learning,” in Leveraging applications of formal methods, verification, and validation, Wien, 2012, vol. 336, pp. 232–247, doi: 10.1007/978-3-642-34781-8_18.

[10] B. Steffen, F. Howar, and M. Isberner, “Active automata learning: from DFAs to interface programs and beyond,” in Proceedings of the International Conference on Grammatical Inference 2012, College Park, Md., 2012, vol. 21, pp. 195–209 [Online]. Available: http://jmlr.csail.mit.edu/proceedings/papers/v21/steffen12a/steffen12a.pdf

[11] S. Cassel, B. Jonsson, F. Howar, B. Steffen, and F. Howar, “A succinct canonical register automaton model for data domains with binary relations,” in Automated technology for verification and analysis, 2012, vol. 7561, pp. 57–71, doi: 10.1007/978-3-642-33386-6_6.

[12] O. Bauer, J. Neubauer, B. Steffen, and F. Howar, “Reusing system states by active learning algorithms,” in Eternal systems, 2012, vol. 255, pp. 61–78, doi: 10.1007/978-3-642-28033-7_6.

[13] F. Howar, B. Steffen, B. Jonsson, and S. Cassel, “Inferring canonical register automata,” in Verification, model checking, and abstract interpretation, 2012, vol. 7148, pp. 251–266, doi: 10.1007/978-3-642-27940-9_17.

[14] M. Merten, F. Howar, B. Steffen, S. Cassel, and B. Jonsson, “Demonstrating learning of register automata,” in Tools and algorithms for the construction and analysis of systems, Tallin, 2012, vol. 7214, pp. 466–471, doi: 10.1007/978-3-642-28756-5_32.

[15] J. Neubauer et al., “Automated continuous quality assurence,” in First International Workshop on Formal Methods in Software Engineering, 2012, pp. 37–43, doi: 10.1109/formsera.2012.6229787.

[1] A.-L. Lamprecht, S. Naujokat, T. Margaria, and B. Steffen, “Semantics-based composition of EMBOSS services,” Journal of biomedical semantics, vol. 2, no. Suppl 1, pp. 1–21, 2011, doi: 10.1186/2041-1480-2-s1-s5.

[2] S. Naujokat, A.-L. Lamprecht, and B. Steffen, “Tailoring process synthesis to domain characteristics,” in 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), 2011, pp. 167–175, doi: 10.1109/iceccs.2011.24.

[3] S. Cassel, F. Howar, B. Jonsson, M. Merten, and B. Steffen, “A succinct canonical register automaton model,” in Automated technology for verification and analysis, 2011, vol. 6996, pp. 366–380, doi: 10.1007/978-3-642-24372-1_26.

[4] B. Steffen, F. Howar, and M. Merten, “Introduction to active automata learning from a practical perspective,” in Formal methods for eternal networked software systems, 2011, vol. 6659, pp. 256–296, doi: 10.1007/978-3-642-21455-4_8.

[5] M. Merten, B. Steffen, F. Howar, and T. Margaria, “Next generation LearnLib,” in Tools and algorithms for the construction and analysis of systems, 2011, vol. 6605, pp. 220–223, doi: 10.1007/978-3-642-19835-9_18.

[6] F. Howar, B. Steffen, and M. Merten, “Automata learning with automated alphabet abstraction refinement,” in Verification, model checking, and abstract interpretation, 2011, vol. 6538, pp. 263–277, doi: 10.1007/978-3-642-18275-4_19.

[1] A.-L. Lamprecht, S. Naujokat, B. Steffen, and T. Margaria, “Constraint guided workflow composition based on the EDAM ontology,” in SWAT4LS 2010, Semantic Web Applications and Tools for Life Sciences, 2010, vol. 698, pp. 1–15 [Online]. Available: http://ceur-ws.org/Vol-698/paper2.pdf

[2] A.-L. Lamprecht, S. Naujokat, T. Margaria, and B. Steffen, “Synthesis-based loose programming,” in 2010 Seventh International Conference on the Quality of Information and Communications Technology (QUATIC 2010), 2010, pp. 262–267, doi: 10.1109/quatic.2010.53.

[3] A. Bennaceur et al., “Towards an architecture for runtime interoperability,” in Leveraging applications of formal methods, verification, and validation, Heraklion, 2010, vol. 6416, pp. 206–220, doi: 10.1007/978-3-642-16561-0_23.

[4] F. Howar, B. Jonsson, M. Merten, B. Steffen, and S. Cassel, “On handling data in automata learning,” in Leveraging applications of formal methods, verification, and validation, Heraklion, 2010, vol. 6416, pp. 221–235, doi: 10.1007/978-3-642-16561-0_24.

[5] F. Howar, B. Steffen, and M. Merten, “From ZULU to RERS,” in Leveraging applications of formal methods, verification, and validation, Heraklion, 2010, vol. 6416, pp. 687–704, doi: 10.1007/978-3-642-16558-0_55.

[1] S. Naujokat, “Automatische Generierung von Prozessen im jABC,” Universitätsbibliothek Dortmund, Dortmund, 2009.

[2] T. Margaria, M. Bakera, C. Kubczak, S. Naujokat, and B. Steffen, “Automatic generation of the SWS-challenge mediator with jABC/ABC,” in Semantic web services challenge, vol. 8, T. Margaria, C. Petrie, H. Lausen, and M. Zaremba, Eds. New York, NY: Springer, 2009, pp. 119–138.

[3] A.-L. Lamprecht, S. Naujokat, T. Margaria, and B. Steffen, “Semantics-based composition of EMBOSS services with Bio-jETI,” in SWAT4LS-2009, Semantic Web Applications and Tools for Life Sciences, Amsterdam, 2009, vol. 559 [Online]. Available: http://ceur-ws.org/Vol-559/Paper5.pdf

[1] C. Kubczak, T. Margaria, B. Steffen, and S. Naujokat, “Service-oriented mediation with jETI/jABC: Verification and export,” in 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops (WI-IAT Workshops 2007), 2007, pp. 144–147, doi: 10.1109/wiiatw.2007.4427559.

[2] T. Margaria, C. Kubczak, B. Steffen, and S. Naujokat, “The FMICS-jETI Platform: status und perspectives,” in Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006, Paphos, Cyprus, 2007, pp. 402–407, doi: 10.1109/isola.2006.50.