Daniele Grasso

Publication Activity (10 Years)

Years Active: 2000-2013
Publications (10 Years): 0

Top Topics

Top Venues

Sci. Comput. Program.

Publications

Alessio Ferrari, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini
The Metrô Rio case study. Sci. Comput. Program. 78 (7) (2013)
Samson Gejibo, Daniele Grasso, Federico Mancini, Khalid A. Mughal
Secure cloud storage for remote mobile data collection. NordiCloud (2013)
Gaetano Rivela, Pietro Scavini, Daniele Grasso, Antonino Calcagno, Maria Gabriella Castro, Giuseppe Di Chiara, Giuseppe Avellone, Giovanni Calí, Salvatore Scaccianoce
A 65 nm CMOS low power RF front-end for L1/E1 GPS/Galileo signals. ACM Great Lakes Symposium on VLSI (2011)
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. Int. J. Embed. Real Time Commun. Syst. 2 (2) (2011)
Alessio Ferrari, Mario Papini, Alessandro Fantechi, Daniele Grasso
An industrial application of formal model based development: the Metrô Rio ATP case. SERENE (2010)
Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini
The Metrô Rio ATP Case Study. FMICS (2010)
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi
Model Checking Interlocking Control Tables. FORMS/FORMAT (2010)
Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini
Model Based Testing and Abstract Interpretation in the Railway Signaling Context. ICST (2010)
Paolo Salvaneschi, Daniele Grasso, Maurizio Besurga
The role of process improvement in IT departments: experiences and lessons learned. Softw. Process. Improv. Pract. 11 (3) (2006)
Maria Canelli, Daniele Grasso, Margaret King
Methods and Metrics for the Evaluation of Dictation Systems: a Case Study. LREC (2000)