Joshua Moerman

View Scopus Profile

Joshua Moerman

Dr

 https://orcid.org/0000-0001-9819-8374
20152024

Research activity per year

Search results

  • 2024

    Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

    Bojańczyk, M., Fijalkow, J., Klin, B. & Moerman, J., 6 May 2024, In: TheoretiCS. 3, 41 p., 13.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access

  • Output-decomposed Learning of Mealy Machines

    Koenders, R. & Moerman, J., 14 May 2024, (Submitted) Cornell University - arXiv, 11 p.

    Research output: Working paper / Preprint › Preprint › Academic

  • 2022

    Fast computations on ordered nominal sets

    Venhoek, D., Moerman, J. & Rot, J., 31 Oct 2022, In: Theor. Comput. Sci.. 935, p. 82-104 23 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access

  • Fast Computations on Ordered Nominal Sets

    Venhoek, D., Moerman, J. & Rot, J., 16 Aug 2022, Cornell University - arXiv, 38 p. (Computing Research Repository).

    Research output: Working paper / Preprint › Preprint › Academic

    Open Access

  • Gradient-Descent for Randomized Controllers Under Partial Observability

    Heck, L., Spel, J., Junges, S., Moerman, J. & Katoen, J.-P., 2022, Verification, model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings. Finkbeiner, B. & Wies, T. (eds.). 1 ed. Springer, p. 127-150 24 p. (Lecture Notes in Computer Science, Vol. 13182). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 13182).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Residuality and Learning for Nondeterministic Nominal Automata

    Moerman, J. & Sammartino, M., 3 Feb 2022, In: Logical Methods in Computer Science. 18, 1, 28 p., 29.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access

  • satuio: Software tool for generating adaptive distinguishing sequences and unique input/output sequences for finite state machines

    Moerman, J. & Wißmann, T., 23 Sept 2022

    Research output: Non-textual form › Software › Academic

    Open Access

  • State Identification and Verification with Satisfaction

    Moerman, J. & Wißmann, T., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Nils Jansen, Mariëlle Stoelinga & Petra van den Bos (eds.). 1 ed. Springer, Vol. 13560. p. 450-466 17 p. (Lecture Notes in Computer Science, Vol. 13560).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2021

    Generating Functions for Probabilistic Programs

    Klinkenberg, L., Batz, K., Kaminski, B. L., Katoen, J.-P., Moerman, J. & Winkler, T., 13 Feb 2021, Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings. Maribel Fernández (ed.). 1 ed. Cham: Springer, p. 231-248 18 p. (Lecture Notes in Computer Science, Vol. 12561).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

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

    Bojanczyk, M., Klin, B. & Moerman, J., Apr 2021, Cornell University - arXiv.

    Research output: Working paper / Preprint › Preprint › Academic

    Open Access

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

    Bojanczyk, M., Klin, B. & Moerman, J., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 1-13 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • 2020

    Generating Functions for Probabilistic Programs

    Klinkenberg, L., Batz, K., Kaminski, B. L., Katoen, J.-P., Moerman, J. & Winkler, T., Jul 2020, Cornell University - arXiv.

    Research output: Working paper / Preprint › Preprint › Academic

    Open Access

  • Residual Nominal Automata

    Moerman, J. & Sammartino, M., 1 Aug 2020, CONCUR 2020: 31st International Conference on Concurrency Theory. Konnov, I. & Kovács, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 44:1-44:21 21 p. 44

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Separation and Renaming in Nominal Sets

    Moerman, J. & Rot, J., Jan 2020, CSL: 28th EACSL Annual Conference on Computer Science Logic. Fernandez, M. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 31:1-31:17 17 p. 31

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
  • 2019

    A (co)algebraic theory of succinct automata

    Heerdt, G. V., Moerman, J., Sammartino, M. & Silva, A., Jun 2019, In: Journal of Logical and Algebraic Methods in Programming. 105, p. 112-125 14 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access

  • Learning Product Automata

    Moerman, J., 2019, Proceedings of Machine Learning Research. Unold, O., Dyrka, W. & Wieczorek, W. (eds.). PMLR, Vol. 93. p. 54-66 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • n-Complete test suites for IOCO

    Bos, P. V. D., Janssen, R. & Moerman, J., 15 Jun 2019, In: Software Quality Journal. 27, 2, p. 563-588 26 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
  • 2018

    Fast Computations on Ordered Nominal Sets

    Venhoek, D., Moerman, J. & Rot, J., 2018, Theoretical Aspects of Computing- ICTAC 2018: 15th International Colloquium. Fischer, B. & Uustalu, T. (eds.). Springer, p. 493-512 20 p. (Lecture Notes in Computer Science, Vol. 11187). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 11187).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • 2017

    Learning nominal automata

    Moerman, J., Sammartino, M., Silva, A., Klin, B. & Szynwelski, M., 2017, POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Castagna, G. & Gordon, A. D. (eds.). Association for Computing Machinery, p. 613-625 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Learning Product Automata

    Moerman, J., May 2017, Cornell University - arXiv, 5 p. (Computing Research Repository).

    Research output: Working paper / Preprint › Preprint › Academic

    Open Access

  • n-Complete Test Suites for IOCO

    Bos, P. V. D., Janssen, R. & Moerman, J., Sept 2017, Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. Springer, p. 91-107 17 p. (Lecture Notes in Computer Science, Vol. 10533).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • 2016

    Complementing Model Learning with Mutation-Based Fuzzing

    Smetsers, R., Moerman, J., Janssen, M. & Verwer, S., Nov 2016, Cornell University - arXiv, p. 1-16, 16 p.

    Research output: Working paper / Preprint › Preprint › Academic

  • Minimal Separating Sequences for All Pairs of States

    Smetsers, R., Moerman, J. & Jansen, D. N., 2016, Language and Automata Theory and Applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Dediu, A.-H., Janoušek, J., Martín-Vide, C. & Truthe, B. (eds.). Springer, p. 181-193 13 p. (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9618). (Lecture Notes in Computer Science, Vol. 9618).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • 2015

    Applying Automata Learning to Embedded Control Software

    Smeenk, W., Moerman, J., Vaandrager, F. W. & Jansen, D. N., Dec 2015, Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Butler, M., Conchon, S. & Zaïdi, F. (eds.). Springer, p. 67-83 17 p. (Lecture Notes in Computer Science, Vol. 9407).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access