photo of Antonio Iannopollo
 
Antonio Iannopollo
    University of California, Berkeley

Username:iannopollo
 
 
 
 
Home page:http://www.eecs.berkeley.edu/~antonio/
Bio:  

Papers, Presentations and Reports Authored by Antonio Iannopollo

  1. Turning Coders into Makers: The Promise of Embedded Design Generation, Rohit Ramesh, Richard Lin, Antonio Iannopollo, Alberto Sangiovanni-Vincentelli, Bjoern Hartmann, Prabal Dutta, Symposium on Computational Fabrication, ACM, 9, June, 2017. Posted on 9 May 2017.
  2. Adaptive Contracts for the Internet of Things, Antonio Iannopollo, Marten Lohstroh, Alberto Sangiovanni-Vincentelli, Edward A. Lee, 6, May, 2016. Posted on 9 May 2016.
  3. Security and Privacy Breakout Session, Yi-Chin Wu, George Pappas, Stephane Lafortune, Sanjit Seshia, Alberto Sangiovanni-Vincentelli, Armin Wasicek, Alex Halderman, John D. Kubiatowicz, Antonio Iannopollo, Adrian Freed, October, 2015. Posted on 19 Oct 2015.
  4. Project PtOWSN: Modeling OpenWSN MAC Layer using Ptolemy II, Antonio Iannopollo, Edward A. Lee, Alberto Sangiovanni-Vincentelli, Ben Zhang, 30, October, 2014. Posted on 29 Oct 2014.
  5. Are Interface Theories Equivalent to Contract Theories?, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, October, 2014. Posted on 28 Oct 2014.
  6. Are Interface Theories Equivalent to Contract Theories?, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, International Conference on Formal Methods and Models for Co-Design (MEMOCODE), 19, October, 2014. Posted on 31 Aug 2014.
  7. From Relational Interfaces to Assume-Guarantee Contracts, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, U.C. Berkeley, 2014. Posted on 27 Mar 2014.
  8. Library-Based Scalable Refinement Checking for Contract-Based Design, Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, Design Automation and Test in Europe (DATE), 24, March, 2014. Posted on 2 Jan 2014.
  9. Contract-Based Design of Control Protocols for Safety-Critical Cyber-Physical Systems, Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto Sangiovanni-Vincentelli, Design Automation and Test in Europe, 24, March, 2014. Posted on 2 Jan 2014.
  10. Library-Based Scalable Refinement Checking for Contract-Based Design, Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, November, 2013. Posted on 13 Dec 2013.
  11. Contract-Based Design of Cyber-Physical Swarms, Pierluigi Nuzzo, Antonio Iannopollo, John B. Finn, Alberto Sangiovanni-Vincentelli, Alexandre Donze, Richard Murray, Sanjit Seshia, Stavros Tripakis, 6, November, 2013. Posted on 12 Nov 2013.
  12. Contract-Based Design of Control Protocols for Safety-Critical Cyber-Physical Systems, Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Nikunj Bajaj, Alberto Sangiovanni-Vincentelli, 5, November, 2013. Posted on 4 Nov 2013.

Counts

  • 5 Conference papers.
  • 1 Technical report.
  • 4 Talk or presentations.
  • 4 Posters.
  • 1 Unpublished article.

The counts above are from the publications database. The number of posters is derived from the presentations.

Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported.