Folgen
Malte Isberner
Malte Isberner
Red Hat
Bestätigte E-Mail-Adresse bei redhat.com
Titel
Zitiert von
Zitiert von
Jahr
The TTT algorithm: a redundancy-free approach to active automata learning
M Isberner, F Howar, B Steffen
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014
2312014
The open-source learnLib: a framework for active automata learning
M Isberner, F Howar, B Steffen
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
2102015
JDart: A Dynamic Symbolic Analysis Framework
K Luckow, M Dimjašević, D Giannakopoulou, F Howar, M Isberner, ...
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
952016
Learning register automata: from languages to program structures
M Isberner, F Howar, B Steffen
Machine Learning 96, 65-98, 2014
722014
Foundations of active automata learning: an algorithmic perspective
M Isberner
622015
The RERS grey-box challenge 2012: Analysis of event-condition-action systems
F Howar, M Isberner, M Merten, B Steffen, D Beyer
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
462012
Inferring semantic interfaces of data structures
F Howar, M Isberner, B Steffen, O Bauer, B Jonsson
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
452012
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, 465-479, 2014
392014
Rigorous examination of reactive systems: The RERS challenges 2012 and 2013
F Howar, M Isberner, M Merten, B Steffen, D Beyer, CS Păsăreanu
International Journal on Software Tools for Technology Transfer 16, 457-464, 2014
392014
Domain-specific code generator modeling: a case study for multi-faceted concurrent systems
S Naujokat, LM Traonouez, M Isberner, B Steffen, A Legay
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
262014
Inferring automata with state-local alphabet abstractions
M Isberner, F Howar, B Steffen
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
262013
Automated mediator synthesis: Combining behavioural and ontological reasoning
A Bennaceur, C Chilton, M Isberner, B Jonsson
Software Engineering and Formal Methods: 11th International Conference, SEFM …, 2013
222013
Synthesizing semantic web service compositions with jMosel and Golog
T Margaria, D Meyer, C Kubczak, M Isberner, B Steffen
The Semantic Web-ISWC 2009: 8th International Semantic Web Conference, ISWC …, 2009
222009
Machine learning for emergent middleware
A Bennaceur, V Issarny, D Sykes, F Howar, M Isberner, B Steffen, ...
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge …, 2013
212013
Active automata learning: from DFAs to interface programs and beyond
B Steffen, F Howar, M Isberner
International Conference on Grammatical Inference, 195-209, 2012
212012
ALEX: mixed-mode learning of web applications at ease
A Bainczyk, A Schieweck, M Isberner, T Margaria, J Neubauer, B Steffen
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
192016
Automated learning setups in automata learning
M Merten, M Isberner, F Howar, B Steffen, T Margaria
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
182012
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
An abstract framework for counterexample analysis in active automata learning
M Isberner, B Steffen
International Conference on Grammatical Inference, 79-93, 2014
172014
Property-driven benchmark generation
B Steffen, M Isberner, S Naujokat, T Margaria, M Geske
Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013
162013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20