Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Joshua Moerman
@article{DBLP:journals/lmcs/MoermanS22,
author = {Joshua Moerman and
Matteo Sammartino},
title = {Residuality and Learning for Nondeterministic Nominal Automata},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:29)2022},
doi = {10.46298/LMCS-18(1:29)2022},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/MoermanS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VenhoekMR22,
author = {David Venhoek and
Joshua Moerman and
Jurriaan Rot},
title = {Fast computations on ordered nominal sets},
journal = {Theor. Comput. Sci.},
volume = {935},
pages = {82--104},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.09.002},
doi = {10.1016/J.TCS.2022.09.002},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/VenhoekMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MoermanW22,
author = {Joshua Moerman and
Thorsten Wi{\ss}mann},
editor = {Nils Jansen and
Mari{\"{e}}lle Stoelinga and
Petra van den Bos},
title = {State Identification and Verification with Satisfaction},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning
- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13560},
pages = {450--466},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15629-8\_23},
doi = {10.1007/978-3-031-15629-8\_23},
timestamp = {Sat, 24 Sep 2022 20:46:57 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MoermanW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HeckSJMK22,
author = {Linus Heck and
Jip Spel and
Sebastian Junges and
Joshua Moerman and
Joost{-}Pieter Katoen},
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {Gradient-Descent for Randomized Controllers Under Partial Observability},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13182},
pages = {127--150},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1\_7},
doi = {10.1007/978-3-030-94583-1\_7},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HeckSJMK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykKM21,
author = {Mikolaj Bojanczyk and
Bartek Klin and
Joshua Moerman},
title = {Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470634},
doi = {10.1109/LICS52264.2021.9470634},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BojanczykKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/HeckSJMK21,
author = {Linus Heck and
Jip Spel and
Sebastian Junges and
Joshua Moerman and
Joost{-}Pieter Katoen},
title = {Gradient-Descent for Randomized Controllers under Partial Observability
(Artifact) (Version 1)},
publisher = {Zenodo},
year = {2021},
month = nov,
howpublished = {\url{https://doi.org/10.5281/zenodo.5568910}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.5568910},
doi = {10.5281/ZENODO.5568910},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/HeckSJMK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-02438,
author = {Mikolaj Bojanczyk and
Bartek Klin and
Joshua Moerman},
title = {Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata},
journal = {CoRR},
volume = {abs/2104.02438},
year = {2021},
url = {https://arxiv.org/abs/2104.02438},
eprinttype = {arXiv},
eprint = {2104.02438},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-02438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-04407,
author = {Linus Heck and
Jip Spel and
Sebastian Junges and
Joshua Moerman and
Joost{-}Pieter Katoen},
title = {Gradient-Descent for Randomized Controllers under Partial Observability},
journal = {CoRR},
volume = {abs/2111.04407},
year = {2021},
url = {https://arxiv.org/abs/2111.04407},
eprinttype = {arXiv},
eprint = {2111.04407},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-04407.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MoermanS20,
author = {Joshua Moerman and
Matteo Sammartino},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Residual Nominal Automata},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {44:1--44:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.44},
doi = {10.4230/LIPICS.CONCUR.2020.44},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MoermanS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MoermanR20,
author = {Joshua Moerman and
Jurriaan Rot},
editor = {Maribel Fern{\'{a}}ndez and
Anca Muscholl},
title = {Separation and Renaming in Nominal Sets},
booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020,
January 13-16, 2020, Barcelona, Spain},
series = {LIPIcs},
volume = {152},
pages = {31:1--31:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CSL.2020.31},
doi = {10.4230/LIPICS.CSL.2020.31},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MoermanR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/KlinkenbergBKKM20,
author = {Lutz Klinkenberg and
Kevin Batz and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Joshua Moerman and
Tobias Winkler},
editor = {Maribel Fern{\'{a}}ndez},
title = {Generating Functions for Probabilistic Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 30th International
Symposium, {LOPSTR} 2020, Bologna, Italy, September 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12561},
pages = {231--248},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-68446-4\_12},
doi = {10.1007/978-3-030-68446-4\_12},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/KlinkenbergBKKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-06327,
author = {Lutz Klinkenberg and
Kevin Batz and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Joshua Moerman and
Tobias Winkler},
title = {Generating Functions for Probabilistic Programs},
journal = {CoRR},
volume = {abs/2007.06327},
year = {2020},
url = {https://arxiv.org/abs/2007.06327},
eprinttype = {arXiv},
eprint = {2007.06327},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-06327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HeerdtMSS19,
author = {Gerco van Heerdt and
Joshua Moerman and
Matteo Sammartino and
Alexandra Silva},
title = {A (co)algebraic theory of succinct automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {105},
pages = {112--125},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.02.008},
doi = {10.1016/J.JLAMP.2019.02.008},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HeerdtMSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/BosJM19,
author = {Petra van den Bos and
Ramon Janssen and
Joshua Moerman},
title = {n-Complete test suites for {IOCO}},
journal = {Softw. Qual. J.},
volume = {27},
number = {2},
pages = {563--588},
year = {2019},
url = {https://doi.org/10.1007/s11219-018-9422-x},
doi = {10.1007/S11219-018-9422-X},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/BosJM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-08414,
author = {David Venhoek and
Joshua Moerman and
Jurriaan Rot},
title = {Fast Computations on Ordered Nominal Sets},
journal = {CoRR},
volume = {abs/1902.08414},
year = {2019},
url = {http://arxiv.org/abs/1902.08414},
eprinttype = {arXiv},
eprint = {1902.08414},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-05519,
author = {Gerco van Heerdt and
Joshua Moerman and
Matteo Sammartino and
Alexandra Silva},
title = {A (co)algebraic theory of succinct automata},
journal = {CoRR},
volume = {abs/1905.05519},
year = {2019},
url = {http://arxiv.org/abs/1905.05519},
eprinttype = {arXiv},
eprint = {1905.05519},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-05519.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-00763,
author = {Joshua Moerman and
Jurriaan Rot},
title = {Separation and Renaming in Nominal Sets},
journal = {CoRR},
volume = {abs/1906.00763},
year = {2019},
url = {http://arxiv.org/abs/1906.00763},
eprinttype = {arXiv},
eprint = {1906.00763},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-00763.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-11666,
author = {Joshua Moerman and
Matteo Sammartino},
title = {Residual Nominal Automata},
journal = {CoRR},
volume = {abs/1910.11666},
year = {2019},
url = {http://arxiv.org/abs/1910.11666},
eprinttype = {arXiv},
eprint = {1910.11666},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-11666.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/Moerman18,
author = {Joshua Moerman},
editor = {Olgierd Unold and
Witold Dyrka and
Wojciech Wieczorek},
title = {Learning Product Automata},
booktitle = {Proceedings of the 14th International Conference on Grammatical Inference,
{ICGI} 2018, Wroc{\l}aw, Poland, September 5-7, 2018},
series = {Proceedings of Machine Learning Research},
volume = {93},
pages = {54--66},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v93/moerman19a.html},
timestamp = {Wed, 03 Apr 2019 18:17:25 +0200},
biburl = {https://dblp.org/rec/conf/icgi/Moerman18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/VenhoekMR18,
author = {David Venhoek and
Joshua Moerman and
Jurriaan Rot},
editor = {Bernd Fischer and
Tarmo Uustalu},
title = {Fast Computations on Ordered Nominal Sets},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International
Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11187},
pages = {493--512},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02508-3\_26},
doi = {10.1007/978-3-030-02508-3\_26},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/VenhoekMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MoermanS0KS17,
author = {Joshua Moerman and
Matteo Sammartino and
Alexandra Silva and
Bartek Klin and
Michal Szynwelski},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Learning nominal automata},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {613--625},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009879},
doi = {10.1145/3009837.3009879},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/MoermanS0KS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BosJM17,
author = {Petra van den Bos and
Ramon Janssen and
Joshua Moerman},
editor = {Nina Yevtushenko and
Ana Rosa Cavalli and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {n-Complete Test Suites for {IOCO}},
booktitle = {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2017, St. Petersburg, Russia, October 9-11, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10533},
pages = {91--107},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67549-7\_6},
doi = {10.1007/978-3-319-67549-7\_6},
timestamp = {Tue, 15 Feb 2022 08:52:40 +0100},
biburl = {https://dblp.org/rec/conf/pts/BosJM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Moerman17,
author = {Joshua Moerman},
title = {Learning Product Automata},
journal = {CoRR},
volume = {abs/1705.02850},
year = {2017},
url = {http://arxiv.org/abs/1705.02850},
eprinttype = {arXiv},
eprint = {1705.02850},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Moerman17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/SmetsersMJ16,
author = {Rick Smetsers and
Joshua Moerman and
David N. Jansen},
editor = {Adrian{-}Horia Dediu and
Jan Janousek and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Minimal Separating Sequences for All Pairs of States},
booktitle = {Language and Automata Theory and Applications - 10th International
Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9618},
pages = {181--193},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30000-9\_14},
doi = {10.1007/978-3-319-30000-9\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/SmetsersMJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MoermanS0KS16,
author = {Joshua Moerman and
Matteo Sammartino and
Alexandra Silva and
Bartek Klin and
Michal Szynwelski},
title = {Learning Nominal Automata},
journal = {CoRR},
volume = {abs/1607.06268},
year = {2016},
url = {http://arxiv.org/abs/1607.06268},
eprinttype = {arXiv},
eprint = {1607.06268},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MoermanS0KS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SmetsersMJV16,
author = {Rick Smetsers and
Joshua Moerman and
Mark Janssen and
Sicco Verwer},
title = {Complementing Model Learning with Mutation-Based Fuzzing},
journal = {CoRR},
volume = {abs/1611.02429},
year = {2016},
url = {http://arxiv.org/abs/1611.02429},
eprinttype = {arXiv},
eprint = {1611.02429},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SmetsersMJV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SmeenkMVJ15,
author = {Wouter Smeenk and
Joshua Moerman and
Frits W. Vaandrager and
David N. Jansen},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {Applying Automata Learning to Embedded Control Software},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {67--83},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_5},
doi = {10.1007/978-3-319-25423-4\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SmeenkMVJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-24 01:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
