Marco Martinucci

According to our database, Marco Martinucci authored at least 3 papers between 2010 and 2011.

Collaborative distances:

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

2011

Towards Automated Dependability Analysis of Dynamically Connected Systems.

Paolo Masci, Marco Martinucci, Felicita Di Giandomenico

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems.

Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

2010

Dependability Analysis and Verification for Connected Systems.

Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010