Ptolemy Project Publications for 2020

  1. Marten Lohstroh, "Reactors: A Deterministic Model of Concurrent Computation for Reactive Systems," PhD Thesis, Technical Report No. UCB/EECS-2020-226, December 18, 2020.
  2. Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jeronimo Castrillon, Edward A. Lee, "A Language for Deterministic Coordination Across Multiple Timelines," Forum on Design Languages (FDL), Kiel, Germany, September, 2020.
  3. Christian Menard, Andrés Goens, Marten Lohstroh, Jeronimo Castrillon, "Achieving Determinism in Adaptive AUTOSAR," Proceedings of the 2020 Design, Automation and Test in Europe Conference (DATE), EDA Consortium, Mar 2020.
  4. Martin A. Sehr, Marten Lohstroh, Mathew Weber, Ines Ugalde, Martin Witte, Joerg Neidig, Stephan Hoeme, Mehrdad Niknami, Edward A. Lee, "Programmable Logic Controllers in the Context of Industry 4.0," IEEE Transactions on Industrial Informatics, July 7, 2020 (early access).
  5. 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.
  6. Marjan Sirjani, Edward A. Lee, and Ehsan Khamespanah, "Verification of Cyberphysical Systems," Mathematics, 8(7), 1068 (DOI), July 2, 2020.
  7. Edward Ashford Lee, The Coevolution: The Entwined Futures of Humans and Machines, MIT Press, 2020.
  8. 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.
  9. Edward A. Lee, The Coevolution of Humans and Machines, SIGBED Blog, April 2, 2020.
  10. Marjan Sirjani, Ehsan Khamespanah, Edward A. Lee, Model Checking Software in Cyberphysical Systems, Proc. of IEEE Computers, Software, and Applications Conference (COMPSAC 2020), (not held in) Madrid, Spain, July, 2020.
  11. 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," ACM Transactions on Cyber-Physical Systems (TCPS), v. 4, no 4, article 43, June 2020.
  12. 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.
  13. 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.
  14. 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.