| Applying automata learning to embedded control software W Smeenk, J Moerman, F Vaandrager, DN Jansen Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 84 | 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 | 79 | 2017 |
| Minimal separating sequences for all pairs of states R Smetsers, J Moerman, DN Jansen Language and Automata Theory and Applications: 10th International Conference …, 2016 | 22 | 2016 |
| Complementing model learning with mutation-based fuzzing R Smetsers, J Moerman, M Janssen, S Verwer arXiv preprint arXiv:1611.02429, 2016 | 19 | 2016 |
| Orbit-finite-dimensional vector spaces and weighted register automata M Bojańczyk, J Fijalkow, B Klin, J Moerman TheoretiCS 3, 2024 | 15 | 2024 |
| Nominal Techniques and Black Box Testing for Automata Learning J Moerman Radboud University, 2019 | 15 | 2019 |
| Learning Product Automata J Moerman Proceedings of The 14th International Conference on Grammatical Inference …, 2019 | 15 | 2019 |
| An abstract automata learning framework G van Heerdt Master’s thesis, Radboud University Nijmegen, 2016 | 14 | 2016 |
| Gradient-descent for randomized controllers under partial observability L Heck, J Spel, S Junges, J Moerman, JP Katoen International Conference on Verification, Model Checking, and Abstract …, 2022 | 12 | 2022 |
| n-Complete test suites for IOCO P van Den Bos, R Janssen, J Moerman Software Quality Journal 27, 563-588, 2019 | 10 | 2019 |
| Residual Nominal Automata J Moerman, M Sammartino 31st International Conference on Concurrency Theory, CONCUR 2020 171, 44:1 …, 2020 | 7 | 2020 |
| Generating functions for probabilistic programs L Klinkenberg, K Batz, BL Kaminski, JP Katoen, J Moerman, T Winkler International Symposium on Logic-Based Program Synthesis and Transformation …, 2020 | 6 | 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 | 4 | 2020 |
| 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 | 4* | 2019 |
| Fast computations on ordered nominal sets D Venhoek, J Moerman, J Rot Theoretical Computer Science 935, 82-104, 2022 | 3 | 2022 |
| Rational Homotopy Theory J Moerman Radboud University Nijmegen, 2015 | 2 | 2015 |
| A Complete Version of the ADS Method for Conformance Testing GJ van Cuyck, FW Vaandrager, J Moerman Bachelor’s thesis, Radboud University, 2019 | 1 | 2019 |
| Checking Model Learning Hypotheses with Symbolic Execution J Guijt, FW Vaandrager, J Moerman | 1 | 2018 |
| Output-decomposed Learning of Mealy Machines R Koenders, J Moerman arXiv preprint arXiv:2405.08647, 2024 | | 2024 |
| satuio: Software tool for generating adaptive distinguishing sequences and unique input/output sequences for finite state machines J Moerman, T Wißmann | | 2022 |
Matteo SammartinoRoyal Holloway University of London, University College London在 rhul.ac.uk 的电子邮件经过验证
