Library-based scalable refinement checking for contract-based design. - Antonio Iannopollo; Pierluigi Nuzzo 002; Stavros Tripakis; Alberto L. Sangiovanni-Vincentelli (DATE, 2014)

Contract-based design of control protocols for safety-critical cyber-physical systems. - Pierluigi Nuzzo 002; John B. Finn; Antonio Iannopollo; Alberto L. Sangiovanni-Vincentelli (DATE, 2014)

Are interface theories equivalent to contract theories? - Pierluigi Nuzzo 002; Antonio Iannopollo; Stavros Tripakis; Alberto L. Sangiovanni-Vincentelli (MEMOCODE, 2014)

Turning coders into makers: the promise of embedded design generation. - Rohit Ramesh; Richard Lin; Antonio Iannopollo; Alberto L. Sangiovanni-Vincentelli; Björn Hartmann; Prabal Dutta (SCF, 2017)

Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. - Antonio Iannopollo; Stavros Tripakis; Alberto L. Sangiovanni-Vincentelli (DATE, 2018)

A Metric for Linear Temporal Logic. - Íñigo Íncer Romeo; Marten Lohstroh; Antonio Iannopollo; Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (CoRR, 2018)

A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications. - Antonio Iannopollo (2018)

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 (CHI, 2019)

Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS. - Florian Hofer 001; Martin A. Sehr; Antonio Iannopollo; Ines Ugalde; Alberto L. Sangiovanni-Vincentelli; Barbara Russo (CloudCom, 2019)

Constrained synthesis from component libraries. - Antonio Iannopollo; Stavros Tripakis; Alberto L. Sangiovanni-Vincentelli (Sci. Comput. Program., 2019)

Synthesizing LTL contracts from component libraries using rich counterexamples. - Antonio Iannopollo; Inigo Incer; Alberto L. Sangiovanni-Vincentelli (Sci. Comput. Program., 2024)