papers
Publications (5)
cs.LO2019
Separation and Renaming in Nominal Sets
Joshua Moerman, Jurriaan Rot
cs.FL2019
A (co)algebraic theory of succinct automata
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino +1
cs.FL2018
Learning Nominal Automata
Joshua Moerman, Matteo Sammartino, Alexandra Silva +2
cs.SE2017
Learning Product Automata
Joshua Moerman
cs.SE2016
Complementing Model Learning with Mutation-Based Fuzzing
Rick Smetsers, Joshua Moerman, Mark Janssen +1