Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. - Christoph Beierle; Malte Isberner; Gabriele Kern-Isberner; Barbara Messing; Manfred Widera (DeLFI, 2005)

Computer Science Exercises in a Virtual University. - Manfred Widera; Barbara Messing; Gabriele Kern-Isberner; Malte Isberner; Christoph Beierle (CSREA EEE, 2006)

An Extendable System for the Specification and Generation of Interactive Self-tests. - Manfred Widera; Barbara Messing; Gabriele Kern-Isberner; Malte Isberner; Christoph Beierle (Edutainment, 2006)

Synthesizing Semantic Web Service Compositions with jMosel and Golog. - Tiziana Margaria; Daniel Meyer; Christian Kubczak; Malte Isberner; Bernhard Steffen (ISWC, 2009)

Machine Learning for Emergent Middleware. - Amel Bennaceur; Valérie Issarny; Daniel Sykes; Falk Howar; Malte Isberner; Bernhard Steffen; Richard Johansson; Alessandro Moschitti (EternalS@ECAI, 2012)

LearnLib Tutorial: From Finite Automata to Register Interface Programs. - Falk Howar; Malte Isberner; Maik Merten; Bernhard Steffen (ISoLA (1), 2012)

The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. - Falk Howar; Malte Isberner; Maik Merten; Bernhard Steffen; Dirk Beyer 001 (ISoLA (1), 2012)

Inferring Semantic Interfaces of Data Structures. - Falk Howar; Malte Isberner; Bernhard Steffen; Oliver Bauer; Bengt Jonsson 001 (ISoLA (1), 2012)

Automated Learning Setups in Automata Learning. - Maik Merten; Malte Isberner; Falk Howar; Bernhard Steffen; Tiziana Margaria (ISoLA (1), 2012)

Active Automata Learning: From DFAs to Interface Programs and Beyond. - Bernhard Steffen; Falk Howar; Malte Isberner (ICGI, 2012)

Inferring Automata with State-Local Alphabet Abstractions. - Malte Isberner; Falk Howar; Bernhard Steffen (NASA Formal Methods, 2013)

Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. - Amel Bennaceur; Chris Chilton; Malte Isberner; Bengt Jonsson 001 (SEFM, 2013)

Property-Driven Benchmark Generation. - Bernhard Steffen; Malte Isberner; Stefan Naujokat; Tiziana Margaria; Maren Geske (SPIN, 2013)

An Abstract Framework for Counterexample Analysis in Active Automata Learning. - Malte Isberner; Bernhard Steffen (ICGI, 2014)

Model-Driven Active Automata Learning with LearnLib Studio. - Oliver Bauer; Johannes Neubauer; Malte Isberner (ISoLA (Revised Selected Papers), 2014)

Tutorial: Automata Learning in Practice. - Falk Howar; Malte Isberner; Bernhard Steffen (ISoLA (1), 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 (ISoLA (1), 2014)

Taming test inputs for separation assurance. - Dimitra Giannakopoulou; Falk Howar; Malte Isberner; Todd Lauderdale; Zvonimir Rakamaric; Vishwanath Raman (ASE, 2014)

The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. - Malte Isberner; Falk Howar; Bernhard Steffen (RV, 2014)

Learning register automata: from languages to program structures. - Malte Isberner; Falk Howar; Bernhard Steffen (Mach. Learn., 2014)

Analyzing program behavior through active automata learning. - Oliver Bauer; Maren Geske; Malte Isberner (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 001; Corina S. Pasareanu (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)

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)

Mediator Synthesis in a Component Algebra with Data. - Lukás Holík; Malte Isberner; Bengt Jonsson 001 (Correct System Design, 2015)

The Open-Source LearnLib - A Framework for Active Automata Learning. - Malte Isberner; Falk Howar; Bernhard Steffen (CAV (1), 2015)

Grundlagen des aktiven Automatenlernens: Eine algorithmische Sichtweise. - Malte Isberner (Ausgezeichnete Informatikdissertationen, 2015)

Rigorous Examination of Reactive Systems: The RERS Challenge 2015. - Maren Geske; Malte Isberner; Bernhard Steffen (RV, 2015)

LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. - Malte Isberner; Bernhard Steffen; Falk Howar (RV, 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)

Foundations of active automata learning: an algorithmic perspective. - Malte Isberner (2015)

Playing with Abstraction and Representation. - Bernhard Steffen; Malte Isberner; Marc Jasper (Semantics, Logics, and Calculi, 2016)

ALEX: Mixed-Mode Learning of Web Applications at Ease. - Alexander Bainczyk; Alexander Schieweck; Malte Isberner; Tiziana Margaria; Johannes Neubauer; Bernhard Steffen (ISoLA (2), 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 (TACAS, 2016)