TER BEEK, MAURICE HENRI
TER BEEK, MAURICE HENRI
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
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, Davide; ter Beek, Maurice H.
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.
Coherent modal transition systems refinement
2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
Product lines of dataflows
2024 Lienhardt, M; TER BEEK, MAURICE HENRI; Damiani, F
Sustainable mobility: increase of capacity and digitisation of railway transport
2024 Basile, Davide; TER BEEK, MAURICE HENRI; Ferrari, Alessio
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
A toolchain for strategy synthesis with spatial properties - Complementary material
2023 Basile D.; ter Beek M.H.; Bussi L.; Ciancia V.
Can we communicate? Using dynamic logic to verify team automata
2023 TER BEEK, MAURICE HENRI; Cledou, G; Hennicker, R; Proença, J
Evaluating a language workbench: from working memory capacity to comprehension to acceptance
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
2023 Päßler, J; ter Beek MH, ; Damiani, F; Tapia Tarifa SL, ; Johnsen, Eb
Formal modelling and analysis of a self-adaptive robotic system
2023 Päßler, J; TER BEEK, MAURICE HENRI; Damiani, F; Tapia Tarifa, Sl; Johnsen, Eb
Introduction to the special collection from iFM 2022
2023 Monahan R.; ter Beek M.H.
Mutant equivalence as monotonicity in parametric timed games
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)
2023 ter Beek M.H.; Dubslaff C.
Preface. Selected papers of the 24th international conference on coordination models and languages (COORDINATION 2022)
2023 ter Beek M.H.; Sirjani M.
Realisability of global models of interaction
2023 ter Beek, M. H.; Hennicker, R.; Proença, J.
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. |