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

Constrained synthesis from component libraries.

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

Sci. Comput. Program., 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

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