Joshua Moerman

Cited by

	All	Since 2019
Citations	325	249
h-index	10	9
i10-index	10	9

201420152016201720182019202020212022202320242 2 11 25 32 40 39 32 45 51 39

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Matteo SammartinoRoyal Holloway University of London, University College LondonVerified email at rhul.ac.uk
Alexandra SilvaCornell UniversityVerified email at cornell.edu
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
Bartek KlinUniversity of OxfordVerified email at cs.ox.ac.uk
Gerco van HeerdtUniversity College LondonVerified email at ucl.ac.uk
Rick SmetsersASMLVerified email at asml.com
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
Sicco VerwerDelft University of TechnologyVerified email at tudelft.nl
Mikołaj BojańczykUniwersytet WarszawskiVerified email at mimuw.edu.pl
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Linus HeckPhD student, Radboud UniversityVerified email at rwth-aachen.de
Tobias WinklerPhD Student, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Kevin BatzPhD Student, RWTH Aachen UniversityVerified email at rwth-aachen.de
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de
Thorsten WißmannFriedrich-Alexander-Universität Erlangen-NürnbergVerified email at fau.de

Joshua Moerman

Open Universiteit

Verified email at ou.nl - Homepage

Automata Learning Coalgebra Conformance Testing


Title Sort by citations Sort by year Sort by 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	85	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	81	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	24	2016
Complementing model learning with mutation-based fuzzing R Smetsers, J Moerman, M Janssen, S Verwer arXiv preprint arXiv:1611.02429, 2016	19	2016
Nominal Techniques and Black Box Testing for Automata Learning J Moerman Radboud University, 2019	17	2019
Orbit-finite-dimensional vector spaces and weighted register automata M Bojańczyk, J Fijalkow, B Klin, J Moerman TheoretiCS 3, 2024	16	2024
Learning Product Automata J Moerman Proceedings of The 14th International Conference on Grammatical Inference …, 2019	15	2019
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	14	2022
An abstract automata learning framework G van Heerdt Master’s thesis, Radboud University Nijmegen, 2016	14	2016
n-Complete test suites for IOCO P van Den Bos, R Janssen, J Moerman Software Quality Journal 27, 563-588, 2019	11	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
Fast computations on ordered nominal sets D Venhoek, J Moerman, J Rot Theoretical Computer Science 935, 82-104, 2022	4	2022
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
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors