 | 2011 |
| 6 |  | Gaetano Rivela,
Pietro Scavini,
Daniele Grasso,
Antonino Calcagno,
Maria Gabriella Castro,
Giuseppe Di Chiara,
Giuseppe Avellone,
Giovanni Cali',
Salvatore Scaccianoce:
A 65 nm CMOS low power RF front-end for L1/E1 GPS/Galileo signals.
ACM Great Lakes Symposium on VLSI 2011: 217-222 |
| 5 |  | Alessio Ferrari,
Gianluca Magnani,
Daniele Grasso,
Alessandro Fantechi,
Matteo Tempestini:
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer.
IJERTCS 2(2): 42-61 (2011) |
| 2010 |
| 4 |  | Alessio Ferrari,
Daniele Grasso,
Gianluca Magnani,
Alessandro Fantechi,
Matteo Tempestini:
The Metrô Rio ATP Case Study.
FMICS 2010: 1-16 |
| 3 |  | Alessio Ferrari,
Gianluca Magnani,
Daniele Grasso,
Alessandro Fantechi:
Model Checking Interlocking Control Tables.
FORMS/FORMAT 2010: 107-115 |
| 2 |  | Daniele Grasso,
Alessandro Fantechi,
Alessio Ferrari,
Carlo Becheri,
Stefano Bacherini:
Model Based Testing and Abstract Interpretation in the Railway Signaling Context.
ICST 2010: 103-106 |
| 2006 |
| 1 |  | Paolo Salvaneschi,
Daniele Grasso,
Maurizio Besurga:
The role of process improvement in IT departments: experiences and lessons learned.
Software Process: Improvement and Practice 11(3): 309-317 (2006) |