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.
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
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, Mh; 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.
Formal methods and tools for industrial critical systems
2022 ter Beek MH, ; Larsen, Kg; Nickovic, D; Tac, Willemse
Formal Methods in railways: a systematic mapping study
2022 Ferrari A.; ter Beek M.H.
FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC
2022 ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.; Scarso G.
Static detection of equivalent mutants in real-time model-based mutation testing
2022 Basile D.; ter Beek M.; Lazreg S.; Cordy M.; Legay A.
Editorial
2021 McIver A.; ter Beek M.H.
Formal methods: practical applications and foundations
2021 ter Beek MH, ; Mciver, A
| 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. | |
| 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 | |
| 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, Mh; 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. | |
| Formal methods and tools for industrial critical systems | 1-gen-2022 | ter Beek MH, ; Larsen, Kg; Nickovic, D; Tac, Willemse | |
| Formal Methods in railways: a systematic mapping study | 1-gen-2022 | Ferrari A.; ter Beek M.H. | |
| FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC | 1-gen-2022 | ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.; Scarso G. | |
| Static detection of equivalent mutants in real-time model-based mutation testing | 1-gen-2022 | Basile D.; ter Beek M.; Lazreg S.; Cordy M.; Legay A. | |
| Editorial | 1-gen-2021 | McIver A.; ter Beek M.H. | |
| Formal methods: practical applications and foundations | 1-gen-2021 | ter Beek MH, ; Mciver, A |