Malte Isberner

Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

? Tutorial for this page

Demo Data from EDBT 2026 / reviewers in the wild / expert

dblp:54/1436 · DBLP profile ↗

← Back

21ranked-venue papers

4as first author

0since 2021 · last 2016

0000-0002-7704-5173ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 19 · 3 first-authorArtificial intelligence and machine learning · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1Theory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages 2 papers		Software testing · 100%
Theoretical computer science 1 paper		Automata and formal languages · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

Topic	Weight	Papers	Last	Evidence papers
Automata and formal languages › grammatical inference › automata learning active automata learning	0.2	1	2015	The Open-Source LearnLib - A Framework for Active Automata Learning · CAV (1) 2015
Software testing › test generation search-based test generation	0.2	1	2014	Taming test inputs for separation assurance · ASE 2014
Software testing test generation	0.2	1	2014	Taming test inputs for separation assurance · ASE 2014
Software testing model-based testing	0.1	1	2015	The Open-Source LearnLib - A Framework for Active Automata Learning · CAV (1) 2015

Methods — techniques the papers use, named apart from their topics

automata learning algorithms · 0.4active automata learning · 0.4trajectory generation · 0.2

Year	Publication	Venue	Position
2016	ALEX: Mixed-Mode Learning of Web Applications at Ease Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen	ISoLA (2)	3
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	5
2015	The Open-Source LearnLib - A Framework for Active Automata Learning Malte Isberner, Falk Howar, Bernhard Steffen	CAV (1)	1
2015	Rigorous Examination of Reactive Systems: The RERS Challenge 2015 Maren Geske, Malte Isberner, Bernhard Steffen	RV	2
2015	LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning Malte Isberner, Bernhard Steffen, Falk Howar	RV	1
2014	Tutorial: Automata Learning in Practice Falk Howar, Malte Isberner, Bernhard Steffen	ISoLA (1)	2
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)	3
2014	Taming test inputs for separation assurance abstract The Next Generation Air Transportation System (NextGen) advocates the use of innovative algorithms and software to address the increasing load on air-traffic control. AutoResolver [12] is a large, complex NextGen component that provides separation assurance between multiple airplanes up to 20 minutes ahead of time. Our work targets the development of a light-weight, automated testing environment for AutoResolver. The input space of AutoResolver consists of airplane trajectories, each trajectory being a sequence of hundreds of points in the three-dimensional space. Generating meaningful test cases for AutoResolver that cover its behavioral space to a satisfactory degree is a major challenge. We discuss how we tamed this input space to make it amenable to test case generation techniques, as well as how we developed and validated an extensible testing environment around AutoResolver. Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman	ASE	3
2014	The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning Malte Isberner, Falk Howar, Bernhard Steffen	RV	1
2014	Learning register automata: from languages to program structures Malte Isberner, Falk Howar, Bernhard Steffen	Mach. Learn.	1
2014	Analyzing program behavior through active automata learning Oliver Bauer, Maren Geske, Malte Isberner	Int. J. Softw. Tools Technol. Transf.	3
2014	Rigorous examination of reactive systems - The RERS challenges 2012 and 2013 Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer 0001, Corina Pasareanu	Int. J. Softw. Tools Technol. Transf.	2
2014	Tailored generation of concurrent benchmarks Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria	Int. J. Softw. Tools Technol. Transf.	3
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.	2
2013	Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson 0001	SEFM	3
2013	Property-Driven Benchmark Generation Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske	SPIN	2
2012	LearnLib Tutorial: From Finite Automata to Register Interface Programs Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen	ISoLA (1)	2
2012	The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer 0001	ISoLA (1)	2
2012	Inferring Semantic Interfaces of Data Structures Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson 0001	ISoLA (1)	2
2012	Automated Learning Setups in Automata Learning Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria	ISoLA (1)	2
2009	Synthesizing Semantic Web Service Compositions with jMosel and Golog Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen	ISWC	4