Falk Howar

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2016

Active learning for extended finite state machines.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments.

[BibT_eX]

[DOI]

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016

Towards Inferring Environment Models for Control Functions from Recorded Signal Data.

[BibT_eX]

[DOI]

Henrik Peters

Proceedings of the First International Workshop on Validating Software Tests, 2016

JDart: A Dynamic Symbolic Analysis Framework.

[BibT_eX]

[DOI]

Kasper Søe Luckow

Marko Dimjasevic

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring.

[BibT_eX]

[DOI]

Malte Mauritz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016.

[BibT_eX]

[DOI]

Karl Meinke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications.

[BibT_eX]

[DOI]

Marko Dimjasevic

ACM SIGSOFT Softw. Eng. Notes, 2015

A succinct canonical register automaton model.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

From Simulation to Operation: Using Design Time Artifacts to Ensure the Safety of Advanced Driving Assistance Systems at Runtime.

[BibT_eX]

[DOI]

Malte Mauritz

Proceedings of the International Workshop on Modelling in Automotive Software Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Verifying the Safety of a Flight-Critical System.

[BibT_eX]

[DOI]

Guillaume Brat

David H. Bushnell

Misty D. Davies

Temesghen Kahsai

Proceedings of the FM 2015: Formal Methods, 2015

The Open-Source LearnLib - A Framework for Active Automata Learning.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Tailored generation of concurrent benchmarks.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2014

Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2014

Learning register automata: from languages to program structures.

[BibT_eX]

[DOI]

Mach. Learn., 2014

Learning Extended Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 5th International Conference, 2014

Testing-Based Compiler Validation for Synchronous Languages.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Taming test inputs for separation assurance.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Tutorial: Automata Learning in Practice.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Algorithms for Inferring Register Automata - A Comparison of Existing Approaches.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Simplifying Translation Validation via Model Extrapolation.

[BibT_eX]

[DOI]

Tiziana Margaria

Christian Wagner

J. Integr. Des. Process. Sci., 2013

Inferring Automata with State-Local Alphabet Abstractions.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2013

Hybrid learning: interface generation through static, dynamic, and symbolic analysis.

[BibT_eX]

[DOI]

Zvonimir Rakamaric

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Active continuous quality control.

[BibT_eX]

[DOI]

Proceedings of the CBSE'13, 2013

2012

Active learning of interface programs.

[BibT_eX]

[DOI]

PhD thesis, 2012

Active Automata Learning: From DFAs to Interface Programs and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

Inferring Canonical Register Automata.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Demonstrating Learning of Register Automata.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Automated Learning Setups in Automata Learning.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Automated Inference of Models for Black Box Systems Based on Interface Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Inferring Semantic Interfaces of Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

LearnLib Tutorial: From Finite Automata to Register Interface Programs.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Automated continuous quality assurance.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Machine Learning for Emergent Middleware.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Eternal Systems via Evolving Software, Data and Knowledge, 2012

A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Automata Learning with Automated Alphabet Abstraction Refinement.

[BibT_eX]

[DOI]

Maik Merten

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Next Generation LearnLib.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Introduction to Active Automata Learning from a Practical Perspective.

[BibT_eX]

[DOI]

Maik Merten

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Automata Learning with On-the-Fly Direct Hypothesis Construction.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

Reusing System States by Active Learning Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Eternal Systems - First International Workshop, 2011

2010

From ZULU to RERS - Lessons Learned in the ZULU Challenge.

[BibT_eX]

[DOI]