Emilio Spinicci

According to our database, Emilio Spinicci authored at least 7 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

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

Proceedings of the IEEE International Conference on Pervasive Services, 2007

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

A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents.

Alessandro Fantechi, Emilio Spinicci

Proceedings of the Anais do WER05, 2005

Automatic Translation from Textual Representations of Laws to Formal Models through UML.

Pietro Mercatali, Francesco Romano, Luciano Boschi, Emilio Spinicci

Proceedings of the Legal Knowledge and Information Systems, 2005

2004

Validation Coverage for a Component-based SDL model of a Railway Signaling System.

Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Natural Language Processing of Patents and Technical Documentation.

Gaetano Cascini, Alessandro Fantechi, Emilio Spinicci

Proceedings of the Document Analysis Systems VI, 6th International Workshop, 2004

2003

Modelling and Validating a multiple-configuration railway signalling system using SDL.

Alessandro Fantechi, Emilio Spinicci

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003