Ptolemy Project Publications for 2020

  1. Martin Witte, Martin A. Sehr, Ines Ugalde, Joerg Neidig, Mehrdad Niknami, Stephan Hoeme, and Edward A. Lee, "Opportunities for Industrial Control," Proc. of 21st IFAC World Congress, Berlin, Germany, July 12-17, 2020.
  2. Marjan Sirjani, Edward A. Lee, and Ehsan Khamespanah, "Verification of Cyberphysical Systems," Mathematics, 8(7), 1068 (DOI), July 2, 2020.
  3. Edward Ashford Lee, The Coevolution: The Entwined Futures of Humans and Machines, MIT Press, 2020.
  4. Gil Lederman, Markus N. Rabe, Edward A. Lee, Sanjit A. Seshia, Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning, International Conference on Learning Representations (ICLR), Virtual Conference, April 26-May 1.
  5. Edward A. Lee, The Coevolution of Humans and Machines, SIGBED Blog, April 2, 2020.
  6. Marjan Sirjani, Ehsan Khamespanah, Edward A. Lee, Model Checking Software in Cyberphysical Systems, To appear, Proc. of IEEE Computers, Software, and Applications Conference (COMPSAC 2020), (not held in) Madrid, Spain, July, 2020.
  7. Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A Lee, Sanjit Seshia, Alberto Sangiovanni-Vincentelli, "Gordian: Formal Reasoning-Based Outlier Detection for Secure Localization," to appear, ACM Transactions on Cyber-Physical Systems (TCPS), 2020.
  8. Matthew Weber and Edward A. Lee, "Semantic Localization for IoT," chapter in AbstractSIoT 2020: Semantic IOT: Theory and Applications - Interoperability, Provenance and Beyond, Springer, to appear, 2020.
  9. Kim, Hokeun; Kang, Eunsuk; Broman, David; Lee, Edward, "Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing," ACM Transactions on Internet of Things, Vol. 1, No. 1, Article 4, February 2020.
  10. Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee, "Formal Semantics of Predictable Pipelines: a Comparative Study," 25th Asia and South Pacific Design Automation Conference, Beijing, China, 13 Jan 2020 to 16 Jan 2020.