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 292 (tempo di esecuzione: 0.049 secondi).
Titolo Data di pubblicazione Autore(i) File
Animating Rebeca 1-gen-2025 ter Beek, M.; Proença, J.
Feature-oriented modelling and analysis of a self-adaptive robotic system 1-gen-2025 Päßler, J.; ter Beek, M. H.; Damiani, F.; Dubslaff, C.; Johnsen, E. B.; Tapia Tarifa, S. L.
Models for formal methods and tools: the case of railway systems 1-gen-2025 ter Beek, M. H.
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.
Analysing self-adaptive systems as software product lines 1-gen-2024 Päßler, J.; ter Beek, M. H.; Damiani, F.; Johnsen, E. B.; Tapia Tarifa, S. L.
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 and tools applied in the railway domain 1-gen-2024 ter Beek, M. H.
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
Team automata: overview and roadmap 1-gen-2024 ter Beek, M. H.; Hennicker, R.; Proença, J.