CNR Institutional Research Information System

TER BEEK, MAURICE HENRI

TER BEEK, MAURICE HENRI  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 283 (tempo di esecuzione: 0.04 secondi).
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