TER BEEK, MAURICE HENRI
TER BEEK, MAURICE HENRI
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
A configurable software model of a self-adaptive robotic system
2024 Päßler, J.; ter Beek, M. H.; Damiani, F.; Johnsen, E. B.; Tapia Tarifa, S. L.
Advanced integrated evaluation of railway systems
2024 Basile, Davide; TER BEEK, MAURICE HENRI; DI GIANDOMENICO, Felicita; Carnevali, Laura; Fantechi, Alessandro
Advancing orchestration synthesis for contract automata
2024 Basile, D.; ter Beek, M.
An integrated perspective on the evaluation of complex railway systems
2024 Basile, D.; ter Beek, M. H.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G.
Assessing the understandability and acceptance of attack-defense trees for modelling security requirements
2024 Broccia, G.; ter Beek, M. H.; Lluch Lafuente, A.; Spoletini, P.; Ferrari, A.
Can AI help with the formalization of railway cybersecurity requirements?
2024 ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Lenzini, G.; Petrocchi, M.
Coherent modal transition systems refinement
2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
Evaluating the understandability and user acceptance of Attack-Defense Trees: original experiment and replication
2024 Broccia, G.; ter Beek, M. H.; Lluch Lafuente, A.; Spoletini, P.; Fantechi, A.; Ferrari, A.
Formal methods for industrial critical systems: 30 years of railway applications
2024 ter Beek, M. H.; Fantechi, A.; Gnesi, S.
Formal methods in industry
2024 ter Beek, M. H.; Chapman, R.; Cleaveland, R.; Garavel, H.; Gu, R.; ter Horst, I.; Keiren, J. J. A.; Lecomte, T.; Leuschel, M.; Rozier, K. Y.; Sampaio, A.; Seceleanu, C.; Thomas, M.; Willemse, T. A. C.; Zhang, L.
Product lines of dataflows
2024 Lienhardt, M; TER BEEK, MAURICE HENRI; Damiani, F
Product lines of dataflows: Extended Abstract
2024 Lienhardt, M.; ter Beek, M. H.; Damiani, F.
SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference
2024 Cordy, M.; Strüber, D.; Pinto, M.; Groher, I.; Dhungana, D.; Krüger, J.; Alves Pereira, J.; Acher, M.; Thüm, T.; ter Beek, M.; Galasso-Carbonnel, J.; Arcaini, P.; Mousavi, M. R.; Tërnava, X.; Galindo, J.; Yue, T.; Fuentes, L.; Horcas, F. M.
Sustainable mobility: increase of capacity and digitisation of railway transport
2024 Basile, Davide; TER BEEK, MAURICE HENRI; Ferrari, Alessio
The role of Formal Methods in Computer Science education
2024 ter Beek, M.; Broy, M.; Dongol, B.
X-by-Construction meets AI
2024 ter Beek, M. H.; Cleophas, L.; Dubslaff, C.; Schaefer, I.
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume A
2023 Arcaini, P; TER BEEK, MAURICE HENRI; Perrouin, G; Reinhartzberger, I; Luaces, Mr; Schwanninger, C; Ali, S; Varshosaz, M; Gargantini, A; Gnesi, S; Lochau, M; Semini, L; Washizaki, H
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume B
2023 Arcaini P.; ter Beek M.H.; Perrouin G.; ReinhartzBerger I.; Machado I.; Vergilio S.R.; Rabiser R.; Yue T.; Devroey X.; Pinto M.; Washizaki H.
A runtime environment for contract automata
2023 Basile, D; ter Beek, Mh
A toolchain for strategy synthesis with spatial properties
2023 Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A configurable software model of a self-adaptive robotic system | 1-gen-2024 | Päßler, J.; ter Beek, M. H.; Damiani, F.; Johnsen, E. B.; Tapia Tarifa, S. L. | |
Advanced integrated evaluation of railway systems | 1-gen-2024 | Basile, Davide; TER BEEK, MAURICE HENRI; DI GIANDOMENICO, Felicita; Carnevali, Laura; Fantechi, Alessandro | |
Advancing orchestration synthesis for contract automata | 1-gen-2024 | Basile, D.; ter Beek, M. | |
An integrated perspective on the evaluation of complex railway systems | 1-gen-2024 | Basile, D.; ter Beek, M. H.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G. | |
Assessing the understandability and acceptance of attack-defense trees for modelling security requirements | 1-gen-2024 | Broccia, G.; ter Beek, M. H.; Lluch Lafuente, A.; Spoletini, P.; Ferrari, A. | |
Can AI help with the formalization of railway cybersecurity requirements? | 1-gen-2024 | ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Lenzini, G.; Petrocchi, M. | |
Coherent modal transition systems refinement | 1-gen-2024 | Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania | |
Evaluating the understandability and user acceptance of Attack-Defense Trees: original experiment and replication | 1-gen-2024 | Broccia, G.; ter Beek, M. H.; Lluch Lafuente, A.; Spoletini, P.; Fantechi, A.; Ferrari, A. | |
Formal methods for industrial critical systems: 30 years of railway applications | 1-gen-2024 | ter Beek, M. H.; Fantechi, A.; Gnesi, S. | |
Formal methods in industry | 1-gen-2024 | ter Beek, M. H.; Chapman, R.; Cleaveland, R.; Garavel, H.; Gu, R.; ter Horst, I.; Keiren, J. J. A.; Lecomte, T.; Leuschel, M.; Rozier, K. Y.; Sampaio, A.; Seceleanu, C.; Thomas, M.; Willemse, T. A. C.; Zhang, L. | |
Product lines of dataflows | 1-gen-2024 | Lienhardt, M; TER BEEK, MAURICE HENRI; Damiani, F | |
Product lines of dataflows: Extended Abstract | 1-gen-2024 | Lienhardt, M.; ter Beek, M. H.; Damiani, F. | |
SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference | 1-gen-2024 | Cordy, M.; Strüber, D.; Pinto, M.; Groher, I.; Dhungana, D.; Krüger, J.; Alves Pereira, J.; Acher, M.; Thüm, T.; ter Beek, M.; Galasso-Carbonnel, J.; Arcaini, P.; Mousavi, M. R.; Tërnava, X.; Galindo, J.; Yue, T.; Fuentes, L.; Horcas, F. M. | |
Sustainable mobility: increase of capacity and digitisation of railway transport | 1-gen-2024 | Basile, Davide; TER BEEK, MAURICE HENRI; Ferrari, Alessio | |
The role of Formal Methods in Computer Science education | 1-gen-2024 | ter Beek, M.; Broy, M.; Dongol, B. | |
X-by-Construction meets AI | 1-gen-2024 | ter Beek, M. H.; Cleophas, L.; Dubslaff, C.; Schaefer, I. | |
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume A | 1-gen-2023 | Arcaini, P; TER BEEK, MAURICE HENRI; Perrouin, G; Reinhartzberger, I; Luaces, Mr; Schwanninger, C; Ali, S; Varshosaz, M; Gargantini, A; Gnesi, S; Lochau, M; Semini, L; Washizaki, H | |
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume B | 1-gen-2023 | Arcaini P.; ter Beek M.H.; Perrouin G.; ReinhartzBerger I.; Machado I.; Vergilio S.R.; Rabiser R.; Yue T.; Devroey X.; Pinto M.; Washizaki H. | |
A runtime environment for contract automata | 1-gen-2023 | Basile, D; ter Beek, Mh | |
A toolchain for strategy synthesis with spatial properties | 1-gen-2023 | Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V |