Follow
Joshua Moerman
Title
Cited by
Cited by
Year
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
822015
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
782017
Minimal separating sequences for all pairs of states
R Smetsers, J Moerman, DN Jansen
Language and Automata Theory and Applications: 10th International Conference …, 2016
212016
Complementing model learning with mutation-based fuzzing
R Smetsers, J Moerman, M Janssen, S Verwer
arXiv preprint arXiv:1611.02429, 2016
192016
Orbit-finite-dimensional vector spaces and weighted register automata
M Bojańczyk, B Klin, J Moerman
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
142021
Nominal Techniques and Black Box Testing for Automata Learning
J Moerman
Radboud University, 2019
142019
An abstract automata learning framework
G van Heerdt
Master’s thesis, Radboud University Nijmegen, 2016
142016
Learning Product Automata
J Moerman
Proceedings of The 14th International Conference on Grammatical Inference …, 2019
122019
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
102022
n-Complete test suites for IOCO
P van Den Bos, R Janssen, J Moerman
Software Quality Journal 27, 563-588, 2019
102019
Residual Nominal Automata
J Moerman, M Sammartino
31st International Conference on Concurrency Theory, CONCUR 2020 171, 44:1 …, 2020
72020
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
42020
Separation and Renaming in Nominal Sets
J Moerman, J Rot
28th EACSL Annual Conference on Computer Science Logic 152, 31:1--31:17, 2020
42020
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
32022
Rational Homotopy Theory
J Moerman
Radboud University Nijmegen, 2015
22015
A Complete Version of the ADS Method for Conformance Testing
GJ van Cuyck, FW Vaandrager, J Moerman
Bachelor’s thesis, Radboud University, 2019
12019
Checking Model Learning Hypotheses with Symbolic Execution
J Guijt, FW Vaandrager, J Moerman
12018
satuio: Software tool for generating adaptive distinguishing sequences and unique input/output sequences for finite state machines
J Moerman, T Wißmann
2022
State Identification and Verification with Satisfaction
J Moerman, T Wißmann
A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20