Biblio
Filters: First Letter Of Last Name is S [Clear All Filters]
.
2016. Estimability Analysis and Optimal Design in Dynamic Multi-scale Models of Cardiac Electrophysiology. Journal of Agricultural, Biological, and Environmental Statistics. :1–16.
.
2017. SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference, to appear.
.
2017. Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. Computational Methods in Systems Biology. 10545:214–232.
.
2016. Limiting the impact of stealthy attacks on industrial control systems. Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. :1092–1105.
.
2017. Security analysis of control system anomaly detectors. American Control Conference (ACC), 2017. :5500–5506.
.
2017. Security and Privacy in Cyber-Physical Systems: A Survey of Surveys. IEEE Design & Test.
.
2017. Emotion Recognition with Facial Expressions and Physiological Signals. IEEE Symp. Series on Computational Intelligence (SSCI).
.
2017. Energy-Efficient Activity Recognition via Multiple Time-Scale Analysis. IEEE Symp. Series on Computational Intelligence (SSCI).
.
2017. GUIDES -– Geospatial Urban Infrastructure Data Engineering Solutions (Demo Paper). {To appear in Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems}.
.
2016. Ontology–based Urban Data Exploration. {Proceedings of the 2nd ACM SIGSPATIAL Workshop on Smart Cities and Urban Analytics}. :10:1–10:8.
.
2017. Compiling CPS Model Repositories through Student Competitions. 2nd Workshop on Monitoring and Testing of Cyber-Physical Systems.
This talk describes how the Cyber-Physical Systems Virtual Organization (CPS-VO) is hosting competitions for the purpose of improving CPS verication tools. We describe the 2016 Challenge, which focused on quadrotor control and codesign of payload, and the 2017 Challenge which focuses on populating a ground vehicle simulator with realistic obstacles. In addition, the interfaces by which participants compete are described, in order to articulate the means by which models can be decoupled from the system for the purposes of evaluation by external tools.
.
2017. Simulation-Equivalent Reachability of Large Linear Systems with Inputs. Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}. :401–420.
.
2017. Direct Verification of Linear Systems with over 10000 Dimensions (Experience Report). 4th International Workshop on Applied Verification for Continuous and Hybrid Systems, Pittsburgh, USA.
.
2017. HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017. :173–178.
.
2017. Rigorous Simulation-Based Analysis of Linear Hybrid Systems. Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, {TACAS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedin. :555–572.
.
2017. Drone Relays for Battery-Free Networks. Proceedings of the Conference of the ACM Special Interest Group on Data Communication. :335–347.
.
2016. Base64Geo: an efficient data structure and transmission format for large, dense, scalar GIS datasets. Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering. :106–115.
.
2016. Livetalk: A framework for collaborative browser-based replicated-computation applications. Teletraffic Congress (ITC 28), 2016 28th International. 1:270–277.
.
2017. Toward the Development of Customizable Textile-integrated Thermal Actuators. Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers. :29–32.
.
2017. Integration of Social Behavioral Modeling for Energy Optimization in Smart Environments. Proceedings of the 2Nd International Workshop on Social Sensing. :97–97.
.
2017. Application of Congestion Notifications in a Cyber-Physical System. 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC). :165-174.
.
2016. Robust, low-cost, auditable random number generation for embedded system security. {The 14th ACM Conference on Embedded Networked Sensor Systems (SenSys)}.
.
2017. Surnaming Schemes, Fast Verification, and Applications to SGX Technology. Topics in Cryptology - {CT-RSA} 2017. :149–164.
.
2017. Turning Coders into Makers: The Promise of Embedded Design Generation. Proceedings of the 1st Annual ACM Symposium on Computational Fabrication.
.
2017. Finding and Preventing Bugs in JavaScript Bindings. 2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose, CA, USA, May 22-26, 2017.