Antonio Iannopollo

According to our database, Antonio Iannopollo authored at least 11 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synthesizing LTL contracts from component libraries using rich counterexamples.

Antonio Iannopollo, Inigo Incer, Alberto L. Sangiovanni-Vincentelli

Sci. Comput. Program., 2024

2019

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

Proceedings of the 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2019

Beyond Schematic Capture: Meaningful Abstractions for Better Electronics Design Tools.

Richard Lin, Rohit Ramesh, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli, Prabal Dutta, Elad Alon, Björn Hartmann

Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2018

A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications.

Antonio Iannopollo

PhD thesis, 2018

A Metric for Linear Temporal Logic.

Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

CoRR, 2018

Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts.

Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Turning <i>coders</i> into <i>makers</i>: the promise of embedded design generation.

Rohit Ramesh, Richard Lin, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli, Björn Hartmann, Prabal Dutta

Proceedings of the 1st Annual ACM Symposium on Computational Fabrication, 2017

2016

Constrained Synthesis from Component Libraries.

Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2014

Are interface theories equivalent to contract theories?

Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Contract-based design of control protocols for safety-critical cyber-physical systems.

Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Library-based scalable refinement checking for contract-based design.

Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014