Emilio Spinicci

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Federica Paganelli, Emilio Spinicci, Alessandro Mamelli, Roberto Bernazzani, Paolo Barone
ERMHAN: A multi-channel context-aware platform to support mobile caregivers in continuous care networks. ICPS (2007)
Alessandro Fantechi, Emilio Spinicci
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents. WER (2005)
Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci
Validation Coverage for a Component-based SDL model of a Railway Signaling System. Electron. Notes Theor. Comput. Sci. 116 (2005)
Pietro Mercatali, Francesco Romano, Luciano Boschi, Emilio Spinicci
Automatic Translation from Textual Representations of Laws to Formal Models through UML. JURIX (2005)
Marcello Becucci, Alessandro Fantechi, Marco Giromini, Emilio Spinicci
A comparison between handwritten and automatic generation of C code from SDL using static analysis. Softw. Pract. Exp. 35 (14) (2005)
Gaetano Cascini, Alessandro Fantechi, Emilio Spinicci
Natural Language Processing of Patents and Technical Documentation. Document Analysis Systems (2004)
Alessandro Fantechi, Emilio Spinicci
Modelling and Validating a multiple-configuration railway signalling system using SDL. Electron. Notes Theor. Comput. Sci. 82 (6) (2003)