Mathijs Schuts

According to our database, Mathijs Schuts authored at least 20 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning.

Mathijs Schuts, Jozef Hooman

Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, 2023

2022

Large-scale semi-automated migration of legacy C/C++ test code.

Mathijs T. W. Schuts, Rodin T. A. Aarssen, Paul M. Tielemans, Jurgen J. Vinju

Softw. Pract. Exp., 2022

From MSL to Dezyne: an Industrial Application Of QVTo.

Leo van Schooten, Marco Alonso, Ronald Wiericx, Mathijs Schuts

Proceedings of the Communication Papers of the 17th Conference on Computer Science and Intelligence Systems, 2022

2021

Reverse engineering models of software interfaces.

Debjyoti Bera, Mathijs Schuts, Jozef Hooman, Ivan Kurtev

Comput. Sci. Inf. Syst., 2021

Industrial experiences with the evolution of a DSL.

Mathijs Schuts, Marco Alonso, Jozef Hooman

Proceedings of the DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021

2020

Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation.

Arjan J. Mooij, Jeroen Ketema, Steven Klusener, Mathijs Schuts

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

2018

Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach.

Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Dirk-Jan Swagerman

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

Industrial Experience with the Migration of Legacy Models using a DSL.

Mathijs Schuts, Jozef Hooman, Paul Tielemans

Proceedings of the Real World Domain Specific Languages Workshop, 2018

2017

Integrating Interface Modeling and Analysis in an Industrial Setting.

Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Runtime Monitoring Based on Interface Specifications.

Ivan Kurtev, Jozef Hooman, Mathijs Schuts

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Evaluating the effect of a lightweight formal technique in industry.

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever

Int. J. Softw. Tools Technol. Transf., 2016

Improving maintenance by creating a DSL for configuring a fieldbus.

Mathijs Schuts, Jozef Hooman

Proceedings of the International Workshop on Domain-Specific Modeling, 2016

Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report.

Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Industrial Application of Domain Specific Languages Combined with Formal Techniques.

Mathijs Schuts, Jozef Hooman

Proceedings of the 1st International Workshop on Real World Domain Specific Languages, 2016

2015

Formalizing the Concept Phase of Product Development.

Mathijs Schuts, Jozef Hooman

Proceedings of the FM 2015: Formal Methods, 2015

Using Domain Specific Languages to improve the development of a power control unit.

Mathijs Schuts, Jozef Hooman

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

Experiences with incorporating formal techniques into industrial practice.

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman

Empir. Softw. Eng., 2014

2012

Incorporating Formal Techniques into Industrial Practice: an Experience Report.

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

2011

Experiences with a Compositional Model Checker in the Healthcare Domain.

Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts

Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

2009

Modelling Clock Synchronization in the Chess gMAC WSN Protocol

Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager

Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009