Alessandro Fantechi - Concepedia

Author

Alessandro Fantechi

Also Known As

A Fantechi, A. Fantechi, Alessandro Fantechi, FANTECHI, ALESSANDRO, Fantechi, Alessandro, Ro Fantechi, Romanovsky, Alexander, ter Beek, Maurice H.

238

Publications

3.5K

Citations

H-Index

109

Concepts

All Affiliations

University of Florence Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"University of Pisa General Electric (Italy)

About

Alessandro Fantechi is an author at University of Florence specializing in engineering, systems engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	19	36	1.4K
2	Language Studies	10	10	504
3	Business	3	3	88
4	Management	2	2	44
5	Health Sciences	1	1	62

Alessandro Fantechi

Publications

1.8K

Citations

H-Index

Page 1

	Year	Citations
Applications of linguistic techniques for use case analysis Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Requirements Engineering Applied LinguisticsEmpirical Case StudyLanguage DocumentationComputational LinguisticsLanguage Testing	2003	174
Assisting requirement formalization by means of natural language translation Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Formal Methods in System Design Natural Language ProcessingSoftware RequirementRequirement FormalizationEngineeringAutomated Reasoning	1994	99
GUARDS: a generic upgradable architecture for real-time dependable systems David Powell, Jean Arlat, L. Beus-Dukic, IEEE Transactions on Parallel and Distributed Systems EngineeringComputer ArchitectureSoftware EngineeringFault ToleranceEmbedded Systems	1999	93
Formal Description of Variability in Product Families Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, EngineeringModal LogicFormal VerificationLinear-time Temporal LogicUncertainty Quantification	2011	92
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Empirical Software Engineering EngineeringRequirement ModelingRequirements DefectsSoftware EngineeringCorpus Linguistics	2018	89
An action-based framework for veryfying logical and behavioural properties of concurrent systems Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Computer Networks and ISDN Systems EngineeringAutomated ReasoningVerificationConcurrent ProgrammingFormal Methods	1993	85
A state/event-based model-checking approach for the analysis of abstract system properties Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Science of Computer Programming EngineeringFormal ModelingProgram AnalysisAutomated ReasoningSoftware Testing	2010	83
Formal Modeling for Product Families Engineering Alessandro Fantechi, Stefania Gnesi EngineeringIndustrial EngineeringFormal VerificationSocial SciencesSystems Engineering	2008	83
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Journal of Logical and Algebraic Methods in Programming Systems AnalysisVariability ConstraintsEngineeringUncertainty QuantificationDesign	2015	83
A Formal Verification Environment for Railway Signaling System Design Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Formal Methods in System Design	1998	64

Page 1