Ptolemy Project Publications for 2019

  1. Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee "Work-in-Progress: Programs with Ironclad Timing Guarantees," to appear, ACM SIGBED International Conference on Embedded Software (EMSOFT), New York, NY, October 13-18.
  2. Marten Lohstroh, Edward A. Lee, "Deterministic Actors," to appear, Forum on Specification and Design Languages (FDL), Southampton, UK, September 2-4, 2019.
  3. Hokeun Kim, Schahram Dustdar, Edward A. Lee, "Creating a Resilient IoT With Edge Computing," Computer, 52(8), pp. 43-53, August 2019.
  4. Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis, "Hybrid co-simulation: it's about time," Software & Systems Modeling, June 2019, Volume 18, Issue 3, 18 pp. 1655-1679.
  5. Matthew Weber, Ravi Akella, and Edward A. Lee, "Service Discovery for The Connected Car with Semantic Accessors," IEEE Inteligent Vehicles Symposium (IV), Paris, June 9-12, 2019.
  6. Marten Lohstroh, Martin Schoeberl, Andres Goens, Armin Wasicek, Christopher Gill, Marjan Sirjani, Edward A. Lee, "Invited: Actors Revisited for Time-Critical Systems," Design Automation Conference (DAC), June, 2019.
  7. Edward A. Lee, "Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli," International Symposium on Physical Design (ISPD), April 14-17, 2019, San Francisco, CA.
  8. Hokeun Kim, Armin Wasicek, and Edward A. Lee, "An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems," in book: Cyber Physical Systems. Design, Modeling, and Evaluation, Lecture Notes in Computer Science book series (LNCS, volume 11267), April, 2019. See also Conference Paper.
  9. Marten Lohstroh, Hokeun Kim, John C. Eidson, Chadlia Jerad, Beth Osyk, Edward A. Lee, "On Enabling Technologies for the Internet of Important Things," IEEE Access, Vol 7, March, 2019.
  10. Edward A. Lee, "Observation and Interaction," Proc. of the 13th International Conference on Language and Automata Theory and Applications (LATA), St. Petersburg, Russia, March 26-29, 2019. (see also published version, in Languages and Automata Theory and Applications, Martin-Vide, Carlos, Okhotin, Alexander, Shapira, Dana (Eds.) LNCS 11417, pp 31-42.)
  11. 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.
  12. Edward A. Lee, "Modeling in Engineering and Science," Viewpoint, Communications of the ACM 62(1), pp. 35-36, January 2019.