default search action

combined dblp search
author search
venue search
publication search

ask others

Mathijs Schuts

Mathijs T. W. Schuts

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/SchutsHKTO25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/SchutsHKTO25
Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Issam B. S. Tlili, Erik Oerlemans:
Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting. J. Object Technol. 24(2): 2 (2025)
2024
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KurtevHSM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KurtevHSM24
Ivan Kurtev, Jozef Hooman, Mathijs Schuts, Daan van der Munnik:
Model based component development and analysis with ComMA. Sci. Comput. Program. 233: 103067 (2024)
2022
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/spe/SchutsATV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/SchutsATV22
Mathijs T. W. Schuts, Rodin T. A. Aarssen, Paul M. Tielemans, Jurgen J. Vinju:
Large-scale semi-automated migration of legacy C/C++ test code. Softw. Pract. Exp. 52(7): 1543-1580 (2022)
2021
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/BeraSHK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/BeraSHK21
Debjyoti Bera, Mathijs Schuts, Jozef Hooman, Ivan Kurtev:
Reverse engineering models of software interfaces. Comput. Sci. Inf. Syst. 18(3): 657-686 (2021)
2016
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/OsaiweranSHGR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/OsaiweranSHGR16
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): 93-108 (2016)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/OsaiweranSH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/OsaiweranSH14
Ammar Osaiweran, Mathijs Schuts, Jozef Hooman:
Experiences with incorporating formal techniques into industrial practice. Empir. Softw. Eng. 19(4): 1169-1194 (2014)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c18]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/benevol/SchutsHA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/benevol/SchutsHA24
Mathijs Schuts, Jozef Hooman, Marco Alonso:
Combining Static and Dynamic Techniques for Refactoring Industrial FSMs in C++. BENEVOL 2024: 115-134
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fedcsis/BolwerkAS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/BolwerkAS24
Twan Bolwerk, Marco Alonso, Mathijs Schuts:
Using a Textual DSL With Live Graphical Feedback to Improve the CPS' Design Workflow of Hardware Engineers. FedCSIS 2024: 301-312
2023
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/onward/SchutsH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/onward/SchutsH23
Mathijs Schuts, Jozef Hooman:
Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning. Onward! 2023: 15-31
2022
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fedcsis/SchootenAWS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/SchootenAWS22
Leo van Schooten, Marco Alonso, Ronald Wiericx, Mathijs Schuts:
From MSL to Dezyne: an Industrial Application Of QVTo. FedCSIS (Communication Papers) 2022: 339-348
2021
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/SchutsAH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/SchutsAH21
Mathijs Schuts, Marco Alonso, Jozef Hooman:
Industrial experiences with the evolution of a DSL. DSM@SPLASH 2021: 21-30
2020
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/MooijKKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/MooijKKS20
Arjan J. Mooij, Jeroen Ketema, Steven Klusener, Mathijs Schuts:
Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation. SANER 2020: 617-621
2018
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/SchutsHT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/SchutsHT18
Mathijs Schuts, Jozef Hooman, Paul Tielemans:
Industrial Experience with the Migration of Legacy Models using a DSL. RWDSL@CGO 2018: 1:1-1:10
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fedcsis/SchutsHKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/SchutsHKS18
Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Dirk-Jan Swagerman:
Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach. FedCSIS 2018: 867-876
2017
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KurtevHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KurtevHS17
Ivan Kurtev, Jozef Hooman, Mathijs Schuts:
Runtime Monitoring Based on Interface Specifications. ModelEd, TestEd, TrustEd 2017: 335-356
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/KurtevSHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/KurtevSHS17
Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman:
Integrating Interface Modeling and Analysis in an Industrial Setting. MODELSWARD 2017: 345-352
2016
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/SchutsH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/SchutsH16
Mathijs Schuts, Jozef Hooman:
Industrial Application of Domain Specific Languages Combined with Formal Techniques. RWDSL@CGO 2016: 2:1-2:8
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SchutsHV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SchutsHV16
Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager:
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. IFM 2016: 311-325
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/SchutsH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/SchutsH16
Mathijs Schuts, Jozef Hooman:
Improving maintenance by creating a DSL for configuring a fieldbus. DSM@SPLASH 2016: 28-34
2015
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fedcsis/SchutsH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/SchutsH15
Mathijs Schuts, Jozef Hooman:
Using Domain Specific Languages to improve the development of a power control unit. FedCSIS 2015: 781-788
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/SchutsH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SchutsH15
Mathijs Schuts, Jozef Hooman:
Formalizing the Concept Phase of Product Development. FM 2015: 605-608
2012
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OsaiweranSHW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OsaiweranSHW13
Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius:
Incorporating Formal Techniques into Industrial Practice: an Experience Report. FESCA 2012: 49-63
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/HoomanVS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/HoomanVS11
Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts:
Experiences with a Compositional Model Checker in the Healthcare Domain. FHIES 2011: 93-110
2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0912-1901
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-1901
Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager:
Modelling Clock Synchronization in the Chess gMAC WSN Protocol. QFM 2009: 41-54

Coauthor Index

see FAQ

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.