Antonio Iannopollo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CHI | Beyond Schematic Capture: Meaningful Abstractions for Better Electronics Design Tools. | Richard Lin, Rohit Ramesh, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli, Prabal Dutta, Elad Alon, Bjrn Hartmann |
| 2019 | CloudCom | Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS. | Florian Hofer, Martin A. Sehr, Antonio Iannopollo, Ines Ugalde, Alberto L. Sangiovanni-Vincentelli, Barbara Russo |
| 2018 | DATE | Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. | Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| 2014 | DATE | Library-based scalable refinement checking for contract-based design. | Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| 2014 | DATE | Contract-based design of control protocols for safety-critical cyber-physical systems. | Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli |
| 2014 | MEMOCODE | Are interface theories equivalent to contract theories? | Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |