Malte Isberner - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Malte Isberner' as author, editor, or advisor:

Taming test inputs for separation assuranceDimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman. ASE 2014: 373-384 [doi]
Active Automata Learning: From DFAs to Interface Programs and BeyondBernhard Steffen, Falk Howar, Malte Isberner. jmlr, 21:195-209, 2012. [doi]
An Extendable System for the Specification and Generation of Interactive Self-testsManfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle. edutainment 2006: 316-321 [doi]
Foundations of active automata learning: an algorithmic perspectiveMalte Isberner. PhD thesis, Technical University Dortmund, Germany, 2015. [doi]
Learning register automata: from languages to program structuresMalte Isberner, Falk Howar, Bernhard Steffen. ml, 96(1-2):65-98, 2014. [doi]
The TTT Algorithm: A Redundancy-Free Approach to Active Automata LearningMalte Isberner, Falk Howar, Bernhard Steffen. RV 2014: 307-322 [doi]
Synthesizing Semantic Web Service Compositions with jMosel and GologTiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen. semweb 2009: 392-407 [doi]
Analyzing program behavior through active automata learningOliver Bauer, Maren Geske, Malte Isberner. STTT, 16(5):531-542, 2014. [doi]
Automated Learning Setups in Automata LearningMaik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria. ISoLA 2012: 591-607 [doi]
Property-driven benchmark generation: synthesizing programs of realistic structureBernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske. STTT, 16(5):465-479, 2014. [doi]
Tailored generation of concurrent benchmarksBernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria. STTT, 16(5):543-558, 2014. [doi]
Model-Driven Active Automata Learning with LearnLib StudioOliver Bauer, Johannes Neubauer, Malte Isberner. ISoLA 2016: 128-142 [doi]
JDart: A Dynamic Symbolic Analysis FrameworkKasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman. TACAS 2016: 442-459 [doi]
Automated Mediator Synthesis: Combining Behavioural and Ontological ReasoningAmel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson. SEFM 2013: 274-288 [doi]
Playing with Abstraction and RepresentationBernhard Steffen, Malte Isberner, Marc Jasper. BIRTHDAY 2016: 191-213 [doi]
An Abstract Framework for Counterexample Analysis in Active Automata LearningMalte Isberner, Bernhard Steffen. icgi 2014: 79-93 [doi]
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent SystemsStefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay. ISoLA 2014: 481-498 [doi]
Property-Driven Benchmark GenerationBernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske. spin 2013: 341-357 [doi]
The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its ApplicationsMarko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman. sigsoft, 40(1):1-5, 2015. [doi]
ALEX: Mixed-Mode Learning of Web Applications at EaseAlexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen. ISoLA 2016: 655-671 [doi]
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu. STTT, 16(5):457-464, 2014. [doi]
LearnLib Tutorial - An Open-Source Java Library for Active Automata LearningMalte Isberner, Bernhard Steffen, Falk Howar. RV 2015: 358-377 [doi]
Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-SpezifikationenChristoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera. delfi 2005: 523-524
Tutorial: Automata Learning in PracticeFalk Howar, Malte Isberner, Bernhard Steffen. ISoLA 2014: 499-513 [doi]
Mediator Synthesis in a Component Algebra with DataLukás Holík, Malte Isberner, Bengt Jonsson. BIRTHDAY 2015: 238-259 [doi]
Inferring Automata with State-Local Alphabet AbstractionsMalte Isberner, Falk Howar, Bernhard Steffen. NFM 2013: 124-138 [doi]
The Open-Source LearnLib - A Framework for Active Automata LearningMalte Isberner, Falk Howar, Bernhard Steffen. cav 2015: 487-495 [doi]
Computer Science Exercises in a Virtual UniversityManfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle. csreaEEE 2006: 23-29
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action SystemsFalk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer. ISoLA 2012: 608-614 [doi]
Rigorous Examination of Reactive Systems: The RERS Challenge 2015Maren Geske, Malte Isberner, Bernhard Steffen. RV 2015: 423-429 [doi]
Machine Learning for Emergent MiddlewareAmel Bennaceur, Valérie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Richard Johansson, Alessandro Moschitti. ecai 2013: 16-29 [doi]
Grundlagen des aktiven Automatenlernens: Eine algorithmische SichtweiseMalte Isberner. gi 2016: 131-140
LearnLib Tutorial: From Finite Automata to Register Interface ProgramsFalk Howar, Malte Isberner, Maik Merten, Bernhard Steffen. ISoLA 2012: 587-590 [doi]
Inferring Semantic Interfaces of Data StructuresFalk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson. ISoLA 2012: 554-571 [doi]

runs on WebDSL