Seuraa
Joshua Moerman
Joshua Moerman
Open Universiteit
Vahvistettu sähköpostiosoite verkkotunnuksessa ou.nl - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
912015
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
872017
Minimal separating sequences for all pairs of states
R Smetsers, J Moerman, DN Jansen
Language and Automata Theory and Applications: 10th International Conference …, 2016
262016
Nominal Techniques and Black Box Testing for Automata Learning
J Moerman
Radboud University, 2019
252019
Complementing model learning with mutation-based fuzzing
R Smetsers, J Moerman, M Janssen, S Verwer
arXiv preprint arXiv:1611.02429, 2016
222016
Orbit-finite-dimensional vector spaces and weighted register automata
M Bojańczyk, J Fijalkow, B Klin, J Moerman
TheoretiCS 3, 2024
182024
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
162022
Learning Product Automata
J Moerman
Proceedings of The 14th International Conference on Grammatical Inference …, 2019
162019
n-Complete test suites for IOCO
P van Den Bos, R Janssen, J Moerman
Software Quality Journal 27, 563-588, 2019
132019
An abstract automata learning framework
G van Heerdt
Master's thesis, Radboud Universiteit Nijmegen, 2016
132016
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
92020
Residual Nominal Automata
J Moerman, M Sammartino
31st International Conference on Concurrency Theory, CONCUR 2020 171, 44:1 …, 2020
72020
n-complete test suites for IOCO. Softw. Qual. J. 27 (2), 563–588 (2019)
P van den Bos, R Janssen, J Moerman
5
Fast computations on ordered nominal sets
D Venhoek, J Moerman, J Rot
Theoretical Computer Science 935, 82-104, 2022
42022
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
Residuality and Learning for Nondeterministic Nominal Automata
J Moerman, M Sammartino
Logical Methods in Computer Science 18, 2022
22022
Rational Homotopy Theory
J Moerman
Radboud University Nijmegen, 2015
22015
State identification and verification with satisfaction
J Moerman, T Wißmann
A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022
12022
Rers 2020: Learning, testing, fuzzing and slicing
J Moerman, J Berger
12020
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20