Papers, Presentations and Reports Authored by Alberto Sangiovanni-Vincentelli
- Yr 5 Quarterly Report #4 (August 1, 2017 - October 31, 2017) Milestone 23, Jeffrey A. Bilmes, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, November, 2017.
Posted on 29 Nov 2017.
- Formalizing design methodologies: vertical and horizontal contracts, Alberto Sangiovanni-Vincentelli, 11, October, 2017.
Posted on 10 Oct 2017.
- Yr 5 Quarterly Report #3 (May 1, 2017 - July 31, 2017) Milestone 22, Jeffrey A. Bilmes, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, August, 2017.
Posted on 30 Aug 2017.
- Autonomous Driving Cars, Alberto Sangiovanni-Vincentelli, 12, July, 2017.
Posted on 18 Aug 2017.
- Connected Autonomous Driving Vehicles: Dream or Nightmare?, Alberto Sangiovanni-Vincentelli, 6, July, 2017.
Posted on 18 Aug 2017.
- Singapore as a Living Lab for Urban Solutions and Sustainability, Alberto Sangiovanni-Vincentelli, 29, June, 2017.
Posted on 18 Aug 2017.
- Autonomous Vehicles: A Playground for Sensors, Alberto Sangiovanni-Vincentelli, 15, June, 2017.
Posted on 17 Aug 2017.
- Technology Transfer: Myth or Reality, Alberto Sangiovanni-Vincentelli, 12, May, 2017.
Posted on 17 Aug 2017.
- Yr 5 Quarterly Report #2 (Feb 1, 2017 - Apr 30, 2017) Milestone 21, Jeffrey A. Bilmes, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, April, 2017.
Posted on 30 May 2017.
- The Electronics Innovation Landscape: Opportunities, Challenges and Strategies, Alberto Sangiovanni-Vincentelli, 28, March, 2017.
Posted on 22 May 2017.
- Cyber-Physical Systems as a Paradigm for the Future of Smart Cities, Alberto Sangiovanni-Vincentelli, 18, February, 2017.
Posted on 22 May 2017.
- The Wonders and Threats of the Interconnected World: IOT, Alberto Sangiovanni-Vincentelli, 4, April, 2017.
Posted on 22 May 2017.
- 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.
- SMC: Satisfiability Modulo Convex Optimization, Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada, George Pappas, October, 2016.
Posted on 3 Nov 2016.
- Diagnosis and Repair for Synthesis from Signal Temporal Logic, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Sanjit Seshia, 26, October, 2016.
Posted on 25 Oct 2016.
- TerraSwarm 2016 Annual Meeting: Theme 2: Methodologies, Models and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 26, October, 2016.
Posted on 26 Sep 2016.
- 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.
- Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasu Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit Seshia, Hybrid Systems: Computation and Control, 12, April, 2016.
Posted on 8 Feb 2016.
- SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks, Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Joao P. Hespanha, Paulo Tabuada, ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2016), 11, April, 2016.
Posted on 8 Feb 2016.
- Security-Aware Design Methodology and Optimization for Automotive Systems, Chung-Wei Lin, Bowen Zheng, Qi Zhu, Alberto Sangiovanni-Vincentelli, submitted to ACM Transactions on Design Automation of Electronic Systems (TODAES), November, 2015.
Posted on 10 Nov 2015.
- 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.
- Compositional Design of Cyber-Physical Systems Using Contracts, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, October, 2015.
Posted on 14 Oct 2015.
- A Contract-Based Framework for Integrated Demand-Response Management, Baihong Jin, Pierluigi Nuzzo, Mehdi Maasoumy, Yuxun Zhou, Alberto Sangiovanni-Vincentelli, 14, October, 2015.
Posted on 14 Oct 2015.
- TerraSwarm 2015 Annual Meeting: Theme 2: Methodologies, Models and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 14, October, 2015.
Posted on 5 Oct 2015.
- A Contract-Based Framework for Integrated Demand-Response Management in Smart Grids, Baihong Jin, Pierluigi Nuzzo, Mehdi Maasoumy, Yuxun Zhou, Alberto Sangiovanni-Vincentelli, International Conference on Embedded Systems For Energy-Efficient Built Environments (BuildSys 2015), ACM, 4, November, 2015.
Posted on 21 Sep 2015.
- Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving, Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paolo Tabuada, Conference on Decision and Control (CDC 2015), IEEE, 15, December, 2015.
Posted on 21 Sep 2015.
- Design Technology for the Trillion-Device Future, Alberto Sangiovanni-Vincentelli, 10, September, 2015.
Posted on 12 Sep 2015.
- A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Proceedings of the IEEE, December, 2015.
Posted on 3 Sep 2015.
- A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration, John B. Finn, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, IEEE/ACM International Conference On Computer Aided Design, 2, November, 2015.
Posted on 22 Jul 2015.
- Security-Aware Design Methodology and Optimization for Automotive Systems, Chung-Wei Lin, Bowen Zheng, Qi Zhu, Alberto Sangiovanni-Vincentelli, ACM Transactions on Design Automation of Electronic Systems, September, 2015.
Posted on 9 Jul 2015.
- Efficient Wire Routing and Wire Sizing for Weight Minimization of Automotive Systems, Chung-Wei Lin, Lei Rao, Paolo Giusto, D'Ambrosio Joseph, Alberto Sangiovanni-Vincentelli, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 1730-1741, June, 2015.
Posted on 1 Jun 2015.
- Design Optimization of the Control System for the Powertrain of an Electric Vehicle: A Cyber-Physical System Approach, Chen Lv, Junzhi Zhang, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Yutong Li, Yuan Ye, International Conference on Mechatronics and Automation, IEEE, 2, August, 2015.
Posted on 1 Jun 2015.
- Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Richard Murray, INCOSE International Symposium (IS2015), 235-249, 13, October, 2015.
Posted on 6 Apr 2015.
- Sound and Complete State Estimation for Linear Dynamical Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving, Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada, American Control Conference (ACC), 3818-3823, 1, July, 2015.
Posted on 17 Mar 2015.
- Q1 2015 TerraSwarm Quarterly Report Milestone #10, Edward A. Lee, Tajana Simunic Rosing, John Wawrzynek, Prabal Dutta, Anthony Rowe, Richard Murray, Jeffrey A. Bilmes, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Jan Rabaey, Douglas L. Jones, Stephane Lafortune, Alex Halderman, David Blaauw, Roozbeh Jafari, Carlos Guestrin, Emily B. Fox, Rahul Mangharam, George Pappas, Vijay Kumar, Bjoern Hartmann, John D. Kubiatowicz, TerraSwarm Research Center, February, 2015.
Posted on 25 Feb 2015.
- Security-Aware Design Methodology and Optimization for Cyber-Physical Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, 12, February, 2015.
Posted on 23 Feb 2015.
- Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Springer, 2015.
Posted on 9 Dec 2014.
- Optimized Selection of Reliable and Cost-Effective Cyber-Physical System Architectures, Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto Sangiovanni-Vincentelli, DATE '15 Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, EDA Consortium San Jose, CA, 561-566, 9, March, 2015.
Posted on 1 Dec 2014.
- Simulation-Based Design Space Exploration of Swarm Cyber-Physical Systems Using Contracts, John B. Finn, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, 29, October, 2014.
Posted on 5 Nov 2014.
- Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 29, October, 2014.
Posted on 4 Nov 2014.
- Distributed Control of a Swarm of Buildings Connected to a Smart Grid, Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donze, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Richard Murray, Truong X. Nghiem, George Pappas, Vasu Raman, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh, 29, October, 2014.
Posted on 30 Oct 2014.
- Security-Aware Design Methodology and Optimization for Cyber-Physical Systems, Chung-Wei Lin, Alberto Sangiovanni-Vincentelli, 29, October, 2014.
Posted on 29 Oct 2014.
- 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.
- Are Interface Theories Equivalent to Contract Theories?, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, October, 2014.
Posted on 28 Oct 2014.
- Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System, Mehdi Maasoumy, Pierluigi Nuzzo, Baihong Jin, Alberto Sangiovanni-Vincentelli, 2014 TerraSwarm Annual Meeting, October, 2014.
Posted on 28 Oct 2014.
- TerraSwarm Annual Meeting 2014, Edward A. Lee, John Wawrzynek, Tajana Simunic Rosing, John D. Kubiatowicz, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 29, October, 2014.
Posted on 13 Oct 2014.
- Security-Aware Mapping for Real-Time Distributed Embedded Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, 16, September, 2014.
Posted on 17 Sep 2014.
- Distributed Control of a Swarm of Buildings Connected to a Smart Grid, Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donze, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasu Raman, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh, 1st ACM International Conference on Embedded Systems For Energy-Efficient Buildings (BuildSys), 5, November, 2014.
Posted on 16 Sep 2014.
- An Overview of Our Group's Work on Security for Networked Embedded Systems, C.-W. Lin, A. Sangiovanni-Vincentelli, Q. Zhu, 16, September, 2014.
Posted on 16 Sep 2014.
- 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.
- Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, IEEE Embedded Systems Letters, 7, 1, 11-14, March, 2015.
Posted on 19 Aug 2014.
- Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing, Alberto Puggelli, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Proceedings of the International Conference on Embedded Software (EMSOFT), 12, October, 2014.
Posted on 12 Aug 2014.
- Security-Aware Mapping for TDMA-Based Real-Time Distributed Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, International Conference on Computer-Aided Design (ICCAD), IEEE/ACM, 2, November, 2014.
Posted on 4 Aug 2014.
- Metronomy: A Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems, Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto Sangiovanni-Vincentelli, Edward A. Lee, International Conference on Hardware/Software Codesign and System Synthesis, 12, October, 2014.
Posted on 4 Aug 2014.
- Handling model uncertainty in model predictive control for energy efficient buildings, Mehdi Maasoumy, Meysam Razmara, Mahdi Shahbakhti, Alberto Sangiovanni-Vincentelli, Energy and Buildings, 77, 377-392, July, 2014.
Posted on 10 May 2014.
- Model Predictive Control with Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Mehdi Maasoumy, Richard Murray, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 2014 IEEE 53rd Annual Conference on Decision and Control (CDC), 2014.
Posted on 9 May 2014.
- 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.
- Q1 2014 TerraSwarm Quarterly Report Milestone #5, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, Vijay Kumar, Edward A. Lee, Richard Murray, George Pappas, Jan Rabaey, Tajana Simunic Rosing, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, John Wawrzynek, David Wessel, TerraSwarm Research Center, March, 2014.
Posted on 6 Mar 2014.
- Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing, Alberto Puggelli, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Internal Conference on Computer-Aided Verification (CAV) 2014, 18, July, 2014.
Posted on 20 Feb 2014.
- Optimal Architecture Synthesis for Aircraft Electrical Power Systems(EPS), Nikunj Bajaj, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, 13, February, 2014.
Posted on 18 Feb 2014.
- Security-Aware Mapping for TDMA-Based Real-Time Distributed Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, February, 2014.
Posted on 18 Feb 2014.
- Let's get physical: computer science meets systems, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, From Programs to Systems - The Systems Perspective in Computing Workshop, European Joint Conferences on Theory and Practice of Software (ETAPS), 6, April, 2014.
Posted on 11 Feb 2014.
- Selecting Building Predictive Control Based on Model Uncertainty, Mehdi Maasoumy, Meysam Razmara, Mahdi Shahbakhti, Alberto Sangiovanni-Vincentelli, IEEE American Control Conference, 4, June, 2014.
Posted on 10 Feb 2014.
- Model Predictive Control Approach to Online Computation of Demand-Side Flexibility of Commercial Buildings HVAC Systems for Supply Following, Mehdi Maasoumy, Catherine Rosenberg, Alberto Sangiovanni-Vincentelli, Duncan Callaway, IEEE American Control Conference, 4, June, 2014.
Posted on 10 Feb 2014.
- Model Predictive Control of Regulation Services from Commercial Buildings to the Smart Grid, Mehdi Maasoumy, Borhan Sanandaji, Alberto Sangiovanni-Vincentelli, IEEE American Control Conference, 4, June, 2014.
Posted on 10 Feb 2014.
- Computationally Less Intensive Alternative to Model Predictive Control for Energy Efficient Building HVAC System, Mehdi Maasoumy, Alberto Sangiovanni-Vincentelli, ACM Symposium on Simulation for Architecture and Urban Design (SimAUD), 13, April, 2014.
Posted on 10 Feb 2014.
- A Contract-Based Methodology for Aircraft Electric Power System Design, Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto Sangiovanni-Vincentelli, Richard Murray, Alexandre Donze, Sanjit Seshia, IEEE Access, March, 2014.
Posted on 2 Jan 2014.
- 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.
- 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.
- 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.
- 2013 Q3 TerraSwarm Summary and Metrics, Edward A. Lee, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, John Wawrzynek, Vijay Kumar, Alberto Sangiovanni-Vincentelli, Carl Sechen, Sanjit Seshia, Jan Rabaey, Tajana Simunic Rosing, George Pappas, Richard Murray, David Wessel, TerraSwarm Research Center, November, 2013.
Posted on 6 Dec 2013.
- Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems, Pierluigi Nuzzo, John B. Finn, Mohammad Mozumdar, Alberto Sangiovanni-Vincentelli, Green Energy and Systems Conference 2013, IEEE, November, 2013.
Posted on 15 Nov 2013.
- 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.
- Design and Analysis for Security, Chung-Wei Lin, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 6, November, 2013.
Posted on 12 Nov 2013.
- Flexibility of Commercial Building HVAC Fan as Ancillary Service for Smart Grid, Mehdi Maasoumy, Ortiz Jorge, David Culler, Alberto Sangiovanni-Vincentelli, IEEE Green Energy and Systems Conference (IGESC 2013), 2013.
Posted on 11 Nov 2013.
- Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 5, November, 2013.
Posted on 5 Nov 2013.
- 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.
- HOLMS: Hierarchical Optimal Load Management System for Aircraft Electric Power Distribution, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Claire Tomlin, 5, November, 2013.
Posted on 4 Nov 2013.
- Model Predictive Control Approach to Online Computation of Demand-Side Flexibility of Commercial Buildings HVAC Systems for Supply Following, Mehdi Maasoumy, Catherine Rosenberg, Alberto Sangiovanni-Vincentelli, Duncan Callaway, 5, November, 2013.
Posted on 4 Nov 2013.
- Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties, Alberto Puggelli, Wenchao Li, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 5, November, 2013.
Posted on 3 Nov 2013.
- Metronomy: A Function/Architecture Co-Simulation Framework, Liangpeng Guo, Alberto Sangiovanni-Vincentelli, 5, November, 2013.
Posted on 3 Nov 2013.
- Security-Aware Mapping for TDMA-Based Real-Time Distributed Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, 5, November, 2013.
Posted on 1 Nov 2013.
- Security-Aware Mapping for CAN-Based Real-Time Distributed Automotive Systems, Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto Sangiovanni-Vincentelli, 5, November, 2013.
Posted on 1 Nov 2013.
- Read-Ahead Material for the Introduction and All Themes for the TerraSwarm 2013 Annual Review, Edward A. Lee, Jan Rabaey, Tajana Simunic Rosing, John Wawrzynek, Prabal Dutta, John D. Kubiatowicz, Richard Murray, Ben Taskar, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 15, October, 2013.
Posted on 15 Oct 2013.
- Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 15, October, 2013.
Posted on 15 Oct 2013.
- The Swarm at the Edge of the Cloud, Edward A. Lee, Jan Rabaey, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Bjoern Hartmann, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, Vijay Kumar, Rahul Mangharam, Brian T. Murray, George Pappas, Kris Pister, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Ben Taskar, John Wawrzynek, David Wessel, IEEE Design and Test of Computers on Cloud Computing for Embedded Systems, 31, 3, 8-20, June, 2014.
Posted on 23 Sep 2013.
- Security-Aware Mapping for CAN-Based Real-Time Distributed Automotive Systems, Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto Sangiovanni-Vincentelli, International Conference on Computer-Aided Design, 18, November, 2013.
Posted on 13 Aug 2013.
- Online Simultaneous State Estimation and Parameter Adaptation for Building Predictive Control, Mehdi Maasoumy, Barzin Moridian, Meysam Razmara, Mahdi Shahbakhti, Alberto Sangiovanni-Vincentelli, Dynamic Systems and Control Conference (DSCC) 2013, Stanford, 21, October, 2013.
Posted on 13 Aug 2013.
- Optimal Load Management System for Aircraft Electric Power Distribution, Mehdi Maasoumy, Pierluigi Nuzzo, Forrest Iandola, Maryam Kamgarpour, Alberto Sangiovanni-Vincentelli, Claire Tomlin, IEEE Conference on Decision and Control, December, 2013.
Posted on 11 Aug 2013.
- Online Simultaneous State Estimation and Parameter Adaptation for Building Predictive Control, Mehdi Maasoumy, Barzin Moridian, Meysam Razmara, Mahdi Shahbakhti, Alberto Sangiovanni-Vincentelli, Dynamic Systems and Control Conference (DSCC 2013), ASME, 21, November, 2013.
Posted on 2 Jul 2013.
- The Q1 2013 TerraSwarm Quarterly Report, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, Vijay Kumar, Edward A. Lee, Richard Murray, George Pappas, Jan Rabaey, Tajana Simunic Rosing, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Carl Sechen, Sanjit Seshia, Ben Taskar, John Wawrzynek, David Wessel, The TerraSwarm Research Center, TSRC01, May, 2013.
Posted on 30 May 2013.
- Timing Analysis of Process Graphs with Finite Communication Buffers, Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linh Thi Xuan Phan, Alberto Sangiovanni-Vincentelli, Prodeedings of IEEE Real-Time and Embedded Technology and Applications Symposium, 227-236, April, 2013.
Posted on 13 May 2013.
- Co-design of Control Algorithm and Embedded Platform for Building HVAC Systems, Mehdi Maasoumy, Qi Zhu, Cheng Li, Forest Meggers, Alberto Sangiovanni-Vincentelli, Proceedings of the 4th ACM/IEEE International Conference on Cyber-Physical Systems, 10, 8, April, 2013.
Posted on 9 May 2013.
- Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties, Alberto Puggelli, Wenchao Li, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Proceedings of CAV 2013, July, 2013.
Posted on 26 Apr 2013.
- Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 29, January, 2013.
Posted on 29 Jan 2013.
- The TerraSwarm Research Center (TSRC) (A White Paper), Edward A. Lee, John D. Kubiatowicz, Jan Rabaey, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, John Wawrzynek, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Richard Murray, George Pappas, Anthony Rowe, Carl Sechen, Tajana Simunic Rosing, Ben Taskar, EECS Department, University of California, Berkeley, UCB/EECS-2012-207, November, 2012.
Posted on 6 Jan 2013.
Counts
- 12 Journal articles.
- 47 Conference papers.
- 6 Technical reports.
- 28 Talk or presentations.
- 28 Posters.
- 2 Book chapters or sections.
- 4 Unpublished articles.
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. |