Joshua Moerman

View Scopus Profile

Joshua Moerman

Dr

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

Research activity per year

Filter
Conference Article in proceeding

Search results

  • 2022

    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

  • 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., 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

    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

    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
  • 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

  • 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

    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