Turning coders into makers the promise of embedded design generation R Ramesh, R Lin, A Iannopollo, A Sangiovanni-Vincentelli, B Hartmann, ... Proceedings of the 1st Annual ACM Symposium on Computational Fabrication, 1-10, 2017 | 39 | 2017 |
Library-based scalable refinement checking for contract-based design A Iannopollo, P Nuzzo, S Tripakis, A Sangiovanni-Vincentelli 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014 | 30 | 2014 |
Contract-based design of control protocols for safety-critical cyber-physical systems P Nuzzo, JB Finn, A Iannopollo, AL Sangiovanni-Vincentelli 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-4, 2014 | 30 | 2014 |
Beyond schematic capture: Meaningful abstractions for better electronics design tools R Lin, R Ramesh, A Iannopollo, A Sangiovanni Vincentelli, P Dutta, ... Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems …, 2019 | 28 | 2019 |
Are interface theories equivalent to contract theories? P Nuzzo, A Iannopollo, S Tripakis, A Sangiovanni-Vincentelli 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014 | 23 | 2014 |
Constrained synthesis from component libraries A Iannopollo, S Tripakis, A Sangiovanni-Vincentelli Science of Computer Programming 171, 21-41, 2019 | 22 | 2019 |
Industrial control via application containers: Migrating from bare-metal to IAAS F Hofer, MA Sehr, A Iannopollo, I Ugalde, A Sangiovanni-Vincentelli, ... arXiv preprint arXiv:1908.04465, 2019 | 21 | 2019 |
A maximum power point tracking algorithm for stand-alone photovoltaic systems controlled by low computational power devices A Ingegnoli, A Iannopollo Melecon 2010-2010 15th IEEE Mediterranean Electrotechnical Conference, 1522-1527, 2010 | 17 | 2010 |
Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts A Iannopollo, S Tripakis, A Sangiovanni-Vincentelli 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018 | 10 | 2018 |
A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications A Iannopollo University of California, Berkeley, 2018 | 3 | 2018 |
From relational interfaces to assume-guarantee contracts P Nuzzo, A Iannopollo, S Tripakis, AL Sangiovanni-Vincentelli UC Berkeley, 2014 | 3 | 2014 |
A metric for linear temporal logic ÍÍ Romeo, M Lohstroh, A Iannopollo, EA Lee, A Sangiovanni-Vincentelli arXiv preprint arXiv:1812.03923, 2018 | 2 | 2018 |
Constrained Synthesis from Component Libraries A Sangiovanni-Vincentelli Formal Aspects of Component Software: 13th International Conference, FACS …, 2017 | 2 | 2017 |
Robotic Hand A Feldman, C Martin, SL Wu, S Malek, EA Lee, A Sangiovanni-Vincentelli, ... University of California, Berkeley, 2010 | 1 | 2010 |
Synthesizing LTL contracts from component libraries using rich counterexamples A Iannopollo, I Incer, AL Sangiovanni-Vincentelli Science of Computer Programming, 103116, 2024 | | 2024 |
Beyond Schematic Capture R Lin, R Ramesh, A Iannopollo, AS Vincentelli, P Dutta, E Alon, ... | | 2019 |
A Metric for Linear Temporal Logic Í Íncer Romeo, M Lohstroh, A Iannopollo, EA Lee, ... arXiv e-prints, arXiv: 1812.03923, 2018 | | 2018 |
Platform-Based Software Synthesis and Verification Using Contracts A Iannopollo, P Nuzzo, S Tripakis, A Sangiovanni-Vincentelli | | 2013 |
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems H Kim, A Iannopollo | | |