BibTeX records: Loek Cleophas

download as .bib file

@inproceedings{DBLP:conf/se/RungeSCTKW21,
  author    = {Tobias Runge and
               Ina Schaefer and
               Loek Cleophas and
               Thomas Th{\"{u}}m and
               Derrick G. Kourie and
               Bruce W. Watson},
  editor    = {Anne Koziolek and
               Ina Schaefer and
               Christoph Seidl},
  title     = {Tool Support for Correctness-by-Construction},
  booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
               22.-26. Februar 2021, Braunschweig/Virtuell},
  series    = {{LNI}},
  volume    = {{P-310}},
  pages     = {93--94},
  publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
  year      = {2021},
  url       = {https://doi.org/10.18420/SE2021\_34},
  doi       = {10.18420/SE2021\_34},
  timestamp = {Thu, 18 Feb 2021 17:09:52 +0100},
  biburl    = {https://dblp.org/rec/conf/se/RungeSCTKW21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2020w,
  editor    = {Loek Cleophas and
               Mieke Massink},
  title     = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops
               - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September
               14-15, 2020, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {12524},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-67220-1},
  doi       = {10.1007/978-3-030-67220-1},
  isbn      = {978-3-030-67219-5},
  timestamp = {Mon, 25 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sefm/2020w.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-13729,
  author    = {Sangeeth Kochanthara and
               Niels Rood and
               Arash Khabbaz Saberi and
               Loek Cleophas and
               Yanja Dajsuren and
               Mark van den Brand},
  title     = {A Functional Safety Assessment Method for Cooperative Automotive Architecture},
  journal   = {CoRR},
  volume    = {abs/2104.13729},
  year      = {2021},
  url       = {https://arxiv.org/abs/2104.13729},
  archivePrefix = {arXiv},
  eprint    = {2104.13729},
  timestamp = {Tue, 04 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2104-13729.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AslamCSB20,
  author    = {Kousar Aslam and
               Loek Cleophas and
               Ramon R. H. Schiffelers and
               Mark van den Brand},
  title     = {Interface protocol inference to aid understanding legacy software
               components},
  journal   = {Softw. Syst. Model.},
  volume    = {19},
  number    = {6},
  pages     = {1519--1540},
  year      = {2020},
  url       = {https://doi.org/10.1007/s10270-020-00809-2},
  doi       = {10.1007/s10270-020-00809-2},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/sosym/AslamCSB20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TravnicekJMC20,
  author    = {Jan Tr{\'{a}}vn{\'{\i}}cek and
               Jan Janousek and
               Borivoj Melichar and
               Loek Cleophas},
  title     = {On modification of Boyer-Moore-horspool's algorithm for tree pattern
               matching in linearised trees},
  journal   = {Theor. Comput. Sci.},
  volume    = {830-831},
  pages     = {60--90},
  year      = {2020},
  url       = {https://doi.org/10.1016/j.tcs.2020.04.027},
  doi       = {10.1016/j.tcs.2020.04.027},
  timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/TravnicekJMC20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/KochantharaRCDB20,
  author    = {Sangeeth Kochanthara and
               Niels Rood and
               Loek Cleophas and
               Yanja Dajsuren and
               Mark van den Brand},
  title     = {Semi-automatic Architectural Suggestions for the Functional Safety
               of Cooperative Driving Systems},
  booktitle = {2020 {IEEE} International Conference on Software Architecture Companion,
               {ICSA} Companion 2020, Salvador, Brazil, March 16-20, 2020},
  pages     = {55--58},
  publisher = {{IEEE}},
  year      = {2020},
  url       = {https://doi.org/10.1109/ICSA-C50368.2020.00018},
  doi       = {10.1109/ICSA-C50368.2020.00018},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icsa/KochantharaRCDB20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeekCLSW20,
  author    = {Maurice H. ter Beek and
               Loek Cleophas and
               Axel Legay and
               Ina Schaefer and
               Bruce W. Watson},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {X-by-Construction - Correctness Meets Probability},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Verification Principles - 9th International Symposium on Leveraging
               Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
               20-30, 2020, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12476},
  pages     = {211--215},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-61362-4\_11},
  doi       = {10.1007/978-3-030-61362-4\_11},
  timestamp = {Thu, 29 Oct 2020 15:56:14 +0100},
  biburl    = {https://dblp.org/rec/conf/isola/BeekCLSW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BaburCB19,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Mark van den Brand},
  title     = {Metamodel clone detection with {SAMOS}},
  journal   = {J. Comput. Lang.},
  volume    = {51},
  pages     = {57--74},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.cola.2018.12.002},
  doi       = {10.1016/j.cola.2018.12.002},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/vlc/BaburCB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/RungeSCTKW19,
  author    = {Tobias Runge and
               Ina Schaefer and
               Loek Cleophas and
               Thomas Th{\"{u}}m and
               Derrick G. Kourie and
               Bruce W. Watson},
  editor    = {Reiner H{\"{a}}hnle and
               Wil M. P. van der Aalst},
  title     = {Tool Support for Correctness-by-Construction},
  booktitle = {Fundamental Approaches to Software Engineering - 22nd International
               Conference, {FASE} 2019, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
               April 6-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11424},
  pages     = {25--42},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-16722-6\_2},
  doi       = {10.1007/978-3-030-16722-6\_2},
  timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
  biburl    = {https://dblp.org/rec/conf/fase/RungeSCTKW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RungeTCSW19,
  author    = {Tobias Runge and
               Thomas Th{\"{u}}m and
               Loek Cleophas and
               Ina Schaefer and
               Bruce W. Watson},
  editor    = {Emil Sekerinski and
               Nelma Moreira and
               Jos{\'{e}} N. Oliveira and
               Daniel Ratiu and
               Riccardo Guidotti and
               Marie Farrell and
               Matt Luckcuck and
               Diego Marmsoler and
               Jos{\'{e}} Campos and
               Troy Astarte and
               Laure Gonnord and
               Antonio Cerone and
               Luis Couto and
               Brijesh Dongol and
               Martin Kutrib and
               Pedro Monteiro and
               David Delmas},
  title     = {Comparing Correctness-by-Construction with Post-Hoc Verification -
               {A} Qualitative User Study},
  booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
               October 7-11, 2019, Revised Selected Papers, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12233},
  pages     = {388--405},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-54997-8\_25},
  doi       = {10.1007/978-3-030-54997-8\_25},
  timestamp = {Mon, 17 Aug 2020 17:16:06 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/RungeTCSW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/YangASLHCS19,
  author    = {Nan Yang and
               Kousar Aslam and
               Ramon R. H. Schiffelers and
               Leonard Lensink and
               Dennis Hendriks and
               Loek Cleophas and
               Alexander Serebrenik},
  editor    = {Xinyu Wang and
               David Lo and
               Emad Shihab},
  title     = {Improving Model Inference in Industry by Combining Active and Passive
               Learning},
  booktitle = {26th {IEEE} International Conference on Software Analysis, Evolution
               and Reengineering, {SANER} 2019, Hangzhou, China, February 24-27,
               2019},
  pages     = {253--263},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/SANER.2019.8668007},
  doi       = {10.1109/SANER.2019.8668007},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wcre/YangASLHCS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/BelabbaciCCZ18,
  author    = {Ahlem Belabbaci and
               Hadda Cherroun and
               Loek Cleophas and
               Djelloul Ziadi},
  title     = {Tree pattern matching from regular tree expressions},
  journal   = {Kybernetika},
  volume    = {54},
  number    = {2},
  pages     = {221--242},
  year      = {2018},
  url       = {https://doi.org/10.14736/kyb-2018-2-0221},
  doi       = {10.14736/kyb-2018-2-0221},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/kybernetika/BelabbaciCCZ18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WilleBCSBS18,
  author    = {David Wille and
               {\"{O}}nder Babur and
               Loek Cleophas and
               Christoph Seidl and
               Mark van den Brand and
               Ina Schaefer},
  title     = {Improving custom-tailored variability mining using outlier and cluster
               detection},
  journal   = {Sci. Comput. Program.},
  volume    = {163},
  pages     = {62--84},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.scico.2018.04.002},
  doi       = {10.1016/j.scico.2018.04.002},
  timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/WilleBCSBS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CleophasSW18,
  author    = {Loek Cleophas and
               Ina Schaefer and
               Bruce W. Watson},
  title     = {Workshop on Advances in Knowledge Extraction and Re-engineering of
               Software (selected and extended papers from {WAKERS} 2017)},
  journal   = {Sci. Comput. Program.},
  volume    = {166},
  pages     = {1--2},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.scico.2018.05.004},
  doi       = {10.1016/j.scico.2018.05.004},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/CleophasSW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/benevol/BaburCB18,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Mark van den Brand},
  editor    = {Georgios Gousios and
               Joseph Hejderup},
  title     = {Metamodel Clone Detection with {SAMOS}},
  booktitle = {Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop,
               Delft, the Netherlands, December 10th - to - 11th, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2361},
  pages     = {21--23},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2361/short6.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:55 +0100},
  biburl    = {https://dblp.org/rec/conf/benevol/BaburCB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KourieSCW18,
  author    = {Derrick G. Kourie and
               Tinus Strauss and
               Loek Cleophas and
               Bruce W. Watson},
  editor    = {Peter M{\"{u}}ller and
               Ina Schaefer},
  title     = {Using {CSP} to Develop Quality Concurrent Software},
  booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
               on the Occasion of his 60th Birthday},
  pages     = {165--184},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-98047-8\_11},
  doi       = {10.1007/978-3-319-98047-8\_11},
  timestamp = {Wed, 31 Oct 2018 17:54:14 +0100},
  biburl    = {https://dblp.org/rec/conf/birthday/KourieSCW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeekCSW18,
  author    = {Maurice H. ter Beek and
               Loek Cleophas and
               Ina Schaefer and
               Bruce W. Watson},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {X-by-Construction},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
               November 5-9, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11244},
  pages     = {359--364},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03418-4\_21},
  doi       = {10.1007/978-3-030-03418-4\_21},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/BeekCSW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchaeferRKCKW18,
  author    = {Ina Schaefer and
               Tobias Runge and
               Alexander Kn{\"{u}}ppel and
               Loek Cleophas and
               Derrick G. Kourie and
               Bruce W. Watson},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Towards Confidentiality-by-Construction},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
               November 5-9, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11244},
  pages     = {502--515},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03418-4\_30},
  doi       = {10.1007/978-3-030-03418-4\_30},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/SchaeferRKCKW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BaburCB18,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Mark van den Brand},
  editor    = {Regina Hebig and
               Thorsten Berger},
  title     = {Model analytics for feature models: case studies for {S.P.L.O.T.}
               repository},
  booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
               EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
               ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
               International Conference on Model Driven Engineering Languages and
               Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2245},
  pages     = {787--792},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2245/ammore\_paper\_2.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:15 +0100},
  biburl    = {https://dblp.org/rec/conf/models/BaburCB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/BaburCB18,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Mark van den Brand},
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic},
  title     = {Towards Distributed Model Analytics with Apache Spark},
  booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
               and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
               January 22-24, 2018},
  pages     = {767--772},
  publisher = {SciTePress},
  year      = {2018},
  url       = {https://doi.org/10.5220/0006735407670772},
  doi       = {10.5220/0006735407670772},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/modelsward/BaburCB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modellierung/2018w,
  editor    = {Ina Schaefer and
               Loek Cleophas and
               Michael Felderer and
               Steffen Becker and
               Wolfgang B{\"{o}}hm and
               Dirk Fahland and
               Hans{-}Georg Fill and
               Robert Heinrich and
               Kathrin Kirchner and
               Michael K{\"{o}}hler{-}Bu{\ss}meier and
               Marco Konersmann and
               Heinrich C. Mayr and
               Daniel Moldt and
               Andreas Oberweis and
               Felix Reher and
               Matthias Riebisch and
               Stefan Sauer and
               Holger Schlingloff and
               Bernhard Thalheim and
               Andreas Vogelsang and
               R{\"{u}}diger Wei{\ss}bach and
               Thorsten Weyer},
  title     = {Joint Proceedings of the Workshops at Modellierung 2018 co-located
               with Modellierung 2018, Braunschweig, Germany, February 21, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2060},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2060},
  urn       = {urn:nbn:de:0074-2060-3},
  timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/modellierung/2018w.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BjorklundCK17,
  author    = {Johanna Bj{\"{o}}rklund and
               Loek Cleophas and
               My Karlsson},
  title     = {An Evaluation of Structured Language Modeling for Automatic Speech
               Recognition},
  journal   = {J. Univers. Comput. Sci.},
  volume    = {23},
  number    = {11},
  pages     = {1019--1034},
  year      = {2017},
  url       = {http://www.jucs.org/jucs\_23\_11/an\_evaluation\_of\_structured},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jucs/BjorklundCK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saj/NxumaloKCW17,
  author    = {Madoda Nxumalo and
               Derrick G. Kourie and
               Loek Cleophas and
               Bruce W. Watson},
  title     = {An Assessment of Algorithms for Deriving Failure Deterministic Finite
               Automata},
  journal   = {South Afr. Comput. J.},
  volume    = {29},
  number    = {1},
  year      = {2017},
  url       = {https://doi.org/10.18489/sacj.v29i1.456},
  doi       = {10.18489/sacj.v29i1.456},
  timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/saj/NxumaloKCW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/StraussWKC17,
  author    = {Tinus Strauss and
               Bruce W. Watson and
               Derrick G. Kourie and
               Loek Cleophas},
  editor    = {Stavros Konstantinidis and
               Nelma Moreira and
               Rog{\'{e}}rio Reis and
               Jeffrey O. Shallit},
  title     = {{CSP} for Parallelising Brzozowski's {DFA} Construction Algorithm},
  booktitle = {The Role of Theory in Computer Science - Essays Dedicated to Janusz
               Brzozowski},
  pages     = {217--244},
  publisher = {World Scientific},
  year      = {2017},
  url       = {https://doi.org/10.1142/9789813148208\_0010},
  doi       = {10.1142/9789813148208\_0010},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/StraussWKC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/SchlieWCS17,
  author    = {Alexander Schlie and
               David Wille and
               Loek Cleophas and
               Ina Schaefer},
  editor    = {Goetz Botterweck and
               Cl{\'{a}}udia Werner},
  title     = {Clustering Variation Points in MATLAB/Simulink Models Using Reverse
               Signal Propagation Analysis},
  booktitle = {Mastering Scale and Complexity in Software Reuse - 16th International
               Conference on Software Reuse, {ICSR} 2017, Salvador, Brazil, May 29-31,
               2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10221},
  pages     = {77--94},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-56856-0\_6},
  doi       = {10.1007/978-3-319-56856-0\_6},
  timestamp = {Sat, 19 Oct 2019 20:02:29 +0200},
  biburl    = {https://dblp.org/rec/conf/icsr/SchlieWCS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BjorklundC17,
  author    = {Johanna Bj{\"{o}}rklund and
               Loek Cleophas},
  editor    = {Frank Drewes and
               Carlos Mart{\'{\i}}n{-}Vide and
               Bianca Truthe},
  title     = {Minimization of Finite State Automata Through Partition Aggregation},
  booktitle = {Language and Automata Theory and Applications - 11th International
               Conference, {LATA} 2017, Ume{\aa}, Sweden, March 6-9, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10168},
  pages     = {223--235},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-53733-7\_16},
  doi       = {10.1007/978-3-319-53733-7\_16},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lata/BjorklundC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/PieterseC17,
  author    = {Vreda Pieterse and
               Loek Cleophas},
  editor    = {Muthoni Masinde},
  title     = {Benchmarking optimised algorithms for transitive closure},
  booktitle = {Proceedings of the South African Institute of Computer Scientists
               and Information Technologists, {SAICSIT} 2017, Thaba Nchu, South Africa,
               September 26-28, 2017},
  pages     = {27:1--27:10},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3129416.3129425},
  doi       = {10.1145/3129416.3129425},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saicsit/PieterseC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BaburC17,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas},
  editor    = {Bernhard Steffen and
               Christel Baier and
               Mark van den Brand and
               Johann Eder and
               Mike Hinchey and
               Tiziana Margaria},
  title     = {Using n-grams for the Automated Clustering of Structural Models},
  booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
               Conference on Current Trends in Theory and Practice of Computer Science,
               Limerick, Ireland, January 16-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10139},
  pages     = {510--524},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-51963-0\_40},
  doi       = {10.1007/978-3-319-51963-0\_40},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sofsem/BaburC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SchlieWSCS17,
  author    = {Alexander Schlie and
               David Wille and
               Sandro Schulze and
               Loek Cleophas and
               Ina Schaefer},
  editor    = {Myra B. Cohen and
               Mathieu Acher and
               Lidia Fuentes and
               Daniel Schall and
               Jan Bosch and
               Rafael Capilla and
               Ebrahim Bagheri and
               Yingfei Xiong and
               Javier Troya and
               Antonio Ruiz Cort{\'{e}}s and
               David Benavides},
  title     = {Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired
               Technique and its Evaluation},
  booktitle = {Proceedings of the 21st International Systems and Software Product
               Line Conference, {SPLC} 2017, Volume A, Sevilla, Spain, September
               25-29, 2017},
  pages     = {215--224},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3106195.3106225},
  doi       = {10.1145/3106195.3106225},
  timestamp = {Wed, 28 Oct 2020 08:39:41 +0100},
  biburl    = {https://dblp.org/rec/conf/splc/SchlieWSCS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/BaburCBTA17,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Mark van den Brand and
               Bedir Tekinerdogan and
               Mehmet Aksit},
  editor    = {Martina Seidl and
               Steffen Zschaler},
  title     = {Models, More Models, and Then a Lot More},
  booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
               Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10748},
  pages     = {129--135},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-74730-9\_10},
  doi       = {10.1007/978-3-319-74730-9\_10},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/staf/BaburCBTA17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/RungeSCW17,
  author    = {Tobias Runge and
               Ina Schaefer and
               Loek Cleophas and
               Bruce W. Watson},
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Many-MADFAct: Concurrently Constructing MADFAs},
  booktitle = {Proceedings of the Prague Stringology Conference 2017, Prague, Czech
               Republic, August 28-30, 2017},
  pages     = {126--142},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2017},
  url       = {http://www.stringology.org/event/2017/p13.html},
  timestamp = {Wed, 10 Feb 2021 08:42:21 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/RungeSCW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BjorklundC16,
  author    = {Johanna Bj{\"{o}}rklund and
               Loek Cleophas},
  title     = {A Taxonomy of Minimisation Algorithms for Deterministic Tree Automata},
  journal   = {J. Univers. Comput. Sci.},
  volume    = {22},
  number    = {2},
  pages     = {180--196},
  year      = {2016},
  url       = {http://www.jucs.org/jucs\_22\_2/a\_taxonomy\_of\_minimisation},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jucs/BjorklundC16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/BaburCB16,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Mark van den Brand},
  editor    = {Andrzej Wasowski and
               Henrik L{\"{o}}nn},
  title     = {Hierarchical Clustering of Metamodels for Comparative Analysis and
               Visualization},
  booktitle = {Modelling Foundations and Applications - 12th European Conference,
               ECMFA@STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9764},
  pages     = {3--18},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-42061-5\_1},
  doi       = {10.1007/978-3-319-42061-5\_1},
  timestamp = {Fri, 20 Nov 2020 13:15:18 +0100},
  biburl    = {https://dblp.org/rec/conf/ecmdafa/BaburCB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/SchaeferSCW16,
  author    = {Ina Schaefer and
               Christoph Seidl and
               Loek Cleophas and
               Bruce W. Watson},
  editor    = {Georgia M. Kapitsaki and
               Eduardo Santana de Almeida},
  title     = {Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering},
  booktitle = {Software Reuse: Bridging with Social-Awareness - 15th International
               Conference, {ICSR} 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9679},
  pages     = {63--70},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-35122-3\_5},
  doi       = {10.1007/978-3-319-35122-3\_5},
  timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icsr/SchaeferSCW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WatsonKSC16,
  author    = {Bruce W. Watson and
               Derrick G. Kourie and
               Ina Schaefer and
               Loek Cleophas},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Correctness-by-Construction and Post-hoc Verification: {A} Marriage
               of Convenience?},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  pages     = {730--748},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_52},
  doi       = {10.1007/978-3-319-47166-2\_52},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/WatsonKSC16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CleophasKPSW16,
  author    = {Loek Cleophas and
               Derrick G. Kourie and
               Vreda Pieterse and
               Ina Schaefer and
               Bruce W. Watson},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Correctness-by-Construction {\textbackslash}wedge Taxonomies {\textbackslash}Rightarrow
               Deep Comprehension of Algorithm Families},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  pages     = {766--783},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_54},
  doi       = {10.1007/978-3-319-47166-2\_54},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/CleophasKPSW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/BaburCVB16,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Tom Verhoeff and
               Mark van den Brand},
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic and
               Philippe Desfray},
  title     = {Towards Statistical Comparison and Analysis of Models},
  booktitle = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
               on Model-Driven Engineering and Software Development, Rome, Italy,
               19-21 February, 2016},
  pages     = {361--367},
  publisher = {SciTePress},
  year      = {2016},
  url       = {https://doi.org/10.5220/0005799103610367},
  doi       = {10.5220/0005799103610367},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/modelsward/BaburCVB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/AwidCW16,
  author    = {Kamil Awid and
               Loek Cleophas and
               Bruce W. Watson},
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Using Human Computation in Dead-zone based 2D Pattern Matching},
  booktitle = {Proceedings of the Prague Stringology Conference 2016, Prague, Czech
               Republic, August 29-31, 2016},
  pages     = {22--32},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2016},
  url       = {http://www.stringology.org/event/2016/p03.html},
  timestamp = {Wed, 10 Feb 2021 08:42:25 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/AwidCW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WatsonKC15,
  author    = {Bruce W. Watson and
               Derrick G. Kourie and
               Loek G. Cleophas},
  title     = {Experience with correctness-by-construction},
  journal   = {Sci. Comput. Program.},
  volume    = {97},
  pages     = {55--58},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2013.11.024},
  doi       = {10.1016/j.scico.2013.11.024},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/WatsonKC15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/NxumaloKCW15,
  author    = {Madoda Nxumalo and
               Derrick G. Kourie and
               Loek G. Cleophas and
               Bruce W. Watson},
  editor    = {Sadok Ben Yahia and
               Jan Konecny},
  title     = {An Aho-Corasick Based Assessment of Algorithms Generating Failure
               Deterministic Finite Automata},
  booktitle = {Proceedings of the Twelfth International Conference on Concept Lattices
               and Their Applications, Clermont-Ferrand, France, October 13-16, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1466},
  pages     = {87--98},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1466/paper07.pdf},
  timestamp = {Wed, 04 Mar 2020 13:45:27 +0100},
  biburl    = {https://dblp.org/rec/conf/cla/NxumaloKCW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/TravnicekJMC15,
  author    = {Jan Tr{\'{a}}vn{\'{\i}}cek and
               Jan Janousek and
               Borivoj Melichar and
               Loek G. Cleophas},
  editor    = {Adrian{-}Horia Dediu and
               Enrico Formenti and
               Carlos Mart{\'{\i}}n{-}Vide and
               Bianca Truthe},
  title     = {Backward Linearised Tree Pattern Matching},
  booktitle = {Language and Automata Theory and Applications - 9th International
               Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8977},
  pages     = {599--610},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15579-1\_47},
  doi       = {10.1007/978-3-319-15579-1\_47},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lata/TravnicekJMC15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CleophasA15,
  author    = {Loek G. Cleophas and
               Ali Afroozeh},
  editor    = {Jonathan Aldrich and
               Patrick Eugster},
  title     = {Workshop preview of the 3rd workshop on parsing programming languages
               (Parsing@SLE 2015)},
  booktitle = {Companion Proceedings of the 2015 {ACM} {SIGPLAN} International Conference
               on Systems, Programming, Languages and Applications: Software for
               Humanity, {SPLASH} 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  pages     = {107--108},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2814189.2833209},
  doi       = {10.1145/2814189.2833209},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/oopsla/CleophasA15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/BrandKMC15,
  author    = {Dirk Brand and
               Steve Kroon and
               Brink van der Merwe and
               Loek G. Cleophas},
  editor    = {Richard J. Barnett and
               Loek G. Cleophas and
               Derrick G. Kourie and
               Daniel B. le Roux and
               Bruce W. Watson},
  title     = {N-Gram Representations For Comment Filtering},
  booktitle = {Proceedings of the 2015 Annual Research Conference on South African
               Institute of Computer Scientists and Information Technologists, {SAICSIT}
               '15, Stellenbosch, South Africa, September 28-30, 2015},
  pages     = {6:1--6:10},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2815782.2815789},
  doi       = {10.1145/2815782.2815789},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saicsit/BrandKMC15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/SchaeferSCW15,
  author    = {Ina Schaefer and
               Christoph Seidl and
               Loek G. Cleophas and
               Bruce W. Watson},
  editor    = {Richard J. Barnett and
               Loek G. Cleophas and
               Derrick G. Kourie and
               Daniel B. le Roux and
               Bruce W. Watson},
  title     = {SPLicing {TABASCO:} Custom-Tailored Software Product Line Variants
               from Taxonomy-Based Toolkits},
  booktitle = {Proceedings of the 2015 Annual Research Conference on South African
               Institute of Computer Scientists and Information Technologists, {SAICSIT}
               '15, Stellenbosch, South Africa, September 28-30, 2015},
  pages     = {34:1--34:10},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2815782.2815799},
  doi       = {10.1145/2815782.2815799},
  timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/saicsit/SchaeferSCW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/WatsonKC15,
  author    = {Bruce W. Watson and
               Derrick G. Kourie and
               Loek G. Cleophas},
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Quantum Leap Pattern Matching},
  booktitle = {Proceedings of the Prague Stringology Conference 2015, Prague, Czech
               Republic, August 24-26, 2015},
  pages     = {104--117},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2015},
  url       = {http://www.stringology.org/event/2015/p11.html},
  timestamp = {Wed, 10 Feb 2021 08:42:20 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/WatsonKC15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saicsit/2015,
  editor    = {Richard J. Barnett and
               Loek G. Cleophas and
               Derrick G. Kourie and
               Daniel B. le Roux and
               Bruce W. Watson},
  title     = {Proceedings of the 2015 Annual Research Conference on South African
               Institute of Computer Scientists and Information Technologists, {SAICSIT}
               '15, Stellenbosch, South Africa, September 28-30, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2815782},
  isbn      = {978-1-4503-3683-3},
  timestamp = {Tue, 04 Oct 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saicsit/2015.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saj/CleophasKW14,
  author    = {Loek G. Cleophas and
               Derrick G. Kourie and
               Bruce W. Watson},
  title     = {Weak factor automata: the failure of failure factor oracles?},
  journal   = {South Afr. Comput. J.},
  volume    = {53},
  pages     = {1--14},
  year      = {2014},
  url       = {http://reference.sabinet.co.za/document/EJC161394},
  timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/saj/CleophasKW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/KourieWSCM14,
  author    = {Derrick G. Kourie and
               Bruce W. Watson and
               Tinus Strauss and
               Loek G. Cleophas and
               Melanie Mauch},
  editor    = {Carina de Villiers and
               Alta van der Merwe and
               J. P. van Deventer and
               M. C. Matthee and
               Helene Gelderblom and
               Aurona Gerber},
  title     = {Empirically Assessing Algorithm Performance},
  booktitle = {Southern African Institute for Computer Scientist and Information
               Technologists Annual Conference 2014, {SAICSIT} '14, Centurion, South
               Africa, September 29 - October 1, 2014},
  pages     = {115},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2664591.2664617},
  doi       = {10.1145/2664591.2664617},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saicsit/KourieWSCM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/StraussKWC14,
  author    = {Tinus Strauss and
               Derrick G. Kourie and
               Bruce W. Watson and
               Loek G. Cleophas},
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {A Process-Oriented Implementation of Brzozowski's {DFA} Construction
               Algorithm},
  booktitle = {Proceedings of the Prague Stringology Conference 2014, Prague, Czech
               Republic, September 1-3, 2014},
  pages     = {17--29},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2014},
  url       = {http://www.stringology.org/event/2014/p03.html},
  timestamp = {Wed, 10 Feb 2021 08:42:22 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/StraussKWC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/WatsonCK14,
  author    = {Bruce W. Watson and
               Loek G. Cleophas and
               Derrick G. Kourie},
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Using Correctness-by-Construction to Derive Dead-zone Algorithms},
  booktitle = {Proceedings of the Prague Stringology Conference 2014, Prague, Czech
               Republic, September 1-3, 2014},
  pages     = {84--95},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2014},
  url       = {http://www.stringology.org/event/2014/p09.html},
  timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/WatsonCK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/CleophasKW13,
  author    = {Loek G. Cleophas and
               Derrick G. Kourie and
               Bruce W. Watson},
  editor    = {John McNeill and
               Karen L. Bradshaw and
               Philip Machanick and
               Mosiuoa Tsietsi},
  title     = {Efficient representation of {DNA} data for pattern recognition using
               failure factor oracles},
  booktitle = {2013 South African Institute for Computer Scientists and Information
               Technologists, {SAICSIT} '13, East London, South Africa, October 7-9,
               2013},
  pages     = {369--377},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2513456.2513488},
  doi       = {10.1145/2513456.2513488},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saicsit/CleophasKW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/CleophasKW13,
  author    = {Loek G. Cleophas and
               Derrick G. Kourie and
               Bruce W. Watson},
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Weak Factor Automata: Comparing (Failure) Oracles and Storacles},
  booktitle = {Proceedings of the Prague Stringology Conference 2013, Prague, Czech
               Republic, September 2-4, 2013},
  pages     = {176--190},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2013},
  url       = {http://www.stringology.org/event/2013/p16.html},
  timestamp = {Wed, 10 Feb 2021 08:42:20 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/CleophasKW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/NagyCBERM12,
  author    = {Istvan Nagy and
               Loek G. Cleophas and
               Mark van den Brand and
               Luc Engelen and
               Liviu Raulea and
               Ernest Xavier Lobo Mithun},
  editor    = {Isabelle Perseil and
               Karin K. Breitman and
               Marc Pouzet},
  title     = {{VPDSL:} {A} {DSL} for Software in the Loop Simulations Covering Material
               Flow},
  booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
  pages     = {318--327},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.43},
  doi       = {10.1109/ICECCS.2012.43},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iceccs/NagyCBERM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/KourieWCV12,
  author    = {Derrick G. Kourie and
               Bruce W. Watson and
               Loek G. Cleophas and
               Fritz Venter},
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Failure Deterministic Finite Automata},
  booktitle = {Proceedings of the Prague Stringology Conference 2012, Prague, Czech
               Republic, August 27-28, 2012},
  pages     = {28--41},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2012},
  url       = {http://www.stringology.org/event/2012/p04.html},
  timestamp = {Wed, 10 Feb 2021 08:42:20 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/KourieWCV12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/KourieWC11,
  author    = {Derrick G. Kourie and
               Bruce W. Watson and
               Loek G. Cleophas},
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {On Compile Time Knuth-Morris-Pratt Precomputation},
  booktitle = {Proceedings of the Prague Stringology Conference 2011, Prague, Czech
               Republic, August 29-31, 2011},
  pages     = {15--29},
  publisher = {Prague Stringology Club, Department of Theoretical Computer Science,
               Faculty of Information Technology, Czech Technical University in Prague},
  year      = {2011},
  url       = {http://www.stringology.org/event/2011/p03.html},
  timestamp = {Wed, 10 Feb 2021 08:42:18 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/KourieWC11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CleophasWZ10,
  author    = {Loek G. Cleophas and
               Bruce W. Watson and
               Gerard Zwaan},
  title     = {A new taxonomy of sublinear right-to-left scanning keyword pattern
               matching algorithms},
  journal   = {Sci. Comput. Program.},
  volume    = {75},
  number    = {11},
  pages     = {1095--1112},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.scico.2010.04.012},
  doi       = {10.1016/j.scico.2010.04.012},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/CleophasWZ10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/PieterseKCW10,
  author    = {Vreda Pieterse and
               Derrick G. Kourie and
               Loek G. Cleophas and
               Bruce W. Watson},
  editor    = {Paula Kotz{\'{e}} and
               Alta van der Merwe and
               Aurona Gerber},
  title     = {Performance of {C++} bit-vector implementations},
  booktitle = {Proceedings of the 2010 Annual Conference of the South African Institute
               of Computer Scientists and Information Technologists, {SAICSIT} 2010,
               Bela Bela, South Africa, October 11-13, 2010},
  series    = {{ACM} International Conference Proceeding Series},
  pages     = {242--250},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1899503.1899530},
  doi       = {10.1145/1899503.1899530},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saicsit/PieterseKCW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/BeijerCKW10,
  author    = {Noud de Beijer and
               Loek G. Cleophas and
               Derrick G. Kourie and
               Bruce W. Watson},
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Improving Automata Efficiency by Stretching and Jamming},
  booktitle = {Proceedings of the Prague Stringology Conference 2010, Prague, Czech
               Republic, August 30 - September 1, 2010},
  pages     = {9--24},
  publisher = {Prague Stringology Club, Department of Theoretical Computer Science,
               Faculty of Information Technology, Czech Technical University in Prague},
  year      = {2010},
  url       = {http://www.stringology.org/event/2010/p02.html},
  timestamp = {Wed, 10 Feb 2021 08:42:22 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/BeijerCKW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/CleophasH09,
  author    = {Loek G. Cleophas and
               Kees Hemerik},
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Taxonomies of Regular Tree Algorithms},
  booktitle = {Proceedings of the Prague Stringology Conference 2009, Prague, Czech
               Republic, August 31 - September 2, 2009},
  pages     = {146--159},
  publisher = {Prague Stringology Club, Department of Computer Science and Engineering,
               Faculty of Electrical Engineering, Czech Technical University in Prague},
  year      = {2009},
  url       = {http://www.stringology.org/event/2009/p14.html},
  timestamp = {Wed, 10 Feb 2021 08:42:20 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/CleophasH09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/CleophasKSW09,
  author    = {Loek G. Cleophas and
               Derrick G. Kourie and
               Tinus Strauss and
               Bruce W. Watson},
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {On Minimizing Deterministic Tree Automata},
  booktitle = {Proceedings of the Prague Stringology Conference 2009, Prague, Czech
               Republic, August 31 - September 2, 2009},
  pages     = {173--182},
  publisher = {Prague Stringology Club, Department of Computer Science and Engineering,
               Faculty of Electrical Engineering, Czech Technical University in Prague},
  year      = {2009},
  url       = {http://www.stringology.org/event/2009/p16.html},
  timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/CleophasKSW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CleophasH09,
  author    = {Loek G. Cleophas and
               Kees Hemerik},
  editor    = {Sebastian Maneth},
  title     = {Forest {FIRE:} {A} Taxonomy-based Toolkit of Tree Automata and Regular
               Tree Algorithms},
  booktitle = {Implementation and Application of Automata, 14th International Conference,
               {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5642},
  pages     = {245--248},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02979-0\_29},
  doi       = {10.1007/978-3-642-02979-0\_29},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wia/CleophasH09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/WatsonKSNC08,
  author    = {Bruce W. Watson and
               Derrick G. Kourie and
               Tinus Strauss and
               Ernest Ketcha Ngassam and
               Loek G. Cleophas},
  title     = {Efficient Automata Constructions and Approximate Automata},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {19},
  number    = {1},
  pages     = {185--193},
  year      = {2008},
  url       = {https://doi.org/10.1142/S0129054108005619},
  doi       = {10.1142/S0129054108005619},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijfcs/WatsonKSNC08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saj/CleophasW08,
  author    = {Loek G. Cleophas and
               Bruce W. Watson},
  title     = {A Boyer-Moore-Horspool algorithm derivation},
  journal   = {South Afr. Comput. J.},
  volume    = {41},
  pages     = {13--20},
  year      = {2008},
  url       = {http://reference.sabinet.co.za/document/EJC28065},
  timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/saj/CleophasW08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsmnlp/Cleophas08,
  author    = {Loek G. Cleophas},
  editor    = {Jakub Piskorski and
               Bruce W. Watson and
               Anssi Yli{-}Jyr{\"{a}}},
  title     = {Forest {FIRE} and {FIRE} Wood: Tools for Tree Automata and Tree Algorithms},
  booktitle = {Finite-State Methods and Natural Language Processing, 7th International
               Workshop, {FSMNLP} 2008, Ispra, Italy, September 11-12, 2008. Post-proceedings},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {19},
  pages     = {191--198},
  publisher = {{IOS} Press},
  year      = {2008},
  url       = {https://doi.org/10.3233/978-1-58603-975-2-191},
  doi       = {10.3233/978-1-58603-975-2-191},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fsmnlp/Cleophas08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CleophasHZ06,
  author    = {Loek G. Cleophas and
               Kees Hemerik and
               Gerard Zwaan},
  title     = {Two Related Algorithms for Root-to-frontier Tree Pattern Matching},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {17},
  number    = {6},
  pages     = {1253--1272},
  year      = {2006},
  url       = {https://doi.org/10.1142/S012905410600439X},
  doi       = {10.1142/S012905410600439X},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijfcs/CleophasHZ06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saj/CleophasWKBO06,
  author    = {Loek G. Cleophas and
               Bruce W. Watson and
               Derrick G. Kourie and
               Andrew Boake and
               Sergei A. Obiedkov},
  title     = {{TABASCO:} using concept-based taxonomies in domain engineering},
  journal   = {South Afr. Comput. J.},
  volume    = {37},
  pages     = {30--40},
  year      = {2006},
  url       = {http://reference.sabinet.co.za/document/EJC28023},
  timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/saj/CleophasWKBO06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/WatsonKNSC06,
  author    = {Bruce W. Watson and
               Derrick G. Kourie and
               Ernest Ketcha Ngassam and
               Tinus Strauss and
               Loek G. Cleophas},
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Efficient automata constructions and approximate automata},
  booktitle = {Proceedings of the Prague Stringology Conference, Prague, Czech Republic,
               August 28-30, 2006},
  pages     = {100--107},
  publisher = {Department of Computer Science and Engineering, Faculty of Electrical
               Engineering, Czech Technical University},
  year      = {2006},
  url       = {http://www.stringology.org/event/2006/p11.html},
  timestamp = {Wed, 10 Feb 2021 08:42:24 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/WatsonKNSC06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CleophasW05,
  author    = {Loek G. Cleophas and
               Bruce W. Watson},
  title     = {Taxonomy-based software construction of {SPARE} Time: a case study},
  journal   = {{IEE} Proc. Softw.},
  volume    = {152},
  number    = {1},
  pages     = {29--37},
  year      = {2005},
  url       = {https://doi.org/10.1049/ip-sen:20041265},
  doi       = {10.1049/ip-sen:20041265},
  timestamp = {Tue, 19 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iee/CleophasW05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/CleophasZW05,
  author    = {Loek G. Cleophas and
               Gerard Zwaan and
               Bruce W. Watson},
  title     = {Constructing Factor Oracles},
  journal   = {J. Autom. Lang. Comb.},
  volume    = {10},
  number    = {5/6},
  pages     = {627--640},
  year      = {2005},
  url       = {https://doi.org/10.25596/jalc-2005-627},
  doi       = {10.25596/jalc-2005-627},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jalc/CleophasZW05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/CleophasHZ05,
  author    = {Loek G. Cleophas and
               Kees Hemerik and
               Gerard Zwaan},
  editor    = {Jan Holub and
               Milan Sim{\'{a}}nek},
  title     = {A missing link in root-to-frontier tree pattern matching},
  booktitle = {Proceedings of the Prague Stringology Conference, Prague, Czech Republic,
               August 29-31, 2005},
  pages     = {216--230},
  publisher = {Department of Computer Science and Engineering, Faculty of Electrical
               Engineering, Czech Technical University},
  year      = {2005},
  url       = {http://www.stringology.org/event/2005/p17.html},
  timestamp = {Wed, 10 Feb 2021 08:42:20 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/CleophasHZ05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/WatsonC04,
  author    = {Bruce W. Watson and
               Loek G. Cleophas},
  title     = {{SPARE} Parts: a {C++} toolkit for string pattern recognition},
  journal   = {Softw. Pract. Exp.},
  volume    = {34},
  number    = {7},
  pages     = {697--710},
  year      = {2004},
  url       = {https://doi.org/10.1002/spe.590},
  doi       = {10.1002/spe.590},
  timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/spe/WatsonC04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spire/CleophasWZ04,
  author    = {Loek G. Cleophas and
               Bruce W. Watson and
               Gerard Zwaan},
  editor    = {Alberto Apostolico and
               Massimo Melucci},
  title     = {Automaton-Based Sublinear Keyword Pattern Matching},
  booktitle = {String Processing and Information Retrieval, 11th International Conference,
               {SPIRE} 2004, Padova, Italy, October 5-8, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3246},
  pages     = {18--29},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-30213-1\_3},
  doi       = {10.1007/978-3-540-30213-1\_3},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/spire/CleophasWZ04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/FrishertCW04,
  author    = {Michiel Frishert and
               Loek G. Cleophas and
               Bruce W. Watson},
  editor    = {Michael Domaratzki and
               Alexander Okhotin and
               Kai Salomaa and
               Sheng Yu},
  title     = {{FIRE} Station: An Environment for Manipulating Finite Automata and
               Regular Expression Views},
  booktitle = {Implementation and Application of Automata, 9th International Conference,
               {CIAA} 2004, Kingston, Canada, July 22-24, 2004, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3317},
  pages     = {125--133},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-30500-2\_12},
  doi       = {10.1007/978-3-540-30500-2\_12},
  timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
  biburl    = {https://dblp.org/rec/conf/wia/FrishertCW04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/CleophasZW03,
  author    = {Loek G. Cleophas and
               Gerard Zwaan and
               Bruce W. Watson},
  editor    = {Milan Sim{\'{a}}nek},
  title     = {Constructing Factor Oracles},
  booktitle = {Proceedings of the Prague Stringology Conference 2003, Prague, Czech
               Republic, September 22-24, 2003},
  pages     = {37--50},
  publisher = {Department of Computer Science and Engineering, Faculty of Electrical
               Engineering, Czech Technical University},
  year      = {2003},
  url       = {http://www.stringology.org/event/2003/p4.html},
  timestamp = {Wed, 10 Feb 2021 08:42:25 +0100},
  biburl    = {https://dblp.org/rec/conf/stringology/CleophasZW03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/FrishertCW03,
  author    = {Michiel Frishert and
               Loek G. Cleophas and
               Bruce W. Watson},
  editor    = {Oscar H. Ibarra and
               Zhe Dang},
  title     = {The Effect of Rewriting Regular Expressions on Their Accepting Automata},
  booktitle = {Implementation and Application of Automata, 8th International Conference,
               {CIAA} 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2759},
  pages     = {304--305},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-45089-0\_31},
  doi       = {10.1007/3-540-45089-0\_31},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/wia/FrishertCW03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics