Mathijs Schuts

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 14

Top Topics

Domain Specific Languages

Legacy Software

Reverse Engineer

Top Venues

Publications

Ivan Kurtev, Jozef Hooman, Mathijs Schuts, Daan van der Munnik
Model based component development and analysis with ComMA. Sci. Comput. Program. 233 (2024)
Mathijs Schuts, Jozef Hooman
Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning. Onward! (2023)
Leo van Schooten, Marco Alonso, Ronald Wiericx, Mathijs Schuts
From MSL to Dezyne: an Industrial Application Of QVTo. FedCSIS (Communication Papers) (2022)
Debjyoti Bera, Mathijs Schuts, Jozef Hooman, Ivan Kurtev
Reverse engineering models of software interfaces. Comput. Sci. Inf. Syst. 18 (3) (2021)
Mathijs Schuts, Marco Alonso, Jozef Hooman
Industrial experiences with the evolution of a DSL. DSM@SPLASH (2021)
Arjan J. Mooij, Jeroen Ketema, Steven Klusener, Mathijs Schuts
Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation. SANER (2020)
Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Dirk-Jan Swagerman
Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach. FedCSIS (2018)
Mathijs Schuts, Jozef Hooman, Paul Tielemans
Industrial Experience with the Migration of Legacy Models using a DSL. RWDSL@CGO (2018)
Ivan Kurtev, Jozef Hooman, Mathijs Schuts
Runtime Monitoring Based on Interface Specifications. ModelEd, TestEd, TrustEd (2017)
Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman
Integrating Interface Modeling and Analysis in an Industrial Setting. MODELSWARD (2017)
Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. IFM (2016)
Mathijs Schuts, Jozef Hooman
Industrial Application of Domain Specific Languages Combined with Formal Techniques. RWDSL@CGO (2016)
Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever
Evaluating the effect of a lightweight formal technique in industry. Int. J. Softw. Tools Technol. Transf. 18 (1) (2016)
Mathijs Schuts, Jozef Hooman
Improving maintenance by creating a DSL for configuring a fieldbus. DSM@SPLASH (2016)
Mathijs Schuts, Jozef Hooman
Using Domain Specific Languages to improve the development of a power control unit. FedCSIS (2015)
Mathijs Schuts, Jozef Hooman
Formalizing the Concept Phase of Product Development. FM (2015)
Ammar Osaiweran, Mathijs Schuts, Jozef Hooman
Experiences with incorporating formal techniques into industrial practice. Empir. Softw. Eng. 19 (4) (2014)
Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius
Incorporating Formal Techniques into Industrial Practice: an Experience Report. Electron. Notes Theor. Comput. Sci. 295 (2013)
Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts
Experiences with a Compositional Model Checker in the Healthcare Domain. FHIES (2011)
Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager
Modelling Clock Synchronization in the Chess gMAC WSN Protocol QFM (2009)