Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -41,6 +41,9 @@
41	41	1. (% style="color: rgb(0,0,0);" %)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>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5995279||shape="rect"]]
42	42	1. (% style="color: rgb(0,0,0);" %)Björn Döbel, Hermann Härtig, "Can We Put Concurrency Back Into Redundant Multithreading?", EMSOFT 2014, (%%)[[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986127||shape="rect" class="external-link"]]
43	43	1. (% style="color: rgb(0,0,0);" %)Ahmed Alhammad, Rodolfo Pellizzoni, "Schedulability Analysis of Global Memory-predictable Scheduling", EMSOFT 2014, (%%)[[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986128||shape="rect" class="external-link"]]
	44	+1. Biswajit Mazumder, JAson O. Hallstrom, "A Fast, Lightweight, and Reliable File System for Wireless Sensor Networks", EMSOFT 2016, [[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7743241||shape="rect"]]
	45	+1. A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015, [[PDF hier>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]
	46	+1. Yixiao Lin, Sayan Mitro, "StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems", LCTES 2015, [[PDF hier>>url:https://dl.acm.org/citation.cfm?id=2754966||shape="rect"]]
44	44
45	45	=== Master Empfehlung ===
46	46
...	...	@@ -47,6 +47,7 @@
47	47	1. (% style="color: rgb(0,0,0);" %)Edward A. Lee, "Constructive Models of Discrete and Continuous Physical Phenomena", IEEE Acces, Vol. 2, pages 797-821, August 7, 2014, (%%)[[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6873221||shape="rect"]]
48	48	1. (% style="color: rgb(0,0,0);" %)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>>url:http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA587399||shape="rect" class="external-link"]]
49	49	1. Arnd Hartmanns, Holger Hermanns, Michael Bungert, "Flexible Support for Time and Costs in Scenario-Aware Dataflow", EMSOFT 2016, [[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7743220||shape="rect"]]
	53	+1. Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh, "Symbolic Execution for Memory Consumption Analysis", LCTES 2016, [[PDF hier>>url:https://dl.acm.org/citation.cfm?doid=2907950.2907955||shape="rect"]]
50	50
51	51	(% style="margin-left: 30.0px;" %)
52	52	(% class="text-black navigate" %)//

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-40894614
	1	+40894615

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/40894614/SS18 (Echtzeitsysteme und eingebettete Systeme)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/40894615/SS18 (Echtzeitsysteme und eingebettete Systeme)