Výsledky vyhledávání - "Mathijs Schuts"

Akademický článek

Modelling Clock Synchronization in the Chess gMAC WSN Protocol

Autor: Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits Vaandrager

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 13, Iss Proc. QFM 2009, Pp 41-54 (2009)

We present a detailled timed automata model of the clock synchronization algorithm that is currently being used in a wireless sensor network (WSN) that has been developed by the Dutch company Chess. Using the Uppaal model checker, we establish that i

Externí odkaz: https://doaj.org/article/8e5a30f578e34f0b8c88be71d5c012d3

Zobrazit plný text záznamu

From MSL to Dezyne: an Industrial Application Of QVTo

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

Publikováno v: Annals of Computer Science and Information Systems, 32, pp. 339-348
Annals of Computer Science and Information Systems, 32, 339-348

Contains fulltext : 282906.pdf (Publisher’s version ) (Closed access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9fb46d98f35e7a4b57e82637b9ff3bfa
https://repository.ubn.ru.nl/handle/2066/282906

Zobrazit plný text záznamu

Industrial experiences with the evolution of a DSL

Autor: Mathijs Schuts, Marco Alonso, Jozef Hooman

Publikováno v: Gray, J. (ed.), DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, SPLASH '21: Software for Humanity Chicago IL USA 18 October 2021, pp. 21-30

At Philips IGT, we develop and produce interventional X-ray systems. For a controller in these systems, we have an approximately five years old domain specific language. Like general programming languages, domains specific languages also evolve. Thes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d0a15175e9e9d1cd81e91fb6354a48e
https://doi.org/10.1145/3486603.3486774

Zobrazit plný text záznamu

Reverse Engineering Models of Software Interfaces *

Autor: Ivan Kurtev, Mathijs Schuts, Debjyoti Bera, Jozef Hooman

Publikováno v: Computer Science and Information Systems, 18, 3, pp. 657-686
Computer Science and Information Systems, 18, 657-686

Cyber-physical systems consist of many hardware and software components. Over the lifetime of these systems their components are often replaced or updated. To avoid integration problems, formal specifications of component interface behavior are cruci

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::90f3f39ea7618f24cf70c22973cbe339
https://repository.ubn.ru.nl/handle/2066/235484

Zobrazit plný text záznamu

Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation

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

Publikováno v: SANER

Over time, software tends to grow more complex, hampering understandability and further development. To reduce accidental complexity, model-based rejuvenation techniques have been proposed. These techniques combine reverse engineering (extracting mod

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b1a3fbc87e64f990ed17166370bfa68
http://resolver.tudelft.nl/uuid:c24cbc7e-75d7-4b61-b39b-cd9672653dc8

Zobrazit plný text záznamu

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

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

Publikováno v: ACSIS, Proceedings of the Federated Conference on Computer Science and Information Systems, 15, 867–876
Annals of Computer Science and Information Systems, 15, 867-876
FedCSIS
2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, 9 September 2018 through 12 September 2018, Ganzha, M.Maciaszek, L.Maciaszek, L.Paprzycki, M., Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, 867-876
Annals of Computer Science and Information Systems, 15, pp. 867-876

Cyber-physical systems consist of many hardware and software components. Over the life-cycle of these systems, components are replaced or updated. To avoid integration problems, good interface descriptions are crucial for component-based development

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ffce9ccfc0ad1fb9f7e12015931e463
http://resolver.tudelft.nl/uuid:71a963b2-cd14-4222-ac6d-4ebb92dd4472

Zobrazit plný text záznamu

Industrial Experience with the Migration of Legacy Models using a DSL

Autor: Mathijs Schuts, Paul Tielemans, Jozef Hooman

Publikováno v: RWDSL2018: Real World Domain Specific Languages Workshop 2018, Vienna, Austria — February 24-24, 2018, pp. 1-10
RWDSL@CGO
RWDSL2018 Proceedings of the Real World Domain Specific Languages Workshop 2018
RWDSL2018: Real World Domain Specific Languages Workshop 2018, Vienna, Austria — February 24-24, 2018, 1-10. New york : ACM
STARTPAGE=1;ENDPAGE=10;TITLE=RWDSL2018: Real World Domain Specific Languages Workshop 2018, Vienna, Austria — February 24-24, 2018

Software departments of companies that exist for several decades often have to deal with legacy models. Important business assets have been modelled with tools that are no longer preferred within the company. Manually remodelling these models with a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::706059ada4810c487245ff1380df60ed
https://hdl.handle.net/2066/199879

Zobrazit plný text záznamu

Runtime Monitoring Based on Interface Specifications

Autor: Jozef Hooman, Mathijs Schuts, Ivan Kurtev

Publikováno v: ModelEd, TestEd, TrustEd ISBN: 9783319682693
ModelEd, TestEd, TrustEd
Lecture Notes in Computer Science, 335–356

Unclear descriptions of software interfaces between components often lead to integration issues during development and maintenance. To address this, we have developed a framework named ComMA (Component Modeling and Analysis) that supports model-based

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::16779723ff07cbb9fcdd51bfd6694eac
https://doi.org/10.1007/978-3-319-68270-9_17

Zobrazit plný text záznamu

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

Autor: Mathijs Schuts, Frits W. Vaandrager, Jozef Hooman

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319336923
IFM

Many companies struggle with large amounts of legacy software that is difficult to maintain and to extend. Refactoring legacy code typically requires large efforts and introduces serious risks because often crucial business assets are hidden in legac

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::88a7eb47b39b17989cddff08604a3aa5
https://doi.org/10.1007/978-3-319-33693-0_20

Zobrazit plný text záznamu

Experiences with incorporating formal techniques into industrial practice

Autor: Ammar Osaiweran, Mathijs Schuts, Jozef Hooman

Publikováno v: Empirical Software Engineering, 19, 1169-1194
Empirical Software Engineering, 4, 19, 1169-1194
Empirical Software Engineering, 19(4), 1169-1194. Springer
Empirical Software Engineering, 19, 4, pp. 1169-1194

We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The comme

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a5c68cfe4597b660fe533f1c56116a05
http://hdl.handle.net/2066/128006

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání