Malte Isberner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
6
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ISoLA | ALEX: Mixed-Mode Learning of Web Applications at Ease. | Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen |
| 2016 | TACAS | JDart: A Dynamic Symbolic Analysis Framework. | Kasper Se Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman |
| 2015 | CAV | The Open-Source LearnLib - A Framework for Active Automata Learning. | Malte Isberner, Falk Howar, Bernhard Steffen |
| 2015 | RV | Rigorous Examination of Reactive Systems: The RERS Challenge 2015. | Maren Geske, Malte Isberner, Bernhard Steffen |
| 2015 | RV | LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. | Malte Isberner, Bernhard Steffen, Falk Howar |
| 2014 | ISoLA | Model-Driven Active Automata Learning with LearnLib Studio. | Oliver Bauer, Johannes Neubauer, Malte Isberner |
| 2014 | ISoLA | Tutorial: Automata Learning in Practice. | Falk Howar, Malte Isberner, Bernhard Steffen |
| 2014 | ISoLA | Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. | Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay |
| 2014 | RV | The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. | Malte Isberner, Falk Howar, Bernhard Steffen |
| 2013 | SEFM | Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. | Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson |
| 2012 | ECAI | Machine Learning for Emergent Middleware. | Amel Bennaceur, Valrie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Richard Johansson, Alessandro Moschitti |
| 2012 | ISoLA | LearnLib Tutorial: From Finite Automata to Register Interface Programs. | Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen |
| 2012 | ISoLA | The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. | Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer |
| 2012 | ISoLA | Inferring Semantic Interfaces of Data Structures. | Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson |
| 2012 | ISoLA | Automated Learning Setups in Automata Learning. | Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria |