Ptolemy Project Publications for 2017

  1. Edward A. Lee, Jan Reineke, and Michael Zimmer, "Abstract PRET Machines," Invited TCRTS award paper. To appear, IEEE Real-Time Systems Symposium (RTSS 17), December 5, 2017.
  2. Edward A. Lee, Plato and the Nerd: The Creative Partnership of Humans and Technology, MIT Press, Cambridge, MA, USA, ISBN 978-0262036481, 2017.
  3. Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, and Stavros Tripakis, Hybrid Co-simulation: It's About Time, International Journal on Software and Systems Modeling (SoSym), pp 1-25. EECS Tech Report.
  4. Hokeun Kim, Eunsuk Kang, David Broman, and Edward A. Lee, "An Architectural Mechanism for Resilient IoT Services," to appear in Proceedings of the 1st ACM Workshop on Internet of Safe Things (SafeThings 2017), Delft, The Netherlands, November 5, 2017.
  5. Hokeun Kim, Armin Wasicek, and Edward A. Lee, "An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems," to appear in Proceedings of the 6th Workshop on Design, Modeling and Evaluation of Cyber-Physical Systems (CyPhy'17), Seoul, Korea, October 19, 2017.
  6. Marten Lohstroh, Hokeun Kim, and Edward A. Lee, "Contextual Callbacks for Resource Discovery and Trust Negotiation on the Internet of Things (Work-in-Progress)," to appear in Proceedings of The ACM SIGBED International Conference on Embedded Software (EMSOFT), Seoul, Korea, October 15-20, 2017.
  7. Hokeun Kim, "Securing the Internet of Things via Locally Centralized, Globally Distributed Authentication and Authorization," PhD Thesis, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2017-139, August 9, 2017.
  8. Hokeun Kim and Edward A. Lee, "Locally Centralized, Globally Distributed Authentication and Authorization for the Internet of Things," IEEE IT Professional Vol: 9 Issue: 5, pp 27-33, October, 2017.
  9. Edward A. Lee, "What Is Real Time Computing? A Personal View," to appear in IEEE Design & Test, 2017.
  10. 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.
  11. 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.
  12. 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.