Joshua Moerman

According to our database, Joshua Moerman authored at least 18 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.

Mikolaj Bojanczyk, Joanna Fijalkow, Bartek Klin, Joshua Moerman

TheoretiCS, 2024

Output-decomposed Learning of Mealy Machines.

Rick Koenders, Joshua Moerman

CoRR, 2024

2022

Fast computations on ordered nominal sets.

David Venhoek, Joshua Moerman, Jurriaan Rot

Theor. Comput. Sci., 2022

Residuality and Learning for Nondeterministic Nominal Automata.

Joshua Moerman, Matteo Sammartino

Log. Methods Comput. Sci., 2022

Gradient-Descent for Randomized Controllers Under Partial Observability.

Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

State Identification and Verification with Satisfaction.

Joshua Moerman, Thorsten Wißmann

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Gradient-Descent for Randomized Controllers under Partial Observability (Artifact).

Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen

Dataset, November, 2021

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.

Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Generating Functions for Probabilistic Programs.

Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

Separation and Renaming in Nominal Sets.

Joshua Moerman, Jurriaan Rot

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

Residual Nominal Automata.

Joshua Moerman, Matteo Sammartino

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

n-Complete test suites for IOCO.

Petra van den Bos, Ramon Janssen, Joshua Moerman

Softw. Qual. J., 2019

A (co)algebraic theory of succinct automata.

Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva

J. Log. Algebraic Methods Program., 2019

2018

Learning Product Automata.

Joshua Moerman

Proceedings of the 14th International Conference on Grammatical Inference, 2018

2017

Learning nominal automata.

Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Complementing Model Learning with Mutation-Based Fuzzing.

Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer

CoRR, 2016

Minimal Separating Sequences for All Pairs of States.

Rick Smetsers, Joshua Moerman, David N. Jansen

Proceedings of the Language and Automata Theory and Applications, 2016

2015

Applying Automata Learning to Embedded Control Software.

Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen

Proceedings of the Formal Methods and Software Engineering, 2015