Alessandro Fantechi
University of Florence(IT)
Publications by Year
Research Areas
Formal Methods in Verification, Advanced Software Engineering Methodologies, Model-Driven Software Engineering Techniques, Software Reliability and Analysis Research, Software Testing and Debugging Techniques
Most-Cited Works
- → Applications of linguistic techniques for use case analysis(2003)174 cited
- → Assisting requirement formalization by means of natural language translation(1994)99 cited
- → GUARDS: a generic upgradable architecture for real-time dependable systems(1999)93 cited
- → Formal Description of Variability in Product Families(2011)92 cited
- → Natural Language Processing of Patents and Technical Documentation(2004)90 cited
- → Detecting requirements defects with NLP patterns: an industrial experience in the railway domain(2018)90 cited
- → A state/event-based model-checking approach for the analysis of abstract system properties(2010)85 cited