FANTECHI, ALESSANDRO
FANTECHI, ALESSANDRO
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
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.
VIBE: looking for Variability In amBiguous rEquirements
2022 Fantechi, A; Gnesi, S; Semini, L
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain
2018 Ferrari, A; Gori, G; Rosadini, B; Trotta, I; Bacherini, S; Fantechi, A; Gnesi, S
Formal methods for the railway sector
2018 ter Beek, Mh; Fantechi, A; Ferrari, A; Gnesi, S; Scopigno, R
Formal methods for railway control systems
2014 Fantechi A.; Gnesi S.; Flalmmini F.
Model-based development and formal methods in the railway industry
2013 Ferrari, A; Fantechi, A; Gnesi, S; Magnani, G
Session types for safe Web service orchestration
2013 Michaux J.; Najm E.; Fantechi A.
The Metro Rio case study
2013 Ferrari, A; Fantechi, A; Magnani, G; Grasso, D; Tempestini, M
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living
2013 Magherini, T; Fantechi, A; Nugent, C; Vicario, E
A state/event-based model-checking approach for the analysis of abstract system properties
2011 ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Mazzanti, F.
Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer
2011 Ferrari, A; Magnani, G; Grasso, D; Fantechi, A; Tempestini, M
A logical framework to deal with variability
2010 Asirelli P.; Ter Beek M. H.; Fantechi A.; Gnesi S.
Evaluation of natural language requirements in the MODCONTROL project
2008 Bucchiarone, A; Gnesi, S; Trentanni, G; Fantechi, A
Experimenting with diversity in the formal development of railway signalling systems
2008 Fantechi A.; Gnesi S.; Lombardi G.
Model driven development of railway systems using diversity
2008 Banci, M; Gnesi, S; Fantechi, A; Lombardi, G
A story about formal methods adoption by a railway signaling Manufacturer
2006 Bacherini, S; Fantechi, A; Tempestini, M; Zingoni, N
Statecharts composition to model topologically distributed applications
2006 Banci, M; Fantechi, A; Gnesi, S
Statecharts composition to model topologically distributed applications
2006 Banci, M; Fantechi, A; Gnesi, S
| 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 | |
| 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. | |
| VIBE: looking for Variability In amBiguous rEquirements | 1-gen-2022 | Fantechi, A; Gnesi, S; Semini, L | |
| Detecting requirements defects with NLP patterns: an industrial experience in the railway domain | 1-gen-2018 | Ferrari, A; Gori, G; Rosadini, B; Trotta, I; Bacherini, S; Fantechi, A; Gnesi, S | |
| Formal methods for the railway sector | 1-gen-2018 | ter Beek, Mh; Fantechi, A; Ferrari, A; Gnesi, S; Scopigno, R | |
| Formal methods for railway control systems | 1-gen-2014 | Fantechi A.; Gnesi S.; Flalmmini F. | |
| Model-based development and formal methods in the railway industry | 1-gen-2013 | Ferrari, A; Fantechi, A; Gnesi, S; Magnani, G | |
| Session types for safe Web service orchestration | 1-gen-2013 | Michaux J.; Najm E.; Fantechi A. | |
| The Metro Rio case study | 1-gen-2013 | Ferrari, A; Fantechi, A; Magnani, G; Grasso, D; Tempestini, M | |
| Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living | 1-gen-2013 | Magherini, T; Fantechi, A; Nugent, C; Vicario, E | |
| A state/event-based model-checking approach for the analysis of abstract system properties | 1-gen-2011 | ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Mazzanti, F. | |
| Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer | 1-gen-2011 | Ferrari, A; Magnani, G; Grasso, D; Fantechi, A; Tempestini, M | |
| A logical framework to deal with variability | 1-gen-2010 | Asirelli P.; Ter Beek M. H.; Fantechi A.; Gnesi S. | |
| Evaluation of natural language requirements in the MODCONTROL project | 1-gen-2008 | Bucchiarone, A; Gnesi, S; Trentanni, G; Fantechi, A | |
| Experimenting with diversity in the formal development of railway signalling systems | 1-gen-2008 | Fantechi A.; Gnesi S.; Lombardi G. | |
| Model driven development of railway systems using diversity | 1-gen-2008 | Banci, M; Gnesi, S; Fantechi, A; Lombardi, G | |
| A story about formal methods adoption by a railway signaling Manufacturer | 1-gen-2006 | Bacherini, S; Fantechi, A; Tempestini, M; Zingoni, N | |
| Statecharts composition to model topologically distributed applications | 1-gen-2006 | Banci, M; Fantechi, A; Gnesi, S | |
| Statecharts composition to model topologically distributed applications | 1-gen-2006 | Banci, M; Fantechi, A; Gnesi, S |