CNR Institutional Research Information System

FANTECHI, ALESSANDRO

FANTECHI, ALESSANDRO  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 40 (tempo di esecuzione: 0.107 secondi).
Titolo Data di pubblicazione Autore(i) File
Coherent modal transition systems refinement 1-gen-2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
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
A comparison between handwritten and automatic generation of C code from SDL using static analysis 1-gen-2005 Becucci M.; Fantechi A.; Giromini M.; Spinicci E.
Assembling components with behavioural contracts = Assemblage de composants selon des contrats comportementaux 1-gen-2005 Carrez C.; Fantechi A.; Najm E.