Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Mathijs Schuts
@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} }
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.