Ptolemy Project Papers for 2011

  1. Stavros Tripakis, Hugo Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Gerald Wang, Guang Yang, Jacob Kornerup, Ian Wong. Correct and Non-Defensive Glue Design using Abstract Models, CODES+ISSS '11: Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, ACM, 59-68, October, 2011.
  2. Ben Lickly, Charles Shelton, Elizabeth Latronico, Edward A. Lee. A Practical Ontology Framework for Static Model Analysis, EMSOFT '11: Proceedings of the Ninth International Conference on Embedded Software, ACM, 23-32, 10, October, 2011.
  3. Jan Reineke, Isaac Liu, Hiren D. Patel, Sungjun Kim, Edward A. Lee. PRET DRAM Controller: Bank Privatization for Predictability and Temporal Isolation, CODES+ISSS '11: Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, ACM, 99-108, October, 2011.
  4. Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis. Time-predictable and composable architectures for dependable embedded systems, CODES+ISSS '11:Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, ACM, 59-68, October, 2011.
  5. Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke. Designing next-generation real-time streaming systems, Tutorial Abstract. CODES+ISSS, Taipei, Taiwan, October, 2011.
  6. Dai N. Bui, Hiren D. Patel, Edward A. Lee, Checking for Circular Dependencies in Distributed Stream Programs, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2011-97, August 29, 2011.
  7. Jeff C. Jensen, Danica H. Chang, and Edward A. Lee, A Model-Based Design Methodology for Cyber-Physical Systems, Proceedings of the First IEEE Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy), Istanbul, Turkey, July 6-7, 2011.
  8. Slobodan Matic, Ilge Akkaya, Michael Zimmer, John Eidson and Edward A. Lee. PTIDES Model on a Distributed Testbed Emulating Smart Grid Real-Time Applications, IEEE Conference on Innovative Smart Grid Technologies (ISGT-EUROPE), December, 2011.
  9. Dai Nguyen Bui, Edward A. Lee, Isaac Liu, Hiren D. Patel, Jan Reineke, Temporal Isolation on Multiprocessing Architectures, Design Automation Conference (DAC), June, 2011.
  10. Janette Cardoso, Patricia Derler, John Eidson, Edward A. Lee, Network Latency and Packet Delay Variation in Cyber-physical Systems, Proceedings of the 2011 IEEE 1st International Workshop on Network Science (NSW 2011), June 22-24, 2011, West Point, NY.
  11. Jia Zou, From Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems, Ph.D. Dissertation, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2011-53, May 13, 2011.
    An Introductory Capstone Desig n Course on Embedded Systems
  12. Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia, An Introductory Capstone Design Course on Embedded Systems Proceedings of the International Symposium on Circuits and Systems, pp 1199-1202, Workshop on Innovations in Circuits and Systems Education, Rio de Janeiro, Brazil. May, 2011.
  13. Stavros Tripakis, Christos Stergiou, Chris Shaver and Edward A. Lee, A Modular Formal Semantics for Ptolemy. To appear in Mathematical Structures in Computer Science Journal.
  14. Stavros Tripakis, Ben Lickly, Thomas A. Henzinger and Edward A. Lee, A Theory of Synchronous Relational Interfaces, ACM Transactions on Programming Languages and Systems (TOPLAS). Vol.33, Issue 4, July 2011. Revised version of Technical Report No. UCB/EECS-2010-45, EECS Department, University of California, Berkeley, April 23, 2011.
  15. Remi Barrere, Eric Lenormand, Dai Bui, Edward A. Lee, Christopher Shaver and Stavros Tripakis, An Introduction to the Pthales Domain of Ptolemy II, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2011-32, April 26, 2011.
  16. Marc Geilen, Stavros Tripakis and Maarten Wiggers, The Earlier the Better: A Theory of Timed Actor Interfaces, 14th International Conference on Hybrid Systems: Computation and Control (HSCC'11), Chicago, IL, April 12-14, 2011. ACM, 2011.
  17. Marc Geilen, Stavros Tripakis and Maarten Wiggers, The Earlier the Better: A Theory of Timed Actor Interfaces, in Hybrid Systems: Computation and Control (HSCC 2011). Conference version of this technical report.
  18. Daniel Grund, Jan Reineke and Reinhard Wilhelm, A Template for Predictability Definitions with Supporting Evidence, Bringing Theory to Practice: Predictability and Performance in Embedded Systems, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, March, 2011.
  19. Edward A. Lee and Alberto L. Sangiovanni-Vincentelli, Component-Based Design for the Future, in Proceedings 2011 Design Automation and Test Europe (DATE), March, 2011.
  20. Patricia Derler, Edward A. Lee, and Alberto L. Sangiovanni-Vincentelli, Addressing Modeling Challenges in Cyber-Physical Systems, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2011-17, March 4, 2011.
  21. Eleftherios Matsikoudis, Axioms for Asynchronous Processes, Ph.D. Dissertation, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2011-4. January 20, 2011.
  22. Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, and Bernhard Schätz (eds.), Model-based Engineering of Embedded Real-time Systems in Lecture Notes in Computer Science, Volume LNCS 6100, 2011, Springer.
  23. Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, http://LeeSeshia.org, ISBN 978-0-557-70857-4, 2011.
  24. Edward A. Lee and Pravin Varaiya, Structure and Interpretation of Signals and Systems , http://LeeVaraiya.org, ISBN 978-0-578-07719-2, 2011.