Ptolemy Project Publications for 2019

  1. Marten Lohstroh, Martin Schoeberl, Andres Goens, Armin Wasicek, Christopher Gill, Marjan Sirjani, Edward A. Lee, "Invited: Actors Revisited for Time-Critical Systems," To Appear, Design Automation Conference (DAC), June, 2019.
  2. Edward A. Lee, "Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli," To Appear, International Symposium on Physical Design (ISPD), April 14-17, 2019, San Francisco, CA.
  3. Marten Lohstroh, Hokeun Kim, John C. Eidson, Chadlia Jerad, Beth Osyk, Edward A. Lee, "On Enabling Technologies for theInternet of Important Things," IEEE Access, to appear, 2019.
  4. Edward A. Lee, "Observation and Interaction," To appear, Proc. of the 13th International Conference on Language and Automata Theory and Applications, St. Petersburg, Russia, March 26-29, 2019.
  5. M. Weber, B. Jin, G. Lederman, Y. Shoukry, E. A. Lee, S. A. Seshia, and A. L. Sangiovanni-Vincentelli, "Gordian: Formal Reasoning Based Outlier Detection for Secure Localization," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2019-1, Jan. 2019.
  6. Edward A. Lee, "Modeling in Engineering and Science," Viewpoint, Communications of the ACM 62(1), pp. 35-36, January 2019.
  7. Hokeun Kim, Schahram Dustdar, Edward A. Lee, "Resilient IoT using Edge Computing," to appear, IEEE Computer, 2019.