Mathijs Schuts

23 papers A 1B 2C 4Journal 5Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting. J. Object Technol. Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Issam B. S. Tlili, Erik Oerlemans
2024	—	`conf`	Combining Static and Dynamic Techniques for Refactoring Industrial FSMs in C++. BENEVOL Mathijs Schuts, Jozef Hooman, Marco Alonso
2024	J	`jnl`	Model based component development and analysis with ComMA. Sci. Comput. Program. Ivan Kurtev, Jozef Hooman, Mathijs Schuts, Daan van der Munnik
2024	C	`conf`	Using a Textual DSL With Live Graphical Feedback to Improve the CPS' Design Workflow of Hardware Engineers. FedCSIS Twan Bolwerk, Marco Alonso, Mathijs Schuts
2023	—	`conf`	Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning. Onward! Mathijs Schuts, Jozef Hooman
2022	—	`conf`	From MSL to Dezyne: an Industrial Application Of QVTo. FedCSIS (Communication Papers) Leo van Schooten, Marco Alonso, Ronald Wiericx, Mathijs Schuts
2021	—	`conf`	Industrial experiences with the evolution of a DSL. DSM@SPLASH Mathijs Schuts, Marco Alonso, Jozef Hooman
2021	J	`jnl`	Reverse engineering models of software interfaces. Comput. Sci. Inf. Syst. Debjyoti Bera, Mathijs Schuts, Jozef Hooman, Ivan Kurtev
2020	A	`conf`	Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation. SANER Arjan J. Mooij, Jeroen Ketema, Steven Klusener, Mathijs Schuts
2018	—	`conf`	Industrial Experience with the Migration of Legacy Models using a DSL. RWDSL@CGO Mathijs Schuts, Jozef Hooman, Paul Tielemans
2018	C	`conf`	Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach. FedCSIS Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Dirk-Jan Swagerman
2017	C	`conf`	Integrating Interface Modeling and Analysis in an Industrial Setting. MODELSWARD Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman
2017	—	`conf`	Runtime Monitoring Based on Interface Specifications. ModelEd, TestEd, TrustEd Ivan Kurtev, Jozef Hooman, Mathijs Schuts
2016	J	`jnl`	Evaluating the effect of a lightweight formal technique in industry. Int. J. Softw. Tools Technol. Transf. Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever
2016	—	`conf`	Improving maintenance by creating a DSL for configuring a fieldbus. DSM@SPLASH Mathijs Schuts, Jozef Hooman
2016	—	`conf`	Industrial Application of Domain Specific Languages Combined with Formal Techniques. RWDSL@CGO Mathijs Schuts, Jozef Hooman
2016	B	`conf`	Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. IFM Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager
2015	B	`conf`	Formalizing the Concept Phase of Product Development. FM Mathijs Schuts, Jozef Hooman
2015	C	`conf`	Using Domain Specific Languages to improve the development of a power control unit. FedCSIS Mathijs Schuts, Jozef Hooman
2014	J	`jnl`	Experiences with incorporating formal techniques into industrial practice. Empir. Softw. Eng. Ammar Osaiweran, Mathijs Schuts, Jozef Hooman
2012	—	`conf`	Incorporating Formal Techniques into Industrial Practice: an Experience Report. FESCA Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius
2011	—	`conf`	Experiences with a Compositional Model Checker in the Healthcare Domain. FHIES Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts
2009	—	`conf`	Modelling Clock Synchronization in the Chess gMAC WSN Protocol QFM Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager