TER BEEK, MAURICE HENRI
TER BEEK, MAURICE HENRI
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
A history of formal methods in railways
2026 Ter Beek, Maurice Henri; Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Haxthausen Anne, E.; Lecomte, Thierry
Editorial introducing the new editors-in-chief
2026 Ter Beek, Maurice Henri; Johnsen Einar, Broch
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.
Model transformation and property preservation in rigorous software development: a systematic literature review
2025 Jadoon, G.; Ter Beek, M. H.; Ferrari, A.
Models for formal methods and tools: the case of railway systems
2025 Ter Beek, M. H.
Review on formal methods for software engineering: languages, methods, application domains
2025 Ter Beek, M. H.
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.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A history of formal methods in railways | 1-gen-2026 | Ter Beek, Maurice Henri; Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Haxthausen Anne, E.; Lecomte, Thierry | |
| Editorial introducing the new editors-in-chief | 1-gen-2026 | Ter Beek, Maurice Henri; Johnsen Einar, Broch | |
| 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. | |
| Model transformation and property preservation in rigorous software development: a systematic literature review | 1-gen-2025 | Jadoon, G.; Ter Beek, M. H.; Ferrari, A. | |
| Models for formal methods and tools: the case of railway systems | 1-gen-2025 | Ter Beek, M. H. | |
| Review on formal methods for software engineering: languages, methods, application domains | 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. | |
| 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. |