Mathijs Schuts

Evaluating the effect of a lightweight formal technique in industry

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman et al. · International Journal on Software Tools for Technology Transfer · 2015 · 14 citations · Full text

Computing, Computer Science, Formal Methods +16

Integrating Interface Modeling and Analysis in an Industrial Setting

Ivan Kurtev, Mathijs Schuts, Jozef Hooman et al. · 2017 · 14 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation

Arjan J. Mooij, Jeroen Ketema, Steven Klusener et al. · 2020 · 14 citations

Computing, Computer Engineering, Computer Science +17

Incorporating Formal Techniques into Industrial Practice: an Experience Report

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman et al. · Electronic Notes in Theoretical Computer Science · 2013 · 13 citations · Full text

Computing, Computer Science, Systems Engineering +17

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

Mathijs Schuts, Rodin T. A. Aarssen, Paul M. Tielemans et al. · Software Practice and Experience · 2022 · 11 citations · Full text

Computing, Computer Engineering, Computer Science +16