Visible to the public PublicationsConflict Detection Enabled

P U B L I C A T I O N S   

 

  1. Siyuan Dai and Xenofon Koutsoukos. “Safety Analysis of Integrated Adaptive Cruise and Lane Keeping Control Using Multi-Modal Port-Hamiltonian Systems”, Nonlinear Analysis: Hybrid Systems. (Accepted).

  2. Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Taylor T. Johnson, Xenofon Koutsoukos, "Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control", In ACM SIGBED International Conference on Embedded Software (EMSOFT'19), ACM, 2019, October. (Accepted).

  3. Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Taylor T. Johnson, Xenofon Koutsoukos (2019). Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems Affiliated with CAV 2019 (FoMLAS 2019).

  4. Siyuan Dai, Zhenkai Zhang, and Xenofon Koutsoukos. "A model-based design approach for simulation and virtual prototyping of automotive control systems using port-Hamiltonian systems", Software & Systems Modeling, 18: 1637-1653, 2019.

  5. Bradley Potteiger, Zhenkai Zhang and Xenofon Koutsoukos, “Integrated Data Space Randomization and Control Reconfiguration for Securing Cyber-Physical Systems”, Symposium and Bootcamp on the Science of Security, HotSoS 2019, Nashville, TN, April 1-2, 2019. (Best paper award)

  6. Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon Koutsoukos, and Gabor Karsai. "Triggering Rowhammer Hardware Faults on ARM: A Revisit", Workshop on Attacks and Solutions in Hardware Security (ASHES 2018). Toronto, CA, Oct. 19, 2018. In conjunction with the 25th ACM Conference on Computer and Communications Security (CCS 2018).

  7. Bradley Potteiger, Zhenkai Zhang and Xenofon Koutsoukos. "Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems", Symposium and Bootcamp on the Science of Security, HotSoS 2018, Raleigh, NC, April 10-11, 2018.

  8. Zhenkai Zhang, Zhishan Guo, and Xenofon Koutsoukos. "Handling write backs in multi-level cache analysis for WCET estimation", Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS '17), Grenoble, France, October 4-6 2017.