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
942014
The open-source LearnLib
M Isberner, F Howar, B Steffen
International Conference on Computer Aided Verification, 487-495, 2015
832015
Learning register automata: from languages to program structures
M Isberner, F Howar, B Steffen
Machine Learning 96 (1-2), 65-98, 2014
532014
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
382012
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
362012
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
342016
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
322014
Foundations of active automata learning: an algorithmic perspective
M Isberner
312015
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
312014
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
212013
Inferring automata with state-local alphabet abstractions
M Isberner, F Howar, B Steffen
NASA Formal Methods Symposium, 124-138, 2013
212013
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
192014
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
172009
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
162014
Active automata learning: from DFAs to interface programs and beyond
B Steffen, F Howar, M Isberner
International Conference on Grammatical Inference, 195-209, 2012
152012
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
142013
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
142012
An abstract framework for counterexample analysis in active automata learning
M Isberner, B Steffen
International Conference on Grammatical Inference, 79-93, 2014
132014
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
112012
LearnLib tutorial: from finite automata to register interface programs
F Howar, M Isberner, M Merten, B Steffen
International Symposium On Leveraging Applications of Formal Methods …, 2012
112012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20