A. Fantechi
Citata da
Citata da
Applications of linguistic techniques for use case analysis
A Fantechi, S Gnesi, G Lami, A Maccari
Requirements Engineering 8 (3), 161-170, 2003
GUARDS: A generic upgradable architecture for real-time dependable systems
D Powell, J Arlat, L Beus-Dukic, A Bondavalli, P Coppola, A Fantechi, ...
IEEE Transactions on Parallel and Distributed Systems 10 (6), 580-599, 1999
An action-based framework for veryfying logical and behavioural properties of concurrent systems
R De Nicola, A Fantechi, S Gnesi, G Ristori
Computer networks and ISDN systems 25 (7), 761-778, 1993
Assisting requirement formalization by means of natural language translation
A Fantechi, S Gnesi, G Ristori, M Carenini, M Vanocchi, P Moreschini
Formal Methods in System Design 4 (3), 243-263, 1994
Natural language processing of patents and technical documentation
G Cascini, A Fantechi, E Spinicci
International Workshop on Document Analysis Systems, 508-520, 2004
Formal modeling for product families engineering
A Fantechi, S Gnesi
2008 12th International Software Product Line Conference, 193-202, 2008
Formal description of variability in product families
P Asirelli, MH Ter Beek, S Gnesi, A Fantechi
2011 15th International Software Product Line Conference, 130-139, 2011
Model checking interlocking control tables
A Ferrari, G Magnani, D Grasso, A Fantechi
FORMS/FORMAT 2010, 107-115, 2011
A state/event-based model-checking approach for the analysis of abstract system properties
MH Ter Beek, A Fantechi, S Gnesi, F Mazzanti
Science of Computer Programming 76 (2), 119-135, 2011
A formal verification environment for railway signaling system design
C Bernardeschi, A Fantechi, S Gnesi, S Larosa, G Mongardi, D Romano
Formal Methods in System Design 12 (2), 139-161, 1998
Use case description of requirements for product lines
A Bertolino, A Fantechi, S Gnesi, G Lami, A Maccari
Proceedings of the international workshop on requirements engineering for …, 2002
Some trends in formal methods applications to railway signaling
A Fantechi, W Fokkink, A Morzenti
Formal methods for industrial critical systems: A survey of applications, 61-84, 2012
Testing equivalences for event structures
L Aceto, RD Nicola, A Fantechi
Mathematical models for the semantics of parallelism, 1-20, 1987
A logical framework to deal with variability
P Asirelli, MH Beek, A Fantechi, S Gnesi
International Conference on Integrated Formal Methods, 43-58, 2010
Using NLP to detect requirements defects: An industrial experience in the railway domain
B Rosadini, A Ferrari, G Gori, A Fantechi, S Gnesi, I Trotta, S Bacherini
International Working Conference on Requirements Engineering: Foundation for …, 2017
Twenty-five years of formal methods and railways: what next?
A Fantechi
International Conference on Software Engineering and Formal Methods, 167-183, 2013
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
MH ter Beek, A Fantechi, S Gnesi, F Mazzanti
Journal of Logical and Algebraic Methods in Programming 85 (2), 287-315, 2016
Model checking fault tolerant systems
C Bernardeschi, A Fantechi, S Gnesi
Software testing, verification and reliability 12 (4), 251-275, 2002
An action/state-based model-checking approach for the analysis of communication protocols for Service-Oriented Applications
MH Beek, A Fantechi, S Gnesi, F Mazzanti
International Workshop on Formal Methods for Industrial Critical Systems …, 2007
A model checking approach for verifying COWS specifications
A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi
International Conference on Fundamental Approaches to Software Engineering …, 2008
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20