Joshua Moerman

28 papers A* 2B 3C 5Journal 16Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.
TheoretiCS
Mikolaj Bojanczyk, Joanna Fijalkow, Bartek Klin, Joshua Moerman
2024 J jnl
Output-decomposed Learning of Mealy Machines.
CoRR
Rick Koenders, Joshua Moerman
2022 J jnl
Fast computations on ordered nominal sets.
Theor. Comput. Sci.
David Venhoek, Joshua Moerman, Jurriaan Rot
2022 B conf
Gradient-Descent for Randomized Controllers Under Partial Observability.
VMCAI
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
2022 J jnl
Residuality and Learning for Nondeterministic Nominal Automata.
Log. Methods Comput. Sci.
Joshua Moerman, Matteo Sammartino
2022 — conf
State Identification and Verification with Satisfaction.
A Journey from Process Algebra via Timed Automata to Model Learning
Joshua Moerman, Thorsten Wißmann
2021 J jnl
Gradient-Descent for Randomized Controllers under Partial Observability.
CoRR
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
2021 A* conf
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.
LICS
Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman
2021 J jnl
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.
CoRR
Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman
2020 C conf
Generating Functions for Probabilistic Programs.
LOPSTR
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
2020 J jnl
Generating Functions for Probabilistic Programs.
CoRR
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
2020 B conf
Residual Nominal Automata.
CONCUR
Joshua Moerman, Matteo Sammartino
2020 B conf
Separation and Renaming in Nominal Sets.
CSL
Joshua Moerman, Jurriaan Rot
2019 J jnl
A (co)algebraic theory of succinct automata.
CoRR
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva
2019 J jnl
A (co)algebraic theory of succinct automata.
J. Log. Algebraic Methods Program.
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva
2019 J jnl
Fast Computations on Ordered Nominal Sets.
CoRR
David Venhoek, Joshua Moerman, Jurriaan Rot
2019 J jnl
Residual Nominal Automata.
CoRR
Joshua Moerman, Matteo Sammartino
2019 J jnl
Separation and Renaming in Nominal Sets.
CoRR
Joshua Moerman, Jurriaan Rot
2019 J jnl
n-Complete test suites for IOCO.
Softw. Qual. J.
Petra van den Bos, Ramon Janssen, Joshua Moerman
2018 C conf
Fast Computations on Ordered Nominal Sets.
ICTAC
David Venhoek, Joshua Moerman, Jurriaan Rot
2018 — conf
Learning Product Automata.
ICGI
Joshua Moerman
2017 J jnl
Learning Product Automata.
CoRR
Joshua Moerman
2017 A* conf
Learning nominal automata.
POPL
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski
2017 C conf
n-Complete Test Suites for IOCO.
ICTSS
Petra van den Bos, Ramon Janssen, Joshua Moerman
2016 J jnl
Complementing Model Learning with Mutation-Based Fuzzing.
CoRR
Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer
2016 J jnl
Learning Nominal Automata.
CoRR
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski
2016 C conf
Minimal Separating Sequences for All Pairs of States.
LATA
Rick Smetsers, Joshua Moerman, David N. Jansen
2015 C conf
Applying Automata Learning to Embedded Control Software.
ICFEM
Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen