Joshua Moerman
Joshua Moerman
Verified email at cs.rwth-aachen.de - Homepage
Title
Cited by
Cited by
Year
Applying automata learning to embedded control software
W Smeenk, J Moerman, F Vaandrager, DN Jansen
International Conference on Formal Engineering Methods, 67-83, 2015
492015
Learning nominal automata
J Moerman, M Sammartino, A Silva, B Klin, M Szynwelski
POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of …, 2017
402017
Minimal separating sequences for all pairs of states
R Smetsers, J Moerman, DN Jansen
Language and Automata Theory and Applications, 181-193, 2016
122016
Complementing model learning with mutation-based fuzzing
R Smetsers, J Moerman, M Janssen, S Verwer
arXiv preprint arXiv:1611.02429, 2016
82016
n-Complete test suites for IOCO
P van den Bos, R Janssen, J Moerman
Software Quality Journal 27 (2), 563-588, 2019
72019
Nominal Techniques and Black Box Testing for Automata Learning
J Moerman
Radboud University, 2019
52019
Learning Product Automata
J Moerman
Proceedings of The 14th International Conference on Grammatical Inference …, 2019
42019
Fast computations on ordered nominal sets
D Venhoek, J Moerman, J Rot
International Colloquium on Theoretical Aspects of Computing, 493-512, 2018
12018
Residual Nominal Automata
J Moerman, M Sammartino
31st International Conference on Concurrency Theory, CONCUR 2020 171, 44:1 …, 2020
2020
Generating Functions for Probabilistic Programs
L Klinkenberg, K Batz, BL Kaminski, JP Katoen, J Moerman, T Winkler
arXiv preprint arXiv:2007.06327, 2020
2020
Separation and Renaming in Nominal Sets
J Moerman, J Rot
28th EACSL Annual Conference on Computer Science Logic 152, 31:1--31:17, 2020
2020
A Complete Version of the ADS Method for Conformance Testing
GJ van Cuyck, FW Vaandrager, J Moerman
2019
A (co) algebraic theory of succinct automata
M Sammartino, G Van Heerdt, A Silva, J Moerman
Journal of Logical and Algebraic Methods in Programming 105, 112-125, 2019
2019
Checking Model Learning Hypotheses with Symbolic Execution
J Guijt, FW Vaandrager, J Moerman
2018
Automata extended to nominal sets
J Veldhoven, J Rot, H Geuvers, J Moerman, W Bosma
2018
RATIONAL HOMOTOPY THEORY
J Moerman
2015
Dold-Kan Correspondence
J Moerman, M Groth
2013
The system can't perform the operation now. Try again later.
Articles 1–17