Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Marco Martinucci

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isads/MasciMG11
- ask others
Paolo Masci, Marco Martinucci, Felicita Di Giandomenico: Towards Automated Dependability Analysis of Dynamically Connected Systems. ISADS 2011: 139-146
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isads/BertolinoCGMM11
- ask others
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci: Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. ISADS 2011: 315-318
2010
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isola/GiandomenicoKMMQ10
- ask others
Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu: Dependability Analysis and Verification for Connected Systems. ISoLA (2) 2010: 263-277

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?