| Applying automata learning to embedded control software W Smeenk, J Moerman, F Vaandrager, DN Jansen International Conference on Formal Engineering Methods, 67-83, 2015 | 49 | 2015 |
| 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 | 40 | 2017 |
| Minimal separating sequences for all pairs of states R Smetsers, J Moerman, DN Jansen Language and Automata Theory and Applications, 181-193, 2016 | 12 | 2016 |
| Complementing model learning with mutation-based fuzzing R Smetsers, J Moerman, M Janssen, S Verwer arXiv preprint arXiv:1611.02429, 2016 | 8 | 2016 |
| n-Complete test suites for IOCO P van den Bos, R Janssen, J Moerman Software Quality Journal 27 (2), 563-588, 2019 | 7 | 2019 |
| Nominal Techniques and Black Box Testing for Automata Learning J Moerman Radboud University, 2019 | 5 | 2019 |
| Learning Product Automata J Moerman Proceedings of The 14th International Conference on Grammatical Inference …, 2019 | 4 | 2019 |
| Fast computations on ordered nominal sets D Venhoek, J Moerman, J Rot International Colloquium on Theoretical Aspects of Computing, 493-512, 2018 | 1 | 2018 |
| 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 |
Matteo SammartinoRoyal Holloway University of London, University College LondonVerified email at rhul.ac.uk
