Ptolemy Project Publications for 2020

  1. Edward Ashford Lee, The Coevolution: The Entwined Futures of Humans and Machines, MIT Press, 2020.
  2. 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.
  3. 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.
  4. Martin Witte, Martin A. Sehr, Ines Ugalde, Jörg Neidig, Mehrdad Niknami, Stephan Höme, Edward A. Lee, "Opportunities for Industrial Control," IFAC World Congress, Berlin, Germany, July 12-17, 2020.
  5. 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.
  6. 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.