Search results

• TerraSwarm Final Report (January 1, 2013 - December 31, 2017) Milestone #24, Edward A. Lee, 2018
• Battery Management for Control Systems with Energy Harvesting Sensors, Nicholas J. Watkins, Konstantinos Gatsis, Cameron Nowzari, George Pappas, 56th IEEE Conference on Decision and Control, IEEE, 12, December, 2017
• Why the Equifax Breach Should Not Have Mattered, Marten Lohstroh, The World Congress on Internet Security (WorldCIS 2017), December, 2017
• 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
• Towards Verified Artificial Intelligence, Sanjit Seshia, 24, October, 2017
• Hiding variables when decomposing specifications into GR(1) contracts, Ioannis Filippidis, Richard Murray, 11, October, 2017
• A Formal Foundation for Secure Remote Execution of Enclaves, Pramod Subramanyan, Rohit Sinha, Ilia Lebedev, Srinivas Devadas, Sanjit Seshia, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM, 2435-2450, October, 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
• Autonomous Driving Cars, Alberto Sangiovanni-Vincentelli, 12, July, 2017
• Connected Autonomous Driving Vehicles: Dream or Nightmare?, Alberto Sangiovanni-Vincentelli, 6, July, 2017
• Singapore as a Living Lab for Urban Solutions and Sustainability, Alberto Sangiovanni-Vincentelli, 29, June, 2017
• Autonomous Vehicles: A Playground for Sensors, Alberto Sangiovanni-Vincentelli, 15, June, 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
• Technology Transfer: Myth or Reality, Alberto Sangiovanni-Vincentelli, 12, May, 2017
• The Wonders and Threats of the Interconnected World: IOT, Alberto Sangiovanni-Vincentelli, 4, April, 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
• DRONA: A Framework for Safe Distributed Mobile Robotics, Ankush Desai, 30, March, 2017
• The Electronics Innovation Landscape: Opportunities, Challenges and Strategies, Alberto Sangiovanni-Vincentelli, 28, March, 2017
• TerraSwarm Quarterly Report: Milestone #20 Yr 5 Qtr 1, Christopher Brooks, March, 2017
• Cyber-Physical Systems as a Paradigm for the Future of Smart Cities, Alberto Sangiovanni-Vincentelli, 18, February, 2017
• Maximum Model Counting, Daniel J. Fremont, Markus N. Rabe, Sanjit Seshia, Association for the Advancement of Artificial Intelligence (AAAI), February, 2017
• Combining Model Checking and Runtime Verification for Safe Robotics, Ankush Desai, Tommaso Dreossi, Sanjit Seshia, The 17th International Conference on Runtime Verification, 2017
• 2015-2016 TerraSwarm Annual Report Milestone #19, Edward A. Lee, 2017
• Accessors: Scalable IoT Programming, Christopher Brooks, Jian Wu, Beth Osyk, Roozbeh Jafari, Edward A. Lee, 15, November, 2016
• Plenary Session #1: Scalable deployments, Prabal Dutta, 27, October, 2016
• Plenary Session #2, Jeffrey A. Bilmes, 27, October, 2016
• TerraSwarm 2016 Annual Meeting: Theme 1: Proactive Worlds, Prabal Dutta, Richard Murray, 26, October, 2016
• TerraSwarm 2016 Annual Meeting: Theme 2: Methodologies, Models and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 26, October, 2016
• MindSweeper: Toward Haptic Cognitive Prosthesis, Tomás Vega, Corten C. Singer, Bjoern Hartmann, Eric Paulos, Michel Maharbiz, Jan Rabaey, 26, October, 2016
• Accessors: Scalable IoT Programming, Beth Osyk, Jian Wu, Christopher Brooks, Roozbeh Jafari, Edward A. Lee, 26, October, 2016
• Improvising Robot Patrol Routes, Tommaso Dreossi, Daniel J. Fremont, Sanjit Seshia, 26, October, 2016
• ABROA: Audio-Based Room Occupancy with GMMs and HMMs, Rafael Valle, Adrian Freed, Sanjit Seshia, David Wessel, 26, October, 2016
• Enhancing tolerance to unexpected jumps in GR(1) games, Sumanth Dathathri, Scott C. Livingston, 26, October, 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
• Enhancing tolerance to unexpected jumps in GR(1) games, Sumanth Dathathri, Scott C. Livingston, Richard Murray, 26, October, 2016
• MARCO Perspective for TerraSwarm Annual Review, Gil Vandentop, 26, October, 2016
• Introduction to Demonstrations, John Wawrzynek, Ken Lutz, John MacCallum, Nitesh Mor, 26, October, 2016
• TerraSwarm: State of the Center, Edward A. Lee, Jan Rabaey, 26, October, 2016
• Toward an Internet of Living Things, Hartnell Jake, Marten Lohstroh, Matt Weber, Edward A. Lee, 26, October, 2016
• Privacy Aware Data Processing Using Partial Homomorphic Encryption, Yasser Shoukry, Rafael Valle, Konstantinos Gatsis, Stephane Lafortune, Mani Srivastava, Sanjit Seshia, Paulo Tabuad, George Pappas, October, 2016
• GMTK Tutorial: The Graphical Models Toolkit, Jeffrey A. Bilmes, 16, September, 2016
• TerraSwarm Accomplisments, Edward A. Lee, September, 2016
• A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities, Hokeun Kim, Benjamin Mehne, Armin Wasicek, Edward A. Lee, 2016 IEEE 4th International Conference on Future Internet of Things and Cloud, August, 2016
• TerraSwarm Quarterly Report: Milestone #17 Yr 4 Qtr 3, Edward A. Lee, August, 2016
• Adaptive Contracts for the Internet of Things, Antonio Iannopollo, Marten Lohstroh, Alberto Sangiovanni-Vincentelli, Edward A. Lee, 6, May, 2016
• TerraSwarm Quarterly Report: Milestone #16 Yr 4 Qtr 2, Jan Rabaey, May, 2016
• Building IoT Applications with Accessors in CapeCode, Marten Lohstroh, Ilge Akkaya, Christopher Brooks, Edward A. Lee, 12, April, 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
• Implan: Scalable Incremental Motion Planning for Multi-Robot Systems, Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George Pappas, Sanjit Seshia, ICCPS 2016 conference, 11, April, 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
• Data Predictive Control Using machine learning to synthesize control-oriented models, Madhur Behl, Achin Jain, Rahul Mangharam, 8, April, 2016
• Systems Engineering for Industrial Cyber-Physical Systems using Aspects, Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee, Proceedings of the IEEE (Volume:104 , Issue: 5 ), March, 2016
• Threat Models For The Swarm, Yasser Shoukry, 12, February, 2016
• An Overview of the TerraSwarm Research Center, Christopher Brooks, 11, February, 2016
• TerraSwarm Quarterly Report: Milestone #15 Yr 4 Qtr 1, Jan Rabaey, February, 2016
• Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia, IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI'16), 2016
• TerraSwarm Quarterly Report: Milestone #18 Yr 4 Qtr 4, Edward A. Lee, 2016
• 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
• Co-Design of Anytime Computation and Robust Control, Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam, IEEE Real-Time Systems Symposium (RTSS), 1, December, 2015
• Control Improvisation, Daniel J. Fremont, Alexandre Donze, Sanjit Seshia, David Wessel, Proc. FSTTCS, December, 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
• XGBoost: A Scalable Tree Boosting System, Tianqi Chen, Carlos Guestrin, LearningSys, December, 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
• 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
• Active Magnetic Anomaly Detection Using Multiple Micro Aerial Vehicles, Philip Dames, Mac Schwager, Daniela Rus, Vijay Kumar, submitted to the IEEE Robotics and Automation Letters (R-AL), November, 2015
• Combining Induction, Deduction, and Structure for Verification and Synthesis, Sanjit Seshia, Proceedings of the IEEE, November, 2015
• Specification Mining For Machine Improvisation With Formal Specifications, Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge Akkaya, Sanjit Seshia, Adrian Freed, David Wessel, 14, October, 2015
• TerraSwarm 2015 Annual Meeting: Theme 2: Methodologies, Models and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 14, October, 2015
• TerraSwarm 2015 Annual Meeting: Theme 2: Methodologies, Models and Tools: Poster Overviews, Theme 2 Researchers, 14, October, 2015
• An Interface Theory for the Internet of Things, Marten Lohstroh, Edward A. Lee, 14, October, 2015
• Control Improvisation, Daniel J. Fremont, Alexandre Donze, Sanjit Seshia, David Wessel, 14, October, 2015
• Managing Complexity in Streaming Swarm Applications Using Aspects, Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee, 14, October, 2015
• Data Driven Synchronization for Internet of Things Systems, Terrell R. Bennett, Gans Nicholas, Roozbeh Jafari, 14, October, 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
• Compositional Design of Cyber-Physical Systems Using Contracts, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, October, 2015
• Specification Mining For Machine Improvisation With Formal Specifications, Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge Akkaya, Sanjit Seshia, Adrian Freed, David Wessel, October, 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
• Dynamic Message-Oriented Middleware with Open Sound Control and Odot, John MacCallum, Rama Gottfried, Ilya Y. Rostovtsev, Jean Bresson, Adrian Freed, Proceedings of the International Computer Music Conference, 25, September, 2015
• Robust Online Monitoring of Signal Temporal Logic, Jyotirmoy V. Deshmukhh, Alexandre Donze, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit Seshia, Runtime Verification '15, Vienna, 22, September, 2015
• Design Technology for the Trillion-Device Future, Alberto Sangiovanni-Vincentelli, 10, September, 2015
• Multi-Sensor Data-Driven Synchronization Using Wearable Sensors, Terrell R. Bennett, Nicholas Gans, Roozbeh Jafari, ISWC 2015, ACM, 113-116, 9, September, 2015
• BluSTL: Controller Synthesis from Signal Temporal Logic Specifications, Alexandre Donze, Vasu Raman, 1, September, 2015
• Overview of S&P workshop and research updates, Yi-Chin Wu, September, 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
• 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
• Drill Sergeant: Supporting Physical Construction Projects through an Ecosystem of Augmented Tools, Bjoern Hartmann, Daniel Lim, Michelle Nguyen, Eldon Schoop, Valkyrie Savage, Sean Follmer, CHI conference, August, 2015
• Systematic Testing of Asynchronous Reactive Systems, Ankush Desai, Shaz Qadeer, Sanjit Seshia, ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2015, August, 2015
• Security Mechanisms and Security-Aware Mapping for Real-Time Distributed Embedded Systems, Chung-Wei Lin, University of California, Berkeley, August, 2015
• Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems, Ankush Desai, Sanjit Seshia, Shaz Qadeer, David Broman, Eidson John, 27th International Conference on Computer Aided Verification, 429-448, 18, July, 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
• 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
• Model Counting and Uniform Random Sampling: Theory, Algorithms and Applications, Daniel J. Fremont, 30, April, 2015
• BluSTL: Controller Synthesis from Signal Temporal Logic Specifications, Alexandre Donze, Vasu Raman, 27, April, 2015
• BluSTL: Controller Synthesis from Signal Temporal Logic Specifications, Alexandre Donze, Vasu Raman, 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2015), April, 2015
• On Parallel Scalable Uniform SAT Witness Generation, Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit Seshia, Moshe Y. Vardi, 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings, Christel Baier, Cesare Tinelli, TACAS, 302-319, April, 2015
• 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
• 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
• The TerraSwarm Research Center, Christopher Brooks, Edward A. Lee, 12, February, 2015
• Security-Aware Design Methodology and Optimization for Cyber-Physical Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, 12, February, 2015
• GMTK: The Graphical Models Toolkit, Jeffrey A. Bilmes, Richard Rogers, University of Washington, 10, February, 2015
• The Past, Present, and Future of Cyber-Physical Systems: A Focus on Models, Edward A. Lee, Sensors, 2015, 15, 4837-4869, February, 2015
• Milestone #9 Annual (11/1/13-10/31/14) Executive Summary of Accomplishments, Edward A. Lee, TerraSwarm Research Center, February, 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
• PtPlot-5.10, Christopher Brooks, Edward A. Lee, University of California, Berkeley, 26, January, 2015
• Robust Model Predictive Control for Signal Temporal Logic Synthesis, Samira Farahani, Vasu Raman, Richard Murray, IFAC Conference on Analysis and Design of Hybrid Systems, 2015
• Reactive Synthesis from Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Dorsa Sadigh, Richard Murray, Sanjit Seshia, Submitted to International Conference on Hybrid Systems: Computation and Control (HSCC), 2015
• Mixed-Integer Linear Programming for Planning with Temporal Logic Tasks [Position Paper], Vasu Raman, Eric Wolff, AAAI-15 Workshop on Planning, Search, and Optimization, 2015
• APEX: Autonomous Vehicle Plan Verification and Execution, Houssam Abbas, Matthew O'Kelly, Sicun Gao, Shin'ichi Shiraishi, Shinpei Kato, Rahul Mangharam, submitted to the Society of Automotive Engineers, 2015
• Robust Online Monitoring of Signal Temporal Logic, Jyotirmoy V. Deshmukh, Alexandre Donze, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit Seshia, 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
• Ptolemy II 10.0, Ilge Akkaya, Remi Barrere, Christopher Brooks, Dai Bui, Ian Chen, Patrick Chen Chihong, Dan Crawl, Patricia Derler, Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, Eric Lenormand, Ben Lickly, Marten Lohstroh, William Lucas, Chris Motika, Thierry Nouidui, Aaron Schultz, Chris Shaver, Charles Shelton, Ishwinder Singh, Halvard Traetteberg, Stavros Tripakis, Michael Wetter, Michael Zimmer, Jia Zou, Edward A. Lee, University of California, Berkeley, 18, December, 2014
• Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments, Ioannis Filippidis, Richard Murray, 53rd IEEE Conference on Decision and Control, IEEE, 15, December, 2014
• Automated Synthesis of Multi-Robot Motion Plans from LTL Specifications, Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George Pappas, Sanjit Seshia, 4, November, 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
• Q4 2014 TerraSwarm Quarterly Report Milestone #8, Edward A. Lee, TerraSwarm Research Center, November, 2014
• Project PtOWSN: Modeling OpenWSN MAC Layer using Ptolemy II, Antonio Iannopollo, Edward A. Lee, Alberto Sangiovanni-Vincentelli, Ben Zhang, 30, October, 2014
• Control Improvisation: Theory and Application to Residential Lighting, Ilge Akkaya, Alexandre Donze, Rafael Valle, Daniel J. Fremont, David Wessel, Sanjit Seshia, 30, October, 2014
• Model Counting, Uniform Generation, and Quantitative Information Flow, Supratik Chakraborty, Daniel J. Fremont, Kuldeep Meel, Sanjit Seshia, Moshe Vardi, 29, October, 2014
• A Vision of Swarmlets, Beth Osyk, Edward A. Lee, Marten Lohstroh, Armin Wasicek, Chris Shaver, Matt Weber, 29, October, 2014
• Reactive synthesis from Promela, Ioannis Filippidis, Richard Murray, Gerard Holzmann, 29, October, 2014
• A Data-driven Synchronization Technique for Cyber-Physical Systems, Terrell R. Bennett, Nicholas Gans, Roozbeh Jafari, 29, October, 2014
• Receding Horizon Control Synthesis for Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Richard Murray, Sanjit Seshia, 29, October, 2014
• Security-Aware Design Methodology and Optimization for Cyber-Physical Systems, Chung-Wei Lin, Alberto Sangiovanni-Vincentelli, 29, October, 2014
• The fabryq Swarm Prototyping Platform, William McGrath, Bjoern Hartmann, 29, October, 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
• Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 29, October, 2014
• 2014 TerraSwarm Research Center Introduction, Edward A. Lee, Jan Rabaey, 29, October, 2014
• The Internet of Thingimajigs: Scalability Challenges of Terraswarm Naming, Adrian Freed, David DeFilippo, Bjoern Hartmann, David Wessel, 29, October, 2014
• Online Activity Inference with GMTK, Jeffrey A. Bilmes, Richard Rogers, 29, October, 2014
• Simulation-Based Design Space Exploration of Swarm Cyber-Physical Systems Using Contracts, John B. Finn, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, 29, October, 2014
• StreamLab: Large-Scale Machine Learning on Streams, Sameer Singh, Ignacio Cano, Tianqi Chen, Marco Ribeiro, Carlos Guestrin, 28, October, 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
• Controlling Energy-Efficient Buildings in the Context of the Smart Grid: A Cyber-Physical System Approach, Mehdi Maasoumy, 15, October, 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
• 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
• Are Interface Theories Equivalent to Contract Theories?, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, October, 2014
• CPSGrader: Synthesizing Temporal Logic Testers for Auto-Grading an Embedded Systems Laboratory, Garvit Juniwal, Alexandre Donze, Jeff C. Jensen, Sanjit Seshia, EMSOFT14, October, 2014
• Assumption Mining: Algorithms and Applications, Wenchao Li, 26, September, 2014
• Endlessly Circulating Messages in IEEE 1588-2008 Systems, David Broman, Patricia Derler, Ankush Desai, John Eidson, Sanjit Seshia, 2014 International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication, 23, September, 2014
• Optimal Synthesis of Insertion Functions for Opacity Enforcement, Yi-Chin Wu, Stephane Lafortune, 16, September, 2014
• Optimal Synthesis of Insertion Functions for Opacity Enforcement, Yi-Chin Wu, Stephane Lafortune, 16, September, 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
• Overview of Security & Privacy Research, Sanjit Seshia, 16, September, 2014
• Differential Privacy in Estimation and Control, George Pappas, 16, September, 2014
• Synthesis of Event Insertion Functions for Enforcement of Opacity Security Properties, Stephane Lafortune, Yi-Chin Wu, 16, September, 2014
• Security-Aware Mapping for Real-Time Distributed Embedded Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, 16, September, 2014
• Privacy Preserving Average Consensus, Richard Murray, Yilin Mo, 16, September, 2014
• Taint Analysis for Swarmlets, Armin Wasicek, M. A. Saleh Elmohamed, Yi-Chin Wu, Edward A. Lee, 16, September, 2014
• Machine Learning and Optimization Toolkit in Ptolemy II, Edward A. Lee, 15, September, 2014
• Machine Learning Hands-On Workshop, Edward A. Lee, 15, September, 2014
• Approximate Synchrony: An Abstraction for Distributed Time-Synchronized Systems, Ankush Desai, 11, September, 2014
• Integrated Functional and Formal Modeling for Closed-loop Evaluation of Medical Device Software, Zhihao Jiang, Rahul Mangharam, TECHCON 2014, 8, September, 2014
• Privacy and Truthfulness in Electric Vehicle Charging Protocols, Shuo Han, Ufuk Topcu, George Pappas, September, 2014
• Model Counting and Quantitative Information Flow, Daniel J. Fremont, 29, August, 2014
• Robust Subspace System Identification via Weighted Nuclear Norm Optimization, Dorsa Sadigh, Henrik Ohlsson, S. Shankar Sastry, Sanjit Seshia, 19th World Congress of the International Federation of Automatic Control (IFAC), 24, August, 2014
• GameTime: Toolkit for the Timing Analysis of Software, Sanjit Seshia, Jonathan Kotker, UC Berkeley, 20, August, 2014
• MotionSynthesis Toolset (MoST): A Toolset for Human Motion Data Synthesis and Validation, Terrell R. Bennett, Claudio Savaglio, David Lu, Hunter Massey, trung pham, Xianan Wang, Jian Wu, Roozbeh Jafari, MobileHealth 2014, August 11-14, 2014, 11, August, 2014
• Q3 2014 TerraSwarm Quarterly Report Milestone #7, Edward A. Lee, TerraSwarm Research Center, August, 2014
• Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties, Alberto Puggelli, University of California, Berkeley, August, 2014
• O-dot Extension Language, Adrian Freed, John MacCallum, UC Berkeley, 20, July, 2014
• Speeding Up SMT-Based Quantitative Program Analysis, Daniel J. Fremont, Sanjit Seshia, 12th International Workshop on Satisfiability Modulo Theories, 3-13, 17, July, 2014
• o.io: a Unified Communications Framework for Music, Intermedia and Cloud Interaction, Adrian Freed, Rama Gottfried, John MacCallum, Jeff Lubow, Derek Razo, David Wessel, Conference on New Interfaces for Musical Expression (NIME), 31, June, 2014
• TerraSwarm Analytical Framework, Edward A. Lee, 19, May, 2014
• Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties, Alberto Puggelli, 15, May, 2014
• Automatic Removal of EEG Artifacts using Electrode-Scalp Impedance, Yuan Zou, Omid Dehzangi, Roozbeh Jafari, International Conference on Acoustics, Speech and Signal Processing, 4, May, 2014
• TerraSwarm Center Highlights and Metrics for Milestone #6 Feb. 1, 2014- Apr. 30, 2014, Edward A. Lee, UC Berkeley, May, 2014
• Security-Aware Mapping for Real-Time Distributed Embedded Systems, Chung-Wei Lin, 21, April, 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
• Synthesis for Human-in-the-Loop Control Systems, Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia, 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 5, April, 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
• 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
• BCIBench: A Benchmarking Suite for EEG-Based Brain Computer Interface, Roozbeh Jafari, Omid Dehzanghi, Design, Automation and Test in Europe, 24, March, 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
• 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
• o.io, John MacCallum, Adrian Freed, David DeFilippo, Rama Gottfried, UC Berkeley, 20, February, 2014
• Aspect-Oriented Modeling for Anomaly Detection and State Estimation, Ilge Akkaya, Edward A. Lee, 13, February, 2014
• Optimal Architecture Synthesis for Aircraft Electrical Power Systems(EPS), Nikunj Bajaj, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, 13, February, 2014
• MLE+ Toolbox for Modeling and Control of Energy-efficient Building Systems, Rahul Mangharam, Truong X. Nghiem, Madhur Behl, University of Pennsylvania, 1, February, 2014
• Security-Aware Mapping for TDMA-Based Real-Time Distributed Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, February, 2014
• Optimal Load Management System for Aircraft Electric Power Distribution, Pierluigi Nuzzo, February, 2014
• TerraSwarm 2013 Annual Report, Edward A. Lee, January, 2014
• Model Predictive Control from Signal Temporal Logic Specifications: A Case Study (Work in Progress), Vasu Raman, Alexandre Donze, Mehdi Maasoumy, Fourth Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'14), 2014
• Distribution-Aware Sampling and Weighted Model Counting for SAT, Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit Seshia, Moshe Y. Vardi, Proc. of AAAI, 1722-1730, 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
• From Relational Interfaces to Assume-Guarantee Contracts, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, U.C. Berkeley, 2014
• Machine Improvisation with Formal Specifications, Rafael Valle, Alexandre Donze, Ilge Akkaya, Sophie Libkind, Sanjit Seshia, David Wessel, ICMCSMC14, 2014
• Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity, Quentin Maillet, Huan Xu, Necmiye Ozay, Richard Murray, Conference on Decisions and Controls, IEEE, 10, December, 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
• Design and Analysis for Security, Chung-Wei Lin, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 6, November, 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
• Aspect-Oriented Modeling, Patricia Derler, Ilge Akkaya, Edward A. Lee, 6, November, 2013
• Control Improvisation with Application to Music, Alexandre Donze, Sophie Libkind, Sanjit Seshia, David Wessel, 6, November, 2013
• HOLMS: Hierarchical Optimal Load Management System for Aircraft Electric Power Distribution, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Claire Tomlin, 5, November, 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
• The TerraSwarm Research Center - Annual Review Introduction, Edward A. Lee, Jan Rabaey, 5, November, 2013
• A Formalization and Evaluation of Timing Repeatability Using GameTime, Zach Wasson, Jonathan Kotker, Sanjit Seshia, 5, November, 2013
• Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 5, November, 2013
• Residential Energy Simulation & Context-Aware Automation, Baris Aksanli, Jagannathan Venkatesh, Tajana Simunic Rosing, 5, November, 2013
• Modelling and Analysis Of IEEE 1588, Ankush Desai, Sanjit Seshia, David Broman, John Eidson, 5, November, 2013
• Metronomy: A Function/Architecture Co-Simulation Framework, Liangpeng Guo, Alberto Sangiovanni-Vincentelli, 5, November, 2013
• Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties, Alberto Puggelli, Wenchao Li, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 5, November, 2013
• Thermoelectric Energy Harvesting for Wearable Computers, Thomas Broadfoot, Roozbeh Jafari, 5, November, 2013
• Tools for Investigating Trustworthy Medical Devices, Kevin Fu, 5, November, 2013
• Real-Time Control Improvisation For The SmartJukebox, Ilge Akkaya, Alexandre Donze, Sanjit Seshia, David Wessel, Edward A. Lee, 5, November, 2013
• Towards Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors, Vasu Raman, Hadas Kress-Gazit, International Conference on Intelligent Robots and Systems, IEEE/RSJ, 3, November, 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
• 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
• Control Improvisation with Application to Music, Alexandre Donze, Libkind Sophie, Sanjit Seshia, David Wessel, UC Berkeley, P068797, November, 2013
• Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 15, October, 2013
• On the Verification of Timed Discrete-Event Models, Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee, 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), 29, August, 2013
• Synthesis for Human-in-the-Loop Control Systems, Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia, UC Berkeley, UCB/EECS-2013-134, July, 2013
• An Extended Kalman Filter to Estimate Human Gait Parameters and Walking Distance, Terrell Bennett, Roozbeh Jafari, Nicholas Gans, American Control Conference, 17, June, 2013
• Model-Based Evaluation of GPS Spoofing Attacks on Power Grid Sensors, Ilge Akkaya, Edward A. Lee, Patricia Derler, IEEE Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 20, May, 2013
• JFMI, Christopher Brooks, Edward A. Lee, David Broman, Thierry Stephane Nouidui, Stavros Tripakis, Michael Wetter, UC Berkeley, 29, April, 2013
• How to create a director in Ptolemy II, Edward A. Lee, 4, April, 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
• It's About Time, Edward A. Lee, 13, March, 2013
• Web Interfaces, Christopher Brooks, Edward A. Lee, Beth Osyk, Baobing Wang, Roxana Gheorghui, January, 2013

Found 218 publications.