| 2005 |
|---|
| 6 | | Pietro Mercatali,
Francesco Romano,
Luciano Boschi,
Emilio Spinicci:
Automatic Translation from Textual Representations of Laws to Formal Models through UML.
JURIX 2005: 71-80 |
| 5 | EE | Alessandro Fantechi,
Emilio Spinicci:
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents.
WER 2005: 245-256 |
| 4 | EE | Michele Banci,
Marcello Becucci,
Alessandro Fantechi,
Emilio Spinicci:
Validation Coverage for a Component-based SDL model of a Railway Signaling System.
Electr. Notes Theor. Comput. Sci. 116: 99-111 (2005) |
| 3 | EE | 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. Exper. 35(14): 1317-1347 (2005) |
| 2004 |
|---|
| 2 | EE | Gaetano Cascini,
Alessandro Fantechi,
Emilio Spinicci:
Natural Language Processing of Patents and Technical Documentation.
Document Analysis Systems 2004: 508-520 |
| 2003 |
|---|
| 1 | EE | Alessandro Fantechi,
Emilio Spinicci:
Modelling and Validating a multiple-configuration railway signalling system using SDL.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
