BibTeX records: Mathijs Schuts

download as .bib file

@inproceedings{DBLP:conf/onward/SchutsH23,
  author       = {Mathijs Schuts and
                  Jozef Hooman},
  editor       = {Tijs van der Storm and
                  Robert Hirschfeld},
  title        = {Towards an Industrial Stateful Software Rejuvenation Toolchain using
                  Model Learning},
  booktitle    = {Proceedings of the 2023 {ACM} {SIGPLAN} International Symposium on
                  New Ideas, New Paradigms, and Reflections on Programming and Software,
                  Onward! 2023, Cascais, Portugal, October 25-27, 2023},
  pages        = {15--31},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3622758.3622888},
  doi          = {10.1145/3622758.3622888},
  timestamp    = {Tue, 24 Oct 2023 16:38:10 +0200},
  biburl       = {https://dblp.org/rec/conf/onward/SchutsH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/SchutsATV22,
  author       = {Mathijs T. W. Schuts and
                  Rodin T. A. Aarssen and
                  Paul M. Tielemans and
                  Jurgen J. Vinju},
  title        = {Large-scale semi-automated migration of legacy {C/C++} test code},
  journal      = {Softw. Pract. Exp.},
  volume       = {52},
  number       = {7},
  pages        = {1543--1580},
  year         = {2022},
  url          = {https://doi.org/10.1002/spe.3082},
  doi          = {10.1002/SPE.3082},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/SchutsATV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/SchootenAWS22,
  author       = {Leo van Schooten and
                  Marco Alonso and
                  Ronald Wiericx and
                  Mathijs Schuts},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki and
                  Dominik Slezak},
  title        = {From {MSL} to Dezyne: an Industrial Application Of QVTo},
  booktitle    = {Communication Papers of the 17th Conference on Computer Science and
                  Intelligence Systems, FedCSIS 2022, Sofia, Bulgaria, September 4-7,
                  2022},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {32},
  pages        = {339--348},
  year         = {2022},
  url          = {https://doi.org/10.15439/2022F93},
  doi          = {10.15439/2022F93},
  timestamp    = {Fri, 07 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/SchootenAWS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/BeraSHK21,
  author       = {Debjyoti Bera and
                  Mathijs Schuts and
                  Jozef Hooman and
                  Ivan Kurtev},
  title        = {Reverse engineering models of software interfaces},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {18},
  number       = {3},
  pages        = {657--686},
  year         = {2021},
  url          = {https://doi.org/10.2298/csis200131013b},
  doi          = {10.2298/CSIS200131013B},
  timestamp    = {Thu, 22 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/BeraSHK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SchutsAH21,
  author       = {Mathijs Schuts and
                  Marco Alonso and
                  Jozef Hooman},
  editor       = {Jeff Gray and
                  Matti Rossi and
                  Jonathan Sprinkle and
                  Juha{-}Pekka Tolvanen},
  title        = {Industrial experiences with the evolution of a {DSL}},
  booktitle    = {{DSM} 2021: Proceedings of the 18th {ACM} {SIGPLAN} International
                  Workshop on Domain-Specific Modeling, Chicago, IL, USA, 18 October
                  2021},
  pages        = {21--30},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3486603.3486774},
  doi          = {10.1145/3486603.3486774},
  timestamp    = {Fri, 03 Dec 2021 14:51:37 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/SchutsAH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/MooijKKS20,
  author       = {Arjan J. Mooij and
                  Jeroen Ketema and
                  Steven Klusener and
                  Mathijs Schuts},
  editor       = {Kostas Kontogiannis and
                  Foutse Khomh and
                  Alexander Chatzigeorgiou and
                  Marios{-}Eleftherios Fokaefs and
                  Minghui Zhou},
  title        = {Reducing Code Complexity through Code Refactoring and Model-Based
                  Rejuvenation},
  booktitle    = {27th {IEEE} International Conference on Software Analysis, Evolution
                  and Reengineering, {SANER} 2020, London, ON, Canada, February 18-21,
                  2020},
  pages        = {617--621},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SANER48275.2020.9054823},
  doi          = {10.1109/SANER48275.2020.9054823},
  timestamp    = {Thu, 16 Apr 2020 16:27:40 +0200},
  biburl       = {https://dblp.org/rec/conf/wcre/MooijKKS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/SchutsHT18,
  author       = {Mathijs Schuts and
                  Jozef Hooman and
                  Paul Tielemans},
  title        = {Industrial Experience with the Migration of Legacy Models using a
                  {DSL}},
  booktitle    = {Proceedings of the Real World Domain Specific Languages Workshop,
                  RWDSL@CGO 2018, Vienna, Austria, February 24-24, 2018},
  pages        = {1:1--1:10},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3183895.3183897},
  doi          = {10.1145/3183895.3183897},
  timestamp    = {Fri, 05 Apr 2019 11:12:22 +0200},
  biburl       = {https://dblp.org/rec/conf/cgo/SchutsHT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/SchutsHKS18,
  author       = {Mathijs Schuts and
                  Jozef Hooman and
                  Ivan Kurtev and
                  Dirk{-}Jan Swagerman},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Reverse Engineering of Legacy Software Interfaces to a Model-Based
                  Approach},
  booktitle    = {Proceedings of the 2018 Federated Conference on Computer Science and
                  Information Systems, FedCSIS 2018, Pozna{\'{n}}, Poland, September
                  9-12, 2018},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {15},
  pages        = {867--876},
  year         = {2018},
  url          = {https://doi.org/10.15439/2018F64},
  doi          = {10.15439/2018F64},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/SchutsHKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KurtevHS17,
  author       = {Ivan Kurtev and
                  Jozef Hooman and
                  Mathijs Schuts},
  editor       = {Joost{-}Pieter Katoen and
                  Rom Langerak and
                  Arend Rensink},
  title        = {Runtime Monitoring Based on Interface Specifications},
  booktitle    = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
                  Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {10500},
  pages        = {335--356},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68270-9\_17},
  doi          = {10.1007/978-3-319-68270-9\_17},
  timestamp    = {Thu, 14 Oct 2021 10:33:18 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/KurtevHS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/KurtevSHS17,
  author       = {Ivan Kurtev and
                  Mathijs Schuts and
                  Jozef Hooman and
                  Dirk{-}Jan Swagerman},
  editor       = {Lu{\'{\i}}s Ferreira Pires and
                  Slimane Hammoudi and
                  Bran Selic},
  title        = {Integrating Interface Modeling and Analysis in an Industrial Setting},
  booktitle    = {Proceedings of the 5th International Conference on Model-Driven Engineering
                  and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
                  19-21, 2017},
  pages        = {345--352},
  publisher    = {SciTePress},
  year         = {2017},
  url          = {https://doi.org/10.5220/0006133103450352},
  doi          = {10.5220/0006133103450352},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/KurtevSHS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/OsaiweranSHGR16,
  author       = {Ammar Osaiweran and
                  Mathijs Schuts and
                  Jozef Hooman and
                  Jan Friso Groote and
                  Bart J. van Rijnsoever},
  title        = {Evaluating the effect of a lightweight formal technique in industry},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {1},
  pages        = {93--108},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0374-1},
  doi          = {10.1007/S10009-015-0374-1},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/OsaiweranSHGR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/SchutsH16,
  author       = {Mathijs Schuts and
                  Jozef Hooman},
  editor       = {Robert J. Stewart and
                  Greg Michaelson},
  title        = {Industrial Application of Domain Specific Languages Combined with
                  Formal Techniques},
  booktitle    = {Proceedings of the 1st International Workshop on Real World Domain
                  Specific Languages, RWDSL@CGO 2016, Barcelona, Spain, March 12, 2016},
  pages        = {2:1--2:8},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2889420.2889421},
  doi          = {10.1145/2889420.2889421},
  timestamp    = {Mon, 01 Aug 2022 08:51:50 +0200},
  biburl       = {https://dblp.org/rec/conf/cgo/SchutsH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SchutsHV16,
  author       = {Mathijs Schuts and
                  Jozef Hooman and
                  Frits W. Vaandrager},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Marieke Huisman},
  title        = {Refactoring of Legacy Software Using Model Learning and Equivalence
                  Checking: An Industrial Experience Report},
  booktitle    = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
                  Reykjavik, Iceland, June 1-5, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9681},
  pages        = {311--325},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-33693-0\_20},
  doi          = {10.1007/978-3-319-33693-0\_20},
  timestamp    = {Fri, 09 Apr 2021 18:43:38 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/SchutsHV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SchutsH16,
  author       = {Mathijs Schuts and
                  Jozef Hooman},
  editor       = {Juha{-}Pekka Tolvanen and
                  Jeff Gray and
                  Matti Rossi and
                  Jonathan Sprinkle},
  title        = {Improving maintenance by creating a {DSL} for configuring a fieldbus},
  booktitle    = {Proceedings of the International Workshop on Domain-Specific Modeling,
                  DSM@SPLASH 2016, Amsterdam, Netherlands, October 30, 2016},
  pages        = {28--34},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/3023147.3023152},
  doi          = {10.1145/3023147.3023152},
  timestamp    = {Mon, 21 Jun 2021 12:26:28 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/SchutsH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/SchutsH15,
  author       = {Mathijs Schuts and
                  Jozef Hooman},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Using Domain Specific Languages to improve the development of a power
                  control unit},
  booktitle    = {2015 Federated Conference on Computer Science and Information Systems,
                  FedCSIS 2015, L{\'{o}}dz, Poland, September 13-16, 2015},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {5},
  pages        = {781--788},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.15439/2015F46},
  doi          = {10.15439/2015F46},
  timestamp    = {Mon, 07 Aug 2023 11:27:13 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/SchutsH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchutsH15,
  author       = {Mathijs Schuts and
                  Jozef Hooman},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Frank S. de Boer},
  title        = {Formalizing the Concept Phase of Product Development},
  booktitle    = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
                  June 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9109},
  pages        = {605--608},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19249-9\_43},
  doi          = {10.1007/978-3-319-19249-9\_43},
  timestamp    = {Thu, 14 Apr 2022 20:26:16 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/SchutsH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/OsaiweranSH14,
  author       = {Ammar Osaiweran and
                  Mathijs Schuts and
                  Jozef Hooman},
  title        = {Experiences with incorporating formal techniques into industrial practice},
  journal      = {Empir. Softw. Eng.},
  volume       = {19},
  number       = {4},
  pages        = {1169--1194},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10664-013-9251-2},
  doi          = {10.1007/S10664-013-9251-2},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ese/OsaiweranSH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OsaiweranSHW13,
  author       = {Ammar Osaiweran and
                  Mathijs Schuts and
                  Jozef Hooman and
                  Jacco H. Wesselius},
  editor       = {Barbora Buhnova and
                  Lucia Kapov{\'{a}} Happe and
                  Jan Kofron},
  title        = {Incorporating Formal Techniques into Industrial Practice: an Experience
                  Report},
  booktitle    = {Proceedings the 9th International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, {FESCA} 2012, Tallinn, Estonia,
                  March 31, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {295},
  pages        = {49--63},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2013.04.005},
  doi          = {10.1016/J.ENTCS.2013.04.005},
  timestamp    = {Tue, 22 Nov 2022 13:57:41 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OsaiweranSHW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/HoomanVS11,
  author       = {Jozef Hooman and
                  Robert Huis in 't Veld and
                  Mathijs Schuts},
  editor       = {Zhiming Liu and
                  Alan Wassyng},
  title        = {Experiences with a Compositional Model Checker in the Healthcare Domain},
  booktitle    = {Foundations of Health Informatics Engineering and Systems - First
                  International Symposium, {FHIES} 2011, Johannesburg, South Africa,
                  August 29-30, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7151},
  pages        = {93--110},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32355-3\_6},
  doi          = {10.1007/978-3-642-32355-3\_6},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fhies/HoomanVS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0912-1901,
  author       = {Mathijs Schuts and
                  Feng Zhu and
                  Faranak Heidarian and
                  Frits W. Vaandrager},
  editor       = {Suzana Andova and
                  Annabelle McIver and
                  Pedro R. D'Argenio and
                  Pieter J. L. Cuijpers and
                  Jasen Markovski and
                  Carroll Morgan and
                  Manuel N{\'{u}}{\~{n}}ez},
  title        = {Modelling Clock Synchronization in the Chess gMAC {WSN} Protocol},
  booktitle    = {Proceedings First Workshop on Quantitative Formal Methods: Theory
                  and Applications, {QFM} 2009, Eindhoven, The Netherlands, 3rd November
                  2009},
  series       = {{EPTCS}},
  volume       = {13},
  pages        = {41--54},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.13.4},
  doi          = {10.4204/EPTCS.13.4},
  timestamp    = {Mon, 03 Jan 2022 22:03:29 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-1901.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics