TER BEEK, MAURICE HENRI
TER BEEK, MAURICE HENRI
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Feature-oriented modelling and analysis of a self-adaptive robotic system
2025 Päßler, J.; ter Beek, M. H.; Damiani, F.; Dubslaff, C.; Johnsen, E. B.; Tapia Tarifa, S. L.
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.
Analysing self-adaptive systems as software product lines
2024 Päßler, J.; ter Beek, M. H.; Damiani, F.; Johnsen, E. B.; Tapia Tarifa, S. L.
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 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
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.
A toolchain for strategy synthesis with spatial properties
2023 Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V
Introduction to the special collection from iFM 2022
2023 Monahan R.; ter Beek M.H.
Preface. Selected papers of the 24th international conference on coordination models and languages (COORDINATION 2022)
2023 ter Beek M.H.; Sirjani M.
Systems and software product lines of the future
2023 ter Beek M.H.; Schaefer I.
Contract automata library
2022 Basile, D; ter Beek, Mh
Efficient static analysis and verification of featured transition systems
2022 TER BEEK, MAURICE HENRI; Damiani, F; Lienhardt, M; Mazzanti, F; Paolini, L
Empirical formal methods: guidelines for performing empirical studies on formal methods
2022 TER BEEK, MAURICE HENRI; Ferrari, A
Empirical software engineering and formal methods for IoT systems
2022 Basile, D; TER BEEK, MAURICE HENRI; Broccia, G; Ferrari, A
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
2022 Basile D.; ter Beek M.H.; Ferrari A.; Legay A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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. | |
| 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. | |
| 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. | |
| 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 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 | |
| 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. | |
| A toolchain for strategy synthesis with spatial properties | 1-gen-2023 | Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V | |
| Introduction to the special collection from iFM 2022 | 1-gen-2023 | Monahan R.; ter Beek M.H. | |
| Preface. Selected papers of the 24th international conference on coordination models and languages (COORDINATION 2022) | 1-gen-2023 | ter Beek M.H.; Sirjani M. | |
| Systems and software product lines of the future | 1-gen-2023 | ter Beek M.H.; Schaefer I. | |
| Contract automata library | 1-gen-2022 | Basile, D; ter Beek, Mh | |
| Efficient static analysis and verification of featured transition systems | 1-gen-2022 | TER BEEK, MAURICE HENRI; Damiani, F; Lienhardt, M; Mazzanti, F; Paolini, L | |
| Empirical formal methods: guidelines for performing empirical studies on formal methods | 1-gen-2022 | TER BEEK, MAURICE HENRI; Ferrari, A | |
| Empirical software engineering and formal methods for IoT systems | 1-gen-2022 | Basile, D; TER BEEK, MAURICE HENRI; Broccia, G; Ferrari, A | |
| Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods | 1-gen-2022 | Basile D.; ter Beek M.H.; Ferrari A.; Legay A. |