Antonio Iannopollo

13 papers A* 1A 3C 2Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Synthesizing LTL contracts from component libraries using rich counterexamples.
Sci. Comput. Program.
Antonio Iannopollo, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
2019 A* conf
Beyond Schematic Capture: Meaningful Abstractions for Better Electronics Design Tools.
CHI
Richard Lin, Rohit Ramesh, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli, Prabal Dutta, Elad Alon, Björn Hartmann
2019 J jnl
Constrained synthesis from component libraries.
Sci. Comput. Program.
Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2019 C conf
Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS.
CloudCom
Florian Hofer, Martin A. Sehr, Antonio Iannopollo, Ines Ugalde, Alberto L. Sangiovanni-Vincentelli, Barbara Russo
2019 J jnl
Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS.
CoRR
Florian Hofer, Martin A. Sehr, Antonio Iannopollo, Ines Ugalde, Alberto L. Sangiovanni-Vincentelli, Barbara Russo
2018 J jnl
A Metric for Linear Temporal Logic.
CoRR
Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2018 — —
A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications.
Antonio Iannopollo
2018 A conf
Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts.
DATE
Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2017 — conf
Turning
SCF
Rohit Ramesh, Richard Lin, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli, Björn Hartmann, Prabal Dutta
2016 — conf
Constrained Synthesis from Component Libraries.
FACS
Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2014 C conf
Are interface theories equivalent to contract theories?
MEMOCODE
Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2014 A conf
Contract-based design of control protocols for safety-critical cyber-physical systems.
DATE
Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli
2014 A conf
Library-based scalable refinement checking for contract-based design.
DATE
Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli