File
Syntax-Guided Synthesis for Cyber-Physical Systems
Submitted by Hadas Kress-Gazit on April 10th, 2020
File
Support for Security and Safety of Programmable IoT Systems
Submitted by Atul Prakash on April 10th, 2020
File
SOlSTICe- Software Synthesis with Timing Contracts
Submitted by Qi Zhu on April 10th, 2020
File
Solar-Powered, Long-Endurance UAV for Real-time Onboard Data Processing
Submitted by Marco Caccamo on April 10th, 2020
File
Software-State Observability in CPS
Submitted by Jason Rife on April 10th, 2020
File
SMART IRRIGATION- Big Data approach for accurate water stress detection and precision irrigation in vineyards
Submitted by manoj basarikatte-mohana on April 10th, 2020
File
Situational Awareness Strategies for Autonomous Systems in Dynamic Uncertain Environments
Submitted by Zak Kassas on April 10th, 2020
File
Sensing, Processing, and Actuation of Biomedical Smart Textiles for Deep Venous Thrombosis Prevention
Submitted by Kapil Dandekar on April 10th, 2020
File
Security vs. Privacy in Cyber-Physical Systems
Submitted by Alvaro Cardenas on April 10th, 2020
File
Secure interactions with Internet of Things – Detecting Misplaced RFID Tags
Kang Shin Submitted by Kang Shin on April 10th, 2020
Subscribe to CPS PI Meeting 2019