A. Fantechi
Title
Cited by
Cited by
Year
Applications of linguistic techniques for use case analysis
A Fantechi, S Gnesi, G Lami, A Maccari
Requirements Engineering 8 (3), 161-170, 2003
2432003
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
1591993
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
1551999
Formal modeling for product families engineering
A Fantechi, S Gnesi
2008 12th International Software Product Line Conference, 193-202, 2008
1152008
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
1132011
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
1101994
Natural language processing of patents and technical documentation
G Cascini, A Fantechi, E Spinicci
International Workshop on Document Analysis Systems, 508-520, 2004
1022004
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
811998
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
802002
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
782011
Model checking interlocking control tables
A Ferrari, G Magnani, D Grasso, A Fantechi
FORMS/FORMAT 2010, 107-115, 2011
772011
A logical framework to deal with variability
P Asirelli, MH Ter Beek, A Fantechi, S Gnesi
International Conference on Integrated Formal Methods, 43-58, 2010
722010
Testing equivalences for event structures
L Aceto, R De Nicola, A Fantechi
Mathematical models for the semantics of parallelism, 1-20, 1987
711987
Model checking fault tolerant systems
C Bernardeschi, A Fantechi, S Gnesi
Software Testing, Verification and Reliability 12 (4), 251-275, 2002
642002
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
612008
An action/state-based model-checking approach for the analysis of communication protocols for Service-Oriented Applications
MH Ter Beek, A Fantechi, S Gnesi, F Mazzanti
International Workshop on Formal Methods for Industrial Critical Systems …, 2007
602007
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
542016
Some trends in formal methods applications to railway signaling
A Fantechi, W Fokkink, A Morzenti
Formal Methods for Industrial Critical Systems, 61-84, 2013
502013
A behavioural model for product families
A Fantechi, S Gnesi
The 6th Joint Meeting on European software engineering conference and the …, 2007
502007
A methodology for the derivation and verification of use cases for product lines
A Fantechi, S Gnesi, G Lami, E Nesti
International Conference on Software Product Lines, 255-265, 2004
502004
The system can't perform the operation now. Try again later.
Articles 1–20