WELCOME MESSAGE

DESTION '20 Chair Welcome
Alberto Sangiovanni-Vincentelli, Janos Sztipanovits, Qi Zhu

KEYNOTE PRESENTATION

Symbiotic Design for Cyber Physical Systems
Sandeep Neema, Information Innovation Office (I2O), DARPA

SESSION 1: CPS Tools

Workflow Automation for Cyber Physical System Development Processes
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai

The UCEF Approach to Tool Integration for HLA Co-Simulations
Thomas Roth, Christopher Lemieux, Martin Burns

TE-SAT: Transactive Energy Simulation and Analysis Toolsuite
Himanshu Neema, Janos Sztipanovits, David J. Hess, Dasom Lee

NNV Demo: A Neural Network Verification Tool
Hoang-Dung Tran, Diego Manzanas Lopez, Xiaodong Yang, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson

SESSION 2: Transportation CPS

Towards Formalization of Wireless Vehicular Networking
Ramneet Kaur, Jungyeol Kim, Oleg Sokolsky, Saswati Sarkar, Radoslav Ivanov, Insup Lee

Streaming Computation Algorithms for Spatiotemporal Micromobility Service Availability
William Barbour, Michael Wilbur, Ricardo Sandoval, Abhishek Dubey, Daniel Work

Intelligent Intersection Management with Non-Connected and Non-Autonomous Motorcycles
Chia-Chu Kung, Tsung-Lin Tsou, Chung-Wei Lin

Interstate-24 MOTION: Closing the Loop on Smart Mobility
Derek Gloudemans, William Barbour, Nikki Gloudemans, Matthew Neuendorf, Brad Freeze, Said ElSaid, Daniel B. Work