Marco Martinucci

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci
Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. ISADS (2011)
Paolo Masci, Marco Martinucci, Felicita Di Giandomenico
Towards Automated Dependability Analysis of Dynamically Connected Systems. ISADS (2011)
Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu
Dependability Analysis and Verification for Connected Systems. ISoLA (2) (2010)