default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMalte Isberner
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2015
[b1]Malte Isberner:
Foundations of active automata learning: an algorithmic perspective. Technical University Dortmund, Germany, 2015
Journal Articles
- 2015
- [j6]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): 1-5 (2015) - 2014
- [j5]Malte Isberner, Falk Howar, Bernhard Steffen:
Learning register automata: from languages to program structures. Mach. Learn. 96(1-2): 65-98 (2014) - [j4]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): 457-464 (2014) - [j3]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): 465-479 (2014) - [j2]Oliver Bauer, Maren Geske, Malte Isberner:
Analyzing program behavior through active automata learning. Int. J. Softw. Tools Technol. Transf. 16(5): 531-542 (2014) - [j1]Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria:
Tailored generation of concurrent benchmarks. Int. J. Softw. Tools Technol. Transf. 16(5): 543-558 (2014)
Conference and Workshop Papers
- 2016
- [c26]Bernhard Steffen, Malte Isberner, Marc Jasper:
Playing with Abstraction and Representation. Semantics, Logics, and Calculi 2016: 191-213 - [c25]Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen:
ALEX: Mixed-Mode Learning of Web Applications at Ease. ISoLA (2) 2016: 655-671 - [c24]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: 442-459 - 2015
- [c23]Lukás Holík, Malte Isberner, Bengt Jonsson:
Mediator Synthesis in a Component Algebra with Data. Correct System Design 2015: 238-259 - [c22]Malte Isberner, Falk Howar, Bernhard Steffen:
The Open-Source LearnLib - A Framework for Active Automata Learning. CAV (1) 2015: 487-495 - [c21]Malte Isberner, Bernhard Steffen, Falk Howar:
LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. RV 2015: 358-377 - [c20]Maren Geske, Malte Isberner, Bernhard Steffen:
Rigorous Examination of Reactive Systems: The RERS Challenge 2015. RV 2015: 423-429 - 2014
- [c19]Malte Isberner, Bernhard Steffen:
An Abstract Framework for Counterexample Analysis in Active Automata Learning. ICGI 2014: 79-93 - [c18]Oliver Bauer, Johannes Neubauer, Malte Isberner:
Model-Driven Active Automata Learning with LearnLib Studio. ISoLA (Revised Selected Papers) 2014: 128-142 - [c17]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: 481-498 - [c16]Falk Howar, Malte Isberner, Bernhard Steffen:
Tutorial: Automata Learning in Practice. ISoLA (1) 2014: 499-513 - [c15]Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman:
Taming test inputs for separation assurance. ASE 2014: 373-384 - [c14]Malte Isberner, Falk Howar, Bernhard Steffen:
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. RV 2014: 307-322 - 2013
- [c13]Malte Isberner, Falk Howar, Bernhard Steffen:
Inferring Automata with State-Local Alphabet Abstractions. NASA Formal Methods 2013: 124-138 - [c12]Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson:
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. SEFM 2013: 274-288 - [c11]Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske:
Property-Driven Benchmark Generation. SPIN 2013: 341-357 - 2012
- [c10]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: 16-29 - [c9]Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson:
Inferring Semantic Interfaces of Data Structures. ISoLA (1) 2012: 554-571 - [c8]Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen:
LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLA (1) 2012: 587-590 - [c7]Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria:
Automated Learning Setups in Automata Learning. ISoLA (1) 2012: 591-607 - [c6]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: 608-614 - [c5]Bernhard Steffen, Falk Howar, Malte Isberner:
Active Automata Learning: From DFAs to Interface Programs and Beyond. ICGI 2012: 195-209 - 2009
- [c4]Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen:
Synthesizing Semantic Web Service Compositions with jMosel and Golog. ISWC 2009: 392-407 - 2006
- [c3]Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle:
Computer Science Exercises in a Virtual University. CSREA EEE 2006: 23-29 - [c2]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: 316-321 - 2005
- [c1]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: 523-524
Parts in Books or Collections
- 2015
- [p1]Malte Isberner:
Grundlagen des aktiven Automatenlernens: Eine algorithmische Sichtweise. Ausgezeichnete Informatikdissertationen 2015: 131-140
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
