Ptolemy Project Publications for 2017

  1. Hokeun Kim and Edward A. Lee, "Locally Centralized, Globally Distributed Authentication and Authorization for the Internet of Things", to appear in IEEE IT Professional Vol: 9 Issue: 5, 2017.
  2. Edward A. Lee, What Is Real Time Computing? A Personal View, to appear in IEEE Design & Test, 2017.
  3. Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems: A Cyber-Physical Systems Approach, Second Edition, MIT Press, ISBN 978-0-262-53381-2, 2017.
  4. Chihhong Cheng, Edward A. Lee, Harald Reuss autoCode4: Structural Controller Synthesis, to appear in Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 22, April, 2017.
  5. Hokeun Kim, Eunsuk Kang, Edward A. Lee, and David Broman "A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things", in Proceedings of the 2nd ACM/IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI), Pittsburgh, PA, USA, April 18-21, 2017. Winner of Best Paper Award, presented during CPS Week, 2017.