Giacomo Martelli

According to our database, Giacomo Martelli authored at least 4 papers between 2012 and 2016.

Collaborative distances:

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

2016

Km4City Smart City API: An Integrated Support for Mobility Services.

Paolo Nesi, Claudio Badii, Pierfrancesco Bellini, Daniele Cenni, Giacomo Martelli, Michela Paolucci

Proceedings of the 2016 IEEE International Conference on Smart Computing, 2016

2014

From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions.

Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni

Int. J. Softw. Tools Technol. Transf., 2014

Model-based development of an automatic train operation component for communication based train control.

Mariano Di Claudio, Alessandro Fantechi, Giacomo Martelli, Simone Menabeni, Paolo Nesi

Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

2012

Product Line Engineering Applied to CBTC Systems Development.

Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012