Folgen
Malte Isberner
Malte Isberner
StackRox Inc.
Bestätigte E-Mail-Adresse bei stackrox.com
Titel
Zitiert von
Zitiert von
Jahr
The TTT algorithm: a redundancy-free approach to active automata learning
M Isberner, F Howar, B Steffen
International Conference on Runtime Verification, 307-322, 2014
1492014
The open-source LearnLib
M Isberner, F Howar, B Steffen
International Conference on Computer Aided Verification, 487-495, 2015
1332015
JDart: A Dynamic Symbolic Analysis Framework
K Luckow, M Dimjašević, D Giannakopoulou, F Howar, M Isberner, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
702016
Learning register automata: from languages to program structures
M Isberner, F Howar, B Steffen
Machine Learning 96 (1), 65-98, 2014
662014
The RERS grey-box challenge 2012: Analysis of event-condition-action systems
F Howar, M Isberner, M Merten, B Steffen, D Beyer
International Symposium On Leveraging Applications of Formal Methods …, 2012
472012
Foundations of active automata learning: an algorithmic perspective
M Isberner
442015
Inferring semantic interfaces of data structures
F Howar, M Isberner, B Steffen, O Bauer, B Jonsson
International Symposium On Leveraging Applications of Formal Methods …, 2012
422012
Property-driven benchmark generation: synthesizing programs of realistic structure
B Steffen, M Isberner, S Naujokat, T Margaria, M Geske
International Journal on Software Tools for Technology Transfer 16 (5), 465-479, 2014
382014
Rigorous examination of reactive systems
F Howar, M Isberner, M Merten, B Steffen, D Beyer, CS Păsăreanu
International Journal on Software Tools for Technology Transfer 16 (5), 457-464, 2014
362014
Inferring automata with state-local alphabet abstractions
M Isberner, F Howar, B Steffen
NASA Formal Methods Symposium, 124-138, 2013
252013
Domain-specific code generator modeling: a case study for multi-faceted concurrent systems
S Naujokat, LM Traonouez, M Isberner, B Steffen, A Legay
International Symposium On Leveraging Applications of Formal Methods …, 2014
222014
Automated mediator synthesis: Combining behavioural and ontological reasoning
A Bennaceur, C Chilton, M Isberner, B Jonsson
International Conference on Software Engineering and Formal Methods, 274-288, 2013
222013
Machine learning for emergent middleware
A Bennaceur, V Issarny, D Sykes, F Howar, M Isberner, B Steffen, ...
International Workshop on Eternal Systems, 16-29, 2012
212012
Active automata learning: from DFAs to interface programs and beyond
B Steffen, F Howar, M Isberner
International Conference on Grammatical Inference, 195-209, 2012
192012
Synthesizing semantic web service compositions with jMosel and Golog
T Margaria, D Meyer, C Kubczak, M Isberner, B Steffen
International Semantic Web Conference, 392-407, 2009
192009
Taming test inputs for separation assurance
D Giannakopoulou, F Howar, M Isberner, T Lauderdale, Z Rakamarić, ...
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
172014
ALEX: mixed-mode learning of web applications at ease
A Bainczyk, A Schieweck, M Isberner, T Margaria, J Neubauer, B Steffen
International Symposium on Leveraging Applications of Formal Methods, 655-671, 2016
152016
An abstract framework for counterexample analysis in active automata learning
M Isberner, B Steffen
International Conference on Grammatical Inference, 79-93, 2014
152014
Property-driven benchmark generation
B Steffen, M Isberner, S Naujokat, T Margaria, M Geske
International SPIN Workshop on Model Checking of Software, 341-357, 2013
152013
Automated learning setups in automata learning
M Merten, M Isberner, F Howar, B Steffen, T Margaria
International Symposium On Leveraging Applications of Formal Methods …, 2012
142012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20