Marco Martinucci

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Towards Automated Dependability Analysis of Dynamically Connected Systems.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

2010
Dependability Analysis and Verification for Connected Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010


  Loading...