Malte Isberner

According to our database, Malte Isberner authored at least 34 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

JDart: A Dynamic Symbolic Analysis Framework.

Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman

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

ALEX: Mixed-Mode Learning of Web Applications at Ease.

Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen

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

Playing with Abstraction and Representation.

Bernhard Steffen, Malte Isberner, Marc Jasper

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

Foundations of active automata learning: an algorithmic perspective.

Malte Isberner

PhD thesis, 2015

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

Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman

ACM SIGSOFT Softw. Eng. Notes, 2015

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

Malte Isberner, Bernhard Steffen, Falk Howar

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

Rigorous Examination of Reactive Systems: The RERS Challenge 2015.

Maren Geske, Malte Isberner, Bernhard Steffen

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

Grundlagen des aktiven Automatenlernens: Eine algorithmische Sichtweise.

Malte Isberner

Proceedings of the Ausgezeichnete Informatikdissertationen 2015, 2015

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

Malte Isberner, Falk Howar, Bernhard Steffen

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

Mediator Synthesis in a Component Algebra with Data.

Lukás Holík, Malte Isberner, Bengt Jonsson

Proceedings of the Correct System Design, 2015

2014

Property-driven benchmark generation: synthesizing programs of realistic structure.

Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske

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

Tailored generation of concurrent benchmarks.

Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria

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

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

Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu

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

Analyzing program behavior through active automata learning.

Oliver Bauer, Maren Geske, Malte Isberner

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

Learning register automata: from languages to program structures.

Malte Isberner, Falk Howar, Bernhard Steffen

Mach. Learn., 2014

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

Malte Isberner, Falk Howar, Bernhard Steffen

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

Taming test inputs for separation assurance.

Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman

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

Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems.

Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay

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

Tutorial: Automata Learning in Practice.

Falk Howar, Malte Isberner, Bernhard Steffen

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

Model-Driven Active Automata Learning with LearnLib Studio.

Oliver Bauer, Johannes Neubauer, Malte Isberner

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

An Abstract Framework for Counterexample Analysis in Active Automata Learning.

Malte Isberner, Bernhard Steffen

Proceedings of the 12th International Conference on Grammatical Inference, 2014

2013

Property-Driven Benchmark Generation.

Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning.

Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Inferring Automata with State-Local Alphabet Abstractions.

Malte Isberner, Falk Howar, Bernhard Steffen

Proceedings of the NASA Formal Methods, 2013

2012

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

Bernhard Steffen, Falk Howar, Malte Isberner

Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

Automated Learning Setups in Automata Learning.

Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria

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

Inferring Semantic Interfaces of Data Structures.

Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson

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.

Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer

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.

Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen

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

Machine Learning for Emergent Middleware.

Amel Bennaceur, Valérie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Richard Johansson, Alessandro Moschitti

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

2009

Synthesizing Semantic Web Service Compositions with jMosel and Golog.

Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

2006

An Extendable System for the Specification and Generation of Interactive Self-tests.

Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle

Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006

Computer Science Exercises in a Virtual University.

Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle

Proceedings of the 2006 International Conference on E-Learning, 2006

2005

Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen.

Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera

Proceedings of the DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, 2005