Malte Isberner

According to our database1, Malte Isberner
  • authored at least 33 papers between 2005 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
JDart: A Dynamic Symbolic Analysis Framework.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

ALEX: Mixed-Mode Learning of Web Applications at Ease.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Playing with Abstraction and Representation.
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
Foundations of active automata learning: an algorithmic perspective.
PhD thesis, 2015

The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications.
ACM SIGSOFT Software Engineering Notes, 2015

LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Rigorous Examination of Reactive Systems: The RERS Challenge 2015.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Grundlagen des aktiven Automatenlernens: Eine algorithmische Sichtweise.
Proceedings of the Ausgezeichnete Informatikdissertationen 2015, 2015

The Open-Source LearnLib - A Framework for Active Automata Learning.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Mediator Synthesis in a Component Algebra with Data.
Proceedings of the Correct System Design, 2015

2014
Property-driven benchmark generation: synthesizing programs of realistic structure.
STTT, 2014

Tailored generation of concurrent benchmarks.
STTT, 2014

Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.
STTT, 2014

Analyzing program behavior through active automata learning.
STTT, 2014

Learning register automata: from languages to program structures.
Machine Learning, 2014

The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Taming test inputs for separation assurance.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Tutorial: Automata Learning in Practice.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

An Abstract Framework for Counterexample Analysis in Active Automata Learning.
Proceedings of the 12th International Conference on Grammatical Inference, 2014

2013
Property-Driven Benchmark Generation.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Inferring Automata with State-Local Alphabet Abstractions.
Proceedings of the NASA Formal Methods, 2013

2012
Active Automata Learning: From DFAs to Interface Programs and Beyond.
Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

Automated Learning Setups in Automata Learning.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Inferring Semantic Interfaces of Data Structures.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

LearnLib Tutorial: From Finite Automata to Register Interface Programs.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Machine Learning for Emergent Middleware.
Proceedings of the Trustworthy Eternal Systems via Evolving Software, Data and Knowledge, 2012

2009
Synthesizing Semantic Web Service Compositions with jMosel and Golog.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

2006
An Extendable System for the Specification and Generation of Interactive Self-tests.
Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006

Computer Science Exercises in a Virtual University.
Proceedings of the 2006 International Conference on E-Learning, 2006

2005
Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen.
Proceedings of the DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, 2005


  Loading...