...
- 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
- 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
- Björn Döbel, Hermann Härtig, "Can We Put Concurrency Back Into Redundant Multithreading?", EMSOFT 2014, PDF hier
- Ahmed Alhammad, Rodolfo Pellizzoni, "Schedulability Analysis of Global Memory-predictable Scheduling", EMSOFT 2014, PDF hier
- Biswajit Mazumder, JAson O. Hallstrom, "A Fast, Lightweight, and Reliable File System for Wireless Sensor Networks", EMSOFT 2016, PDF hier
- A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015, PDF hier
- Yixiao Lin, Sayan Mitro, "StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems", LCTES 2015, PDF hier
Master Empfehlung
- 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
- 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
- Sarah Stelling: Arnd Hartmanns, Holger Hermanns, Michael Bungert, "Flexible Support for Time and Costs in Scenario-Aware Dataflow", EMSOFT 2016, PDF hier
- Jan Witzany: Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh, "Symbolic Execution for Memory Consumption Analysis", LCTES 2016, PDF hier
...