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 252 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) File
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, Davide; ter Beek, Maurice H.
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.
Coherent modal transition systems refinement 1-gen-2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
Product lines of dataflows 1-gen-2024 Lienhardt, M; TER BEEK, MAURICE HENRI; Damiani, F
Sustainable mobility: increase of capacity and digitisation of railway transport 1-gen-2024 Basile, Davide; TER BEEK, MAURICE HENRI; Ferrari, Alessio
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
A toolchain for strategy synthesis with spatial properties - Complementary material 1-gen-2023 Basile D.; ter Beek M.H.; Bussi L.; Ciancia V.
Can we communicate? Using dynamic logic to verify team automata 1-gen-2023 TER BEEK, MAURICE HENRI; Cledou, G; Hennicker, R; Proença, J
Evaluating a language workbench: from working memory capacity to comprehension to acceptance 1-gen-2023 Broccia, G; Ferrari, A; TER BEEK, MAURICE HENRI; Cazzola, W; Favalli, L; Bertolotti, F
Formal modelling and analysis of a self-adaptive robotic system 1-gen-2023 Päßler, J; ter Beek MH, ; Damiani, F; Tapia Tarifa SL, ; Johnsen, Eb
Formal modelling and analysis of a self-adaptive robotic system 1-gen-2023 Päßler, J; TER BEEK, MAURICE HENRI; Damiani, F; Tapia Tarifa, Sl; Johnsen, Eb
Introduction to the special collection from iFM 2022 1-gen-2023 Monahan R.; ter Beek M.H.
Mutant equivalence as monotonicity in parametric timed games 1-gen-2023 Basile, D; TER BEEK, MAURICE HENRI; Göttmann, H; Lochau, M
Preface. Proceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA'23) 1-gen-2023 ter Beek M.H.; Dubslaff C.
Preface. Selected papers of the 24th international conference on coordination models and languages (COORDINATION 2022) 1-gen-2023 ter Beek M.H.; Sirjani M.
Realisability of global models of interaction 1-gen-2023 ter Beek, M. H.; Hennicker, R.; Proença, J.