Malte Isberner

ORCID

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 3

Top Venues

ISoLA (1)

Int. J. Softw. Tools Technol. Transf.

ICGI

Technical University Dortmund, Germany (PHD)

Education History

Technical University Dortmund, Germany

PHD

Publications

Bernhard Steffen, Malte Isberner, Marc Jasper
Playing with Abstraction and Representation. Semantics, Logics, and Calculi (2016)
Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman
JDart: A Dynamic Symbolic Analysis Framework. TACAS (2016)
Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen
ALEX: Mixed-Mode Learning of Web Applications at Ease. ISoLA (2) (2016)
Malte Isberner, Bernhard Steffen, Falk Howar
LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. RV (2015)
Maren Geske, Malte Isberner, Bernhard Steffen
Rigorous Examination of Reactive Systems: The RERS Challenge 2015. RV (2015)
Lukás Holík, Malte Isberner, Bengt Jonsson
Mediator Synthesis in a Component Algebra with Data. Correct System Design (2015)
Malte Isberner, Falk Howar, Bernhard Steffen
The Open-Source LearnLib - A Framework for Active Automata Learning. CAV (1) (2015)
Malte Isberner
Grundlagen des aktiven Automatenlernens: Eine algorithmische Sichtweise. Ausgezeichnete Informatikdissertationen (2015)
Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman
The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Oliver Bauer, Johannes Neubauer, Malte Isberner
Model-Driven Active Automata Learning with LearnLib Studio. ISoLA (Revised Selected Papers) (2014)
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Malte Isberner, Bernhard Steffen
An Abstract Framework for Counterexample Analysis in Active Automata Learning. ICGI (2014)
Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria
Tailored generation of concurrent benchmarks. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Malte Isberner, Falk Howar, Bernhard Steffen
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. RV (2014)
Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman
Taming test inputs for separation assurance. ASE (2014)
Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske
Property-driven benchmark generation: synthesizing programs of realistic structure. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Malte Isberner, Falk Howar, Bernhard Steffen
Learning register automata: from languages to program structures. Mach. Learn. 96 (1-2) (2014)
Oliver Bauer, Maren Geske, Malte Isberner
Analyzing program behavior through active automata learning. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. ISoLA (1) (2014)
Falk Howar, Malte Isberner, Bernhard Steffen
Tutorial: Automata Learning in Practice. ISoLA (1) (2014)
Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. SEFM (2013)
Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske
Property-Driven Benchmark Generation. SPIN (2013)
Malte Isberner, Falk Howar, Bernhard Steffen
Inferring Automata with State-Local Alphabet Abstractions. NASA Formal Methods (2013)
Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson
Inferring Semantic Interfaces of Data Structures. ISoLA (1) (2012)
Amel Bennaceur, Valérie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Richard Johansson, Alessandro Moschitti
Machine Learning for Emergent Middleware. EternalS@ECAI (2012)
Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria
Automated Learning Setups in Automata Learning. ISoLA (1) (2012)
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen
LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLA (1) (2012)
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. ISoLA (1) (2012)
Bernhard Steffen, Falk Howar, Malte Isberner
Active Automata Learning: From DFAs to Interface Programs and Beyond. ICGI (2012)
Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen
Synthesizing Semantic Web Service Compositions with jMosel and Golog. ISWC (2009)
Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
Computer Science Exercises in a Virtual University. CSREA EEE (2006)
Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
An Extendable System for the Specification and Generation of Interactive Self-tests. Edutainment (2006)
Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera
Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. DeLFI (2005)

Malte Isberner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Malte Isberner