A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems

Autor: Hendriks, Dennis, van der Meer, Arjan, Oortwijn, Wytse

Software-intensive systems constantly evolve. To prevent software changes from unintentionally introducing costly system defects, it is important to understand their impact to reduce risk. However, it is in practice nearly impossible to foresee the f

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

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

Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit

Autor: Fokkink, Wan, Goorden, Martijn, Hendriks, Dennis, van Beek, Bert, Hofkamp, Albert, Reijnen, Ferdie, Etman, Pascal, Moormann, Lars, van de Mortel-Fronczak, Joanna, Reniers, M.A., Rooda, Jacobus, van der Sanden, Bram, Schiffelers, Ramon, Thuijsman, Sander, Verbakel, Jeroen, Vogel, Han

Publikováno v: Fokkink, W, Goorden, M, Hendriks, D, van Beek, B, Hofkamp, A, Reijnen, F, Etman, P, Moormann, L, van de Mortel-Fronczak, J, Reniers, M A, Rooda, J, van der Sanden, B, Schiffelers, R, Thuijsman, S, Verbakel, J & Vogel, H 2023, Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit . in Tools and Algorithms for the Construction and Analysis of Systems .

The Eclipse Supervisory Control Engineering Toolkit (ESCET™) is an open-source project to provide a model-based approach and toolkit for developing supervisory controllers, targeting their entire engineering process. It supports synthesis-based eng

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c52af00baffd97b989243dfca3d5c182
https://vbn.aau.dk/ws/files/513036289/2023TACAS.pdf

RERS 2019

Autor: Jasper, Marc, Mues, Malte, Murtovi, Alnis, Schlüter, Maximilian, Howar, Falk, Steffen, Bernhard, Schordan, Markus, Hendriks, Dennis, Schiffelers, Ramon, Kuppens, Harco, Vaandrager, Frits W., Beyer, Dirk, Kordon, Fabrice, Huisman, Marieke

Publikováno v: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 6 April 2019 through 11 April 2019, 101-115
Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 101-115. Cham : Springer International Publishing
STARTPAGE=101;ENDPAGE=115;ISSN=0302-9743;TITLE=Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, pp. 101-115
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, 101-115
STARTPAGE=101;ENDPAGE=115;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)

This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019. For the first time in the history of RERS, the challenge features industrial tracks where benchmark programs that participants need to analyze are synthesized from

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

CIF 3: Model-based engineering of supervisory controllers

Autor: van Beek, D.A., Fokkink, W.J., Hendriks, Dennis, Hofkamp, A., Markovski, J., van de Mortel-Fronczak, J.M., Reniers, M.A.

Publikováno v: Lecture Notes in Computer Science, 8413(8413), 575-580. Springer Verlag
van Beek, D A, Fokkink, W J, Hendriks, D, Hofkamp, A, Markovski, J, van de Mortel-Fronczak, J M & Reniers, M A 2014, ' CIF 3: Model-based engineering of supervisory controllers ', Lecture Notes in Computer Science, vol. 8413, no. 8413, pp. 575-580 . https://doi.org/10.1007/978-3-642-54862-8_48

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3b076aab4fa9d619ee59380f2ed5c391
https://doi.org/10.1007/978-3-642-54862-8_48