Ptolemy Project Publications for 2017

  1. Edward A. Lee, Jan Reineke, and Michael Zimmer, "Abstract PRET Machines," Invited TCRTS award paper. IEEE Real-Time Systems Symposium (RTSS 17), December 5, 2017. (See also Preprint)
  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, November, 2018. Technical report. Selected as a best SoSyM paper over the past year to be presented in a special session at MODELS 2018 in Copenhagen, Denmark.
  4. Hokeun Kim, Eunsuk Kang, David Broman, and Edward A. Lee, "An Architectural Mechanism for Resilient IoT Services," Proceedings of the 1st ACM Workshop on Internet of Safe Things (SafeThings 2017), pp 8-13, 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," in Proceedings of the 7th 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)," in Proceedings of The ACM SIGBED International Conference on Embedded Software (EMSOFT), Seoul, Korea, October 15-20, 2017.
  7. 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.
  8. Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee, "Runtime compositional analysis of track-based traffic control systems," ACM SIGBED Review, Vol. 14(3) pp. 38-39, October, 2017.
  9. 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.
  10. Chadlia Jerad and Edward A. Lee, A JavaScript Extension Providing Deterministic Temporal Semantics for the Internet of Things, EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2017-136, August 3, 2017.
  11. 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.
  12. Chihhong Cheng, Edward A. Lee, Harald Reuss "autoCode4: Structural Controller Synthesis," in Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 22, April, 2017.
  13. 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.