default search action
Malte Isberner
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 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
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
- [b1]Malte Isberner:
Foundations of active automata learning: an algorithmic perspective. Technical University Dortmund, Germany, 2015 - [j6]Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner
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) - [c23]Lukás Holík
Mediator Synthesis in a Component Algebra with Data. Correct System Design 2015: 238-259 - [c22]Malte Isberner
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 - [p1]Malte Isberner:
Grundlagen des aktiven Automatenlernens: Eine algorithmische Sichtweise. Ausgezeichnete Informatikdissertationen 2015: 131-140 - 2014
- [j5]Malte Isberner
Learning register automata: from languages to program structures. Mach. Learn. 96(1-2): 65-98 (2014) - [j4]Falk Howar, Malte Isberner
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
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
Tailored generation of concurrent benchmarks. Int. J. Softw. Tools Technol. Transf. 16(5): 543-558 (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
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. ISoLA (1) 2014: 481-498 - [c16]Falk Howar
Tutorial: Automata Learning in Practice. ISoLA (1) 2014: 499-513 - [c15]Dimitra Giannakopoulou, Falk Howar
Taming test inputs for separation assurance. ASE 2014: 373-384 - [c14]Malte Isberner
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. RV 2014: 307-322 - 2013
- [c13]Malte Isberner
Inferring Automata with State-Local Alphabet Abstractions. NASA Formal Methods 2013: 124-138 - [c12]Amel Bennaceur
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. SEFM 2013: 274-288 - [c11]Bernhard Steffen, Malte Isberner
Property-Driven Benchmark Generation. SPIN 2013: 341-357 - 2012
- [c10]Amel Bennaceur
Machine Learning for Emergent Middleware. EternalS@ECAI 2012: 16-29 - [c9]Falk Howar
Inferring Semantic Interfaces of Data Structures. ISoLA (1) 2012: 554-571 - [c8]Falk Howar
LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLA (1) 2012: 587-590 - [c7]Maik Merten, Malte Isberner
Automated Learning Setups in Automata Learning. ISoLA (1) 2012: 591-607 - [c6]Falk Howar
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
2000 – 2009
- 2009
- [c4]Tiziana Margaria
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
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
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: