Παρακολούθηση
Joshua Moerman
Joshua Moerman
Open Universiteit
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ou.nl - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
852015
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
822017
Minimal separating sequences for all pairs of states
R Smetsers, J Moerman, DN Jansen
Language and Automata Theory and Applications: 10th International Conference …, 2016
242016
Complementing model learning with mutation-based fuzzing
R Smetsers, J Moerman, M Janssen, S Verwer
arXiv preprint arXiv:1611.02429, 2016
192016
Nominal Techniques and Black Box Testing for Automata Learning
J Moerman
Radboud University, 2019
172019
Orbit-finite-dimensional vector spaces and weighted register automata
M Bojańczyk, J Fijalkow, B Klin, J Moerman
TheoretiCS 3, 2024
162024
Learning Product Automata
J Moerman
Proceedings of The 14th International Conference on Grammatical Inference …, 2019
152019
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
142022
An abstract automata learning framework
G van Heerdt
Master’s thesis, Radboud University Nijmegen, 2016
142016
n-Complete test suites for IOCO
P van Den Bos, R Janssen, J Moerman
Software Quality Journal 27, 563-588, 2019
112019
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
62020
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
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
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20