DESTION@CPSIoTWeek

Publications

2019

Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Marcus Lucas
Demo: a design studio for verification tools. DESTION@CPSIoTWeek (2019)
Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. DESTION@CPSIoTWeek (2019)
Chao Huang, Kacper Wardega, Wenchao Li, Qi Zhu
Exploring weakly-hard paradigm for networked systems. DESTION@CPSIoTWeek (2019)
Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019 DESTION@CPSIoTWeek (2019)
Werner Damm, Günter Ehmen, Kim Grüttner, Philipp Ittershagen, Björn Koopmann, Frank Poppen, Ingo Stierand
Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling. DESTION@CPSIoTWeek (2019)
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
Model-based design for CPS with learning-enabled components. DESTION@CPSIoTWeek (2019)
Himanshu Neema, Janos Sztipanovits, Cornelius Steinbrink, Thomas Raub, Bastian Cornelsen, Sebastian Lehnhoff
Simulation integration platforms for cyber-physical systems. DESTION@CPSIoTWeek (2019)
Yecheng Zhao, Haibo Zeng
Optimization techniques for time-critical cyber-physical systems. DESTION@CPSIoTWeek (2019)
Yilan Li, Hossein Eslamiat, Ningshan Wang, Ziyi Zhao, Amit K. Sanyal, Qinru Qiu
Autonomous waypoints planning and trajectory generation for multi-rotor UAVs. DESTION@CPSIoTWeek (2019)