Daniele Grasso

According to our database, Daniele Grasso authored at least 11 papers between 2000 and 2014.

Collaborative distances:

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

2014

Testing and verification methods for safety critical systems.

Daniele Grasso

PhD thesis, 2014

2013

The Metrô Rio case study.

Alessio Ferrari, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini

Sci. Comput. Program., 2013

Secure cloud storage for remote mobile data collection.

Samson Gejibo, Daniele Grasso, Federico Mancini, Khalid A. Mughal

Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, 2013

2011

Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer.

Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini

Int. J. Embed. Real Time Commun. Syst., 2011

A 65 nm CMOS low power RF front-end for L1/E1 GPS/Galileo signals.

Gaetano Rivela, Pietro Scavini, Daniele Grasso, Antonino Calcagno, Maria Gabriella Castro, Giuseppe Di Chiara, Giuseppe Avellone, Giovanni Calí, Salvatore Scaccianoce

Proceedings of the 21st ACM Great Lakes Symposium on VLSI 2010, 2011

2010

An industrial application of formal model based development: the Metrô Rio ATP case.

Alessio Ferrari, Mario Papini, Alessandro Fantechi, Daniele Grasso

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Model Based Testing and Abstract Interpretation in the Railway Signaling Context.

Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini

Proceedings of the Third International Conference on Software Testing, 2010

Model Checking Interlocking Control Tables.

Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi

Proceedings of the FORMS/FORMAT 2010, 2010

The Metrô Rio ATP Case Study.

Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2006

The role of process improvement in IT departments: experiences and lessons learned.

Paolo Salvaneschi, Daniele Grasso, Maurizio Besurga

Softw. Process. Improv. Pract., 2006

2000

Methods and Metrics for the Evaluation of Dictation Systems: a Case Study.

Maria Canelli, Daniele Grasso, Margaret King

Proceedings of the Second International Conference on Language Resources and Evaluation, 2000