Malte Isberner

34 papers A* 1A 1B 4Misc 1Journal 6Unranked 19

Year	Rank	Type	Title / Venue / Authors
2016	—	`conf`	ALEX: Mixed-Mode Learning of Web Applications at Ease. ISoLA (2) Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen
2016	A	`conf`	JDart: A Dynamic Symbolic Analysis Framework. TACAS Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman
2016	—	`conf`	Playing with Abstraction and Representation. Semantics, Logics, and Calculi Bernhard Steffen, Malte Isberner, Marc Jasper
2015	—	`—`	Foundations of active automata learning: an algorithmic perspective. Malte Isberner
2015	—	`ch.`	Grundlagen des aktiven Automatenlernens: Eine algorithmische Sichtweise. Ausgezeichnete Informatikdissertationen Malte Isberner
2015	B	`conf`	LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. RV Malte Isberner, Bernhard Steffen, Falk Howar
2015	—	`conf`	Mediator Synthesis in a Component Algebra with Data. Correct System Design Lukás Holík, Malte Isberner, Bengt Jonsson
2015	B	`conf`	Rigorous Examination of Reactive Systems: The RERS Challenge 2015. RV Maren Geske, Malte Isberner, Bernhard Steffen
2015	J	`jnl`	The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. ACM SIGSOFT Softw. Eng. Notes Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman
2015	—	`conf`	The Open-Source LearnLib - A Framework for Active Automata Learning. CAV (1) Malte Isberner, Falk Howar, Bernhard Steffen
2014	—	`conf`	An Abstract Framework for Counterexample Analysis in Active Automata Learning. ICGI Malte Isberner, Bernhard Steffen
2014	J	`jnl`	Analyzing program behavior through active automata learning. Int. J. Softw. Tools Technol. Transf. Oliver Bauer, Maren Geske, Malte Isberner
2014	—	`conf`	Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. ISoLA (1) Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay
2014	J	`jnl`	Learning register automata: from languages to program structures. Mach. Learn. Malte Isberner, Falk Howar, Bernhard Steffen
2014	—	`conf`	Model-Driven Active Automata Learning with LearnLib Studio. ISoLA (Revised Selected Papers) Oliver Bauer, Johannes Neubauer, Malte Isberner
2014	J	`jnl`	Property-driven benchmark generation: synthesizing programs of realistic structure. Int. J. Softw. Tools Technol. Transf. Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske
2014	J	`jnl`	Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. Int. J. Softw. Tools Technol. Transf. Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu
2014	J	`jnl`	Tailored generation of concurrent benchmarks. Int. J. Softw. Tools Technol. Transf. Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria
2014	A*	`conf`	Taming test inputs for separation assurance. ASE Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman
2014	B	`conf`	The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. RV Malte Isberner, Falk Howar, Bernhard Steffen
2014	—	`conf`	Tutorial: Automata Learning in Practice. ISoLA (1) Falk Howar, Malte Isberner, Bernhard Steffen
2013	B	`conf`	Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. SEFM Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson
2013	—	`conf`	Inferring Automata with State-Local Alphabet Abstractions. NASA Formal Methods Malte Isberner, Falk Howar, Bernhard Steffen
2013	—	`conf`	Property-Driven Benchmark Generation. SPIN Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske
2012	—	`conf`	Active Automata Learning: From DFAs to Interface Programs and Beyond. ICGI Bernhard Steffen, Falk Howar, Malte Isberner
2012	—	`conf`	Automated Learning Setups in Automata Learning. ISoLA (1) Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria
2012	—	`conf`	Inferring Semantic Interfaces of Data Structures. ISoLA (1) Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson
2012	—	`conf`	LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLA (1) Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen
2012	—	`conf`	Machine Learning for Emergent Middleware. EternalS@ECAI Amel Bennaceur, Valérie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Richard Johansson, Alessandro Moschitti
2012	—	`conf`	The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. ISoLA (1) Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer
2009	Misc	`conf`	Synthesizing Semantic Web Service Compositions with jMosel and Golog. ISWC Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen
2006	—	`conf`	An Extendable System for the Specification and Generation of Interactive Self-tests. Edutainment Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
2006	—	`conf`	Computer Science Exercises in a Virtual University. CSREA EEE Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
2005	—	`conf`	Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. DeLFI Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera