Damiano Macedonio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2005–2016
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICSE | Locking discipline inference and checking. | Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine |
| 2015 | LPAR | Boolean Formulas for the Static Identification of Injection Attacks in Java. | Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto |
| 2014 | SEFM | A Thread-Safe Library for Binary Decision Diagrams. | Alberto Lovato, Damiano Macedonio, Fausto Spoto |
| 2008 | SYNASC | A Theory of Adaptable Contract-Based Service Composition. | Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi |
| 2005 | ICALP | Spatial Logics for Bigraphs. | Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone |