@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 = {Tue, 03 Oct 2017 16:28:01 +0200}, biburl = {https://dblp.org/rec/bib/conf/icfem/SmeenkMVJ15}, 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 = {Sat, 16 Sep 2017 12:09:57 +0200}, biburl = {https://dblp.org/rec/bib/conf/lata/SmetsersMJ16}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{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 = {http://dl.acm.org/citation.cfm?id=3009879}, timestamp = {Wed, 28 Dec 2016 13:22:29 +0100}, biburl = {https://dblp.org/rec/bib/conf/popl/MoermanS0KS17}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{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 = {Mon, 25 Sep 2017 17:37:19 +0200}, biburl = {https://dblp.org/rec/bib/conf/pts/BosJM17}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{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 = {Mon, 15 Oct 2018 14:55:17 +0200}, biburl = {https://dblp.org/rec/bib/conf/ictac/VenhoekMR18}, bibsource = {dblp computer science bibliography, https://dblp.org} }