Ptolemy Project Papers for 2013

  1. Dai Bui, Scheduling and Optimizing Stream Programs on Multicore Machines by Exploiting High-Level Abstractions, Ph.D. Dissertation, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2013-184, November 7, 2013.
  2. Ilge Akkaya, Yan Liu, Edward A. Lee, and Ian Gorton. Modeling uncertainty for middleware-based streaming power grid applications. In Proceedings of the 8th Workshop on Middleware for Next Generation Internet Computing, p. 4. ACM, Beijing, China, December 9, 2013.
  3. Amit Fisher, Clas Jacobson, Edward A. Lee, Richard Murray, Alberto Sangiovanni-Vincentelli, Eelco Scholte. Industrial Cyber-Physical Systems-iCyPhy, in Proc. Complex Systems Design & Management (CSD&M), Springer, pp 21-37, December 4, 2013; Paris, France.
  4. Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler. Distributed Simulation of Heterogeneous and Real-time Systems. 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, October 30 - November 1, 2013 Delft, Netherlands.
  5. Dai Bui, Edward A. Lee. StreaMorph: A Case for Synethesizing Energy-Efficient Adaptive Programs Using High-Level Abstractions, in Proceedings of the 13th International Conference on Embedded Software (EMSOFT), Montreal, Canada, Sept 29 - Oct 04, 2013.
  6. Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee. On the Schedulability of Real-Time Discrete-Event Systems, 13th International Conference on Embedded Software (EMSOFT), Montreal, Canada, Sept 29 - Oct 04, 2013.
  7. Christos Stergiou. Schedulability Analysis and Verification of Real-Time Discrete-Event Systems, iEECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2013-163, September 30, 2013.
  8. David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter. Determinate Composition of FMUs for Co-Simulation, 13th International Conference on Embedded Software (EMSOFT), Montreal, Canada, September 29 - October 4, 2013.
  9. Patricia Derler, John C. Eidson, Stuart Goose, Edward A. Lee, Slobodan Matic, Michael Zimmer, Using Ptides and Synchronized Clocks to Design Distributed Systems with Deterministic Systemwide Timing, International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication, September 22-27, 2013, Lemgo, Germany. Technical Report No. UCB/EECS-2013-65.
  10. Marc Weiss, John Eidson, Charles Barry, Leon Goldin, Bob Iannucci, Edward Lee, and Kevin Stanton. The Case for Cross Disciplinary Research on Time Aware Applications, Computers and Communication Systems (TAACCS), A White Paper, September 18, 2013.
  11. Eleftherios Matsikoudis, Edward A. Lee. The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices, Workshop on Fixed Points in Computer Science (FICS), Torino, Italy, September 1, 2013.
  12. Stavros Tripakis, Christos Stergiou, Chris Shaver, and Edward A. Lee. A modular formal semantics for Ptolemy. Mathematical Structures in Computer Science, volume 23, issue 04, pp. 834-881, Aug 2013.
  13. David Broman, Patricia Derler, and John C. Eidson. Temporal Issues in Cyber-Physical Systems. Journal of Indian Institute of Science, Vol. 93, No.3, 2013.
  14. Eleftherios Matsikoudis, Edward A. Lee. On Fixed Points of Strictly Causal Functions, 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Buenos Aires, Argentina, August 29-31, 2013.
  15. Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee. On the Verification of Timed Discrete-Event Models, 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Buenos Aires, Argentina, August 29-31, 2013.
  16. Eleftherios Matsikoudis, Edward A. Lee. An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals, 19th International Symposium on Fundamentals of Computation Theory (FCT), Liverpool, United Kingdom, August 19-21, 2013.
  17. Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto Sangiovanni-Vincentelli. A Tool Integration Approach for Architectural Exploration of Aircraft Electric Power Systems, in IEEE Proceedings of the 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA), pp 38-43, Taipei, Taiwan, Aug. 19-20, 2013.
  18. Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee. Error-Completion in Interface Theories, International SPIN Symposium on Model Checking of Software, Stony Brook, NY, USA, 8-9 July 2013.
  19. Eleftherios Matsikoudis, Edward A. Lee. The Fixed-Point Theory of Strictly Causal Functions, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2013-122, June 9, 2013.
  20. David Broman, Michael Zimmer, Yooseong Kim, Hokeun Kim, Jian Cai, Aviral Shrivastava, Stephen A. Edwards, Edward A. Lee. Precision Timed Infrastructure: Design Challenges. In Proceedings of the Electronic System Level Synthesis Conference (ESLsyn), Austin, Texas, USA, May 31-June 1, 2013.
  21. Peter Palensky and Edward A. Lee, (Eds.) 2013 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), May 20, 2013, ISBN: 978-1-1499-1307-7, IEEE Catalog Number: CFP1394U-ART.
  22. Ilge Akkaya, Edward A. Lee, and Patricia Derler. Model-based evaluation of GPS spoofing attacks on power grid sensors. In Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2013 Workshop on, pp. 1-6. IEEE, May 20, 2013.
  23. Patricia Derler, Edward A Lee, Martin Torngren, Stavros Tripakis. Cyber-Physical System Design Contracts, ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, Pennsylvania, April 8 - 11, 2013.
  24. Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia. Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education. In Proceedings of the First Workshop on Cyber-Physical Education (CPS-Ed), in conjunction with CPS week, Philadelphia, Pennsylvania, April 8, 2013.
  25. Stavros Tripakis, Dai Bui, Bert Rodiers, Edward A. Lee. Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs. ACM Transactions on Embedded Computing Systems (TECS), Volume 12 Issue 3, March 20 13. Earlier version available as technical report.
  26. Marten Lohstroh. Maximally Permissive Composition of Actors in Ptolemy II, Technical Report No. UCB/EECS-2013-19.