FANTECHI, ALESSANDRO
FANTECHI, ALESSANDRO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Coherent modal transition systems refinement
2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
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
A comparison between handwritten and automatic generation of C code from SDL using static analysis
2005 Becucci M.; Fantechi A.; Giromini M.; Spinicci E.
Assembling components with behavioural contracts = Assemblage de composants selon des contrats comportementaux
2005 Carrez C.; Fantechi A.; Najm E.