FANTECHI, ALESSANDRO
FANTECHI, ALESSANDRO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Formal methods for industrial critical systems: 30 years of railway applications
2024 ter Beek, M. H.; Fantechi, A.; Gnesi, S.
The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back
2019 ter Beek, M. H.; Fantechi, A.; Semini, L.
Applications of formal methods, modeling, and testing strategies for safe software development
2018 Fantechi A.; Ferrari A.; Gnesi S.
Refinement of behavioural models for variability description
2016 Fantechi, A; Gnesi, S
Twenty-Five Years of Formal Methods and Railways: What Next?
2014 Fantechi, A
Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer
2013 Ferrari, A; Magnani, Gianluca; Grasso, Daniele; Fantechi, A; Tempestini, Matteo
Some trends in formal methods applications to railway signaling
2013 Fantechi, A; Fokkink, W; Morzenti, A
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications
2008 Ter Beek, M H; Fantechi, A; Gnesi, S; Mazzanti, F
Product line use cases: scenario-based specification and testing of requirements
2006 Bertolino, A; Fantechi, A; Gnesi, S; Lami, G
Formal description and validation for an integrity policy supporting multiple levels of criticality
1999 Fantechi, A; Gnesi, S; Semini, L
Correctness preserving transformations for the late phases of software development
1995 Fantechi A.; Makhanet B.; Najm E.; Cunha P.; Queiroz J.
Costruzione di strumenti per sistemi concorrenti e distribuiti con la teoria
1991 De Nicola R.; Fantechi A.; Gnesi S.; Ristori G.