Search results
- Why the Equifax Breach Should Not Have Mattered, Marten Lohstroh, 12, December, 2017
- 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
- Slocalization: Accurate Asset Tracking with Ultra Wideband Backscatter, Benjamin Kempke, Pat Pannuto, Prabal Dutta, 15th ACM Conference on Embedded Networked Sensor Systems (SenSys 2017), ACM, 5, November, 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
- Hybrid Cosimulation: It's About Time, David Broman, Fabio Cremona, Marten Lohstroh, Edward A. Lee, Michael Masin, Stavros Tripakis, Software and Systems Modeling, November, 2017
- Towards Verified Artificial Intelligence, Sanjit Seshia, 24, October, 2017
- Contextual Callbacks for Resource Discovery and Trust Negotiation on the Internet of Things, Marten Lohstroh, Hokeun Kim, Edward A. Lee, 17, October, 2017
- The Potential for Location-aware Augmented Reality, Anthony Rowe, 12, October, 2017
- Deep Submodular Data, Jeffrey A. Bilmes, 12, October, 2017
- Computer Aided Design for Safe Autonomous Vehicles, Rahul Mangharam, 12, October, 2017
- Correct-by-Construction Synthesis of Controllers and Contracts, Richard Murray, 12, October, 2017
- Conformal bespoke sensors for wearable and medical devices, Ana Claudia Arias, 12, October, 2017
- Overview and Augmented Reality Demonstration, Edward A. Lee, 11, October, 2017
- Hiding variables when decomposing specifications into GR(1) contracts, Ioannis Filippidis, Richard Murray, 11, October, 2017
- Augmented Reality with Accessors, Matt Weber, Edward A. Lee, Christopher Brooks, Chadlia Jerad, Hokeun Kim, Marten Lohstroh, Victor Nouvellet, Beth Osyk, 11, October, 2017
- Formalizing design methodologies: vertical and horizontal contracts, Alberto Sangiovanni-Vincentelli, 11, October, 2017
- Robots Demonstrator, George Pappas, Sanjit Seshia, 11, October, 2017
- Signposts Demonstrator, Prabal Dutta, 11, October, 2017
- Demonstration of Location Privacy Enforcement using Obfuscation, Romulo Meira Goes, Sanjit Seshia, Stephane Lafortune, Gregory Willett, Nicholas Recker, Blake Rawlings, Christoforos Keroglou, 11, October, 2017
- Smartphone-aided Indoor Mapping of Beacons and Sensors, Niranjini Rajagopal, Patrick Lazik, Anthony Rowe, Bruno Sinopoli, 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
- Enhanced Conference Room Demonstrator, Roozbeh Jafari, October, 2017
- MARCO Perspective Stakeholder for TerraSwarm Annual Review, Gil Vandentop, October, 2017
- Devices and Data and Agents, Oh My: How Smart Home Abstractions Prime End-User Mental Models, Meghan Clark, Prabal Dutta, Mark W. Newman, Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT), 1, 3, September, 2017
- Compressive Sensing and Sparse Antenna Arrays for Indoor 3-D Microwave Imaging, Simon Scott, John Wawrzynek, 30, August, 2017
- Location Accessors & Discovery, Matt Weber, 15, August, 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
- Three-Dimensional Microwave Imaging for Indoor Environments, Simon Scott, University of California Berkeley, 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
- Indoor Localization: Where are we? Where are we going?, Anthony Rowe, 8, May, 2017
- Feature-Sharing in Cascade Detection Systems with Multiple Applications, Long Le, Douglas L. Jones, Journal of Selected Topics in Signal Processing, May, 2017
- Context Aware System Design, Christine Chan, Michael Ostertag, Alper Sinan Akyurek, Tajana Simunic Rosing, SPIE Defense and Security, International Society for Optics and Photonics (SPIE), 9, April, 2017
- The Wonders and Threats of the Interconnected World: IOT, Alberto Sangiovanni-Vincentelli, 4, April, 2017
- Active Information Acquisition using Multiple Robots, Nikolay A. Atanasov, George Pappas, 2, 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
- Three ACID Challenge Problems, Rahul Mangharam, 29, March, 2017
- The Electronics Innovation Landscape: Opportunities, Challenges and Strategies, Alberto Sangiovanni-Vincentelli, 28, March, 2017
- Context-Aware and User-Centric Residential Energy Management, Baris Aksanli, Jagannathan Venkatesh, Christine Chan, Alper Sinan Akyurek, Tajana Simunic Rosing, IEEE International Conference on Pervasive Computing and Communications, IEEE, 13, March, 2017
- Poster Abstract: Wireless Control for the IoT: Power, Spectrum, and Security Challenges, Konstantinos Gatsis, George Pappas, 2, March, 2017
- TerraSwarm Quarterly Report: Milestone #20 Yr 5 Qtr 1, Christopher Brooks, March, 2017
- Signpost Platform Tutorial, Pat Pannuto, 23, February, 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
Found 52 publications.
Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.