Term Rewriting Based On Set Automaton Matching

Autor: Bouwman, Mark, Erkens, Rick

In this article we investigate how a subterm pattern matching algorithm can be exploited to implement efficient term rewriting procedures. From the left-hand sides of the rewrite system we construct a set automaton, which can be used to find all rede

Externí odkaz: http://arxiv.org/abs/2202.08687

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

What is the point

Autor: Bouwman, Mark, van der Wal, Djurre, Luttik, Bas, Stoelinga, Mariëlle, Rensink, Arend, Baraldi, Piero, Di Maio, Francesco, Zio, Enrico

Publikováno v: Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, 921-928
STARTPAGE=921;ENDPAGE=928;TITLE=Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference

EULYNX is an EU-level collaboration between railway infrastructure managers to standardize signaling interfaces. The main goal of EULYNX is to provide, on an EU scale, a modular and flexible railroad architecture where components can easily be exchan

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e7f667d1542760c955d3a9b04f6dc2f
http://www.scopus.com/inward/record.url?scp=85107292800&partnerID=8YFLogxK

Formal modelling and verification of an interlocking using mCRL2

Autor: Bouwman, Mark, Janssen, Bob, Luttik, Bas, Larsen, Kim Guldstrand, Willemse, Tim

Publikováno v: Formal Methods for Industrial Critical Systems ISBN: 9783030270070
FMICS
Formal Methods for Industrial Critical Systems-24th International Conference, FMICS 2019, Proceedings, 22-39
STARTPAGE=22;ENDPAGE=39;TITLE=Formal Methods for Industrial Critical Systems-24th International Conference, FMICS 2019, Proceedings

This paper presents an application of the formal modelling and model checking toolkit mCRL2 and the model-based testing tool JTorX in the signalling domain. The mCRL2 toolkit is used to formally model the behaviour of a system at the core of signalli

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::478f512a1a0c76ef111d5698f3b98ff4
https://doi.org/10.1007/978-3-030-27008-7_2

Liraglutide for perioperative management of hyperglycaemia in cardiac surgery patients: a multicentre randomized superiority trial.

Autor: Hulst, Abraham H., Visscher, Maarten J., Godfried, Marc B., Thiel, Bram, Gerritse, Bastiaan M., Scohy, Thierry V., Bouwman, R. Arthur, Willemsen, Mark G. A., Hollmann, Markus W., Preckel, Benedikt, DeVries, J. Hans, Hermanides, Jeroen

Publikováno v: Diabetes, Obesity & Metabolism; Apr2020, Vol. 22 Issue 4, p557-565, 9p