Alessandro Coglio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2000–2021
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ISoLA | Towards Model-Based Intent-Driven Adaptive Software. | Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai |
| 2020 | DSN | Comprehensive Java Metadata Tracking for Attack Detection and Repair. | Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Martin C. Rinard |
| 2016 | DIMVA | AutoRand: Automatic Keyword Randomization to Prevent Injection Attacks. | Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Daniel Willenson, Stelios Sidiroglou-Douskos, Martin C. Rinard |
| 2006 | GPCE | Roadmap for enhanced languages and methods to aid verification. | Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump |
| 2000 | OOPSLA | A formal specification of Java | Zhenyu Qian, Allen Goldberg, Alessandro Coglio |