Modelling and Validating a multiple-configuration railway signalling system using SDL. - Alessandro Fantechi; Emilio Spinicci (TACoS, 2003)

Natural Language Processing of Patents and Technical Documentation. - Gaetano Cascini; Alessandro Fantechi; Emilio Spinicci (Document Analysis Systems, 2004)

Validation Coverage for a Component-based SDL model of a Railway Signaling System. - Michele Banci; Marcello Becucci; Alessandro Fantechi; Emilio Spinicci (TACoS, 2004)

Automatic Translation from Textual Representations of Laws to Formal Models through UML. - Pietro Mercatali; Francesco Romano; Luciano Boschi; Emilio Spinicci (JURIX, 2005)

A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents. - Alessandro Fantechi; Emilio Spinicci (WER, 2005)

A comparison between handwritten and automatic generation of C code from SDL using static analysis. - Marcello Becucci; Alessandro Fantechi; Marco Giromini; Emilio Spinicci (Softw. Pract. Exp., 2005)

ERMHAN: A multi-channel context-aware platform to support mobile caregivers in continuous care networks. - Federica Paganelli; Emilio Spinicci; Alessandro Mamelli; Roberto Bernazzani; Paolo Barone (ICPS, 2007)