Page tree

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


  1. Yooseong Kim, David Broman, Jian Cai, and Aviral Shrivastaval, "WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores", In /Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2014)/, Berlin, Germany, 2014, PDF hier
  2. Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli, "Modeling Cyber-Physical Systems", Proceedings of the IEEE (special issue on CPS)/, 100(1):13-28, January 2012, PDF hier
  3. Björn Döbel, Hermann Härtig, "Can We Put Concurrency Back Into Redundant Multithreading?", EMSOFT 2014, PDF hier
  4. Ahmed Alhammad, Rodolfo Pellizzoni, "Schedulability Analysis of Global Memory-predictable Scheduling", EMSOFT 2014, PDF hier
  5. Biswajit Mazumder, JAson O. Hallstrom, "A Fast, Lightweight, and Reliable File System for Wireless Sensor Networks", EMSOFT 2016, PDF hier
  6. A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015, PDF hier
  7. Yixiao Lin, Sayan Mitro, "StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems", LCTES 2015, PDF hier

Master Empfehlung

  1. Merlin Kötzing: Edward A. Lee, "Constructive Models of Discrete and Continuous Physical Phenomena", IEEE Acces, Vol. 2, pages 797-821, August 7, 2014, PDF hier
  2. Milad Rahimi-Barfeh: 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, PDF hier
  3. Sarah Stelling: Arnd Hartmanns, Holger Hermanns, Michael Bungert, "Flexible Support for Time and Costs in Scenario-Aware Dataflow", EMSOFT 2016, PDF hier
  4. Jan Witzany: Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh, "Symbolic Execution for Memory Consumption Analysis", LCTES 2016, PDF hier