Last modified by Richard Kreissig on 2025/01/30 11:57
<
From version < 13.1 >
edited by Alexander Schulz-Rosengarten
on 2019/10/21 08:44
To version < 15.1 >
edited by Alexander Schulz-Rosengarten
on 2019/10/23 07:26
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -40,7 +40,7 @@
40 40  === Bachelor Empfehlung ===
41 41  
42 42  (% style="margin-left: 30.0px;" %)
43 -(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Yixiao Lin, Sayan Mitro, (% style="color: rgb(0,0,0);" %)[[StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems>>url:https://dl.acm.org/citation.cfm?id=2754966||shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)LCTES 2015
43 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[vergeben]** Yixiao Lin, Sayan Mitro, (% style="color: rgb(0,0,0);" %)[[StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems>>url:https://dl.acm.org/citation.cfm?id=2754966||shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)LCTES 2015
44 44  
45 45  (% style="margin-left: 30.0px;" %)
46 46  (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "[[Semantics Driven Hardware Design, Implementation, and Verification with ReWire>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]", LCTES 2015
... ... @@ -104,10 +104,10 @@
104 104  (% style="color: rgb(0,51,102);" %)Bader Alahmad and Sathish Gopalakrishnan. 2018. [[On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273917||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 19-29.
105 105  
106 106  (% style="margin-left: 30.0px;" %)
107 -(% style="color: rgb(0,51,102);" %)Wanli Chang, Shuai Zhao, Ran Wei, Andy Wellings, and Alan Burns. 2019. [[From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper)>>url:https://dl.acm.org/citation.cfm?doid=3316482.3326360||shape="rect"]]. In //Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (LCTES 2019). ACM, New York, NY, USA, 123-134.
107 +(% style="color: rgb(0,51,102);" %)**[vergeben]** Wanli Chang, Shuai Zhao, Ran Wei, Andy Wellings, and Alan Burns. 2019. [[From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper)>>url:https://dl.acm.org/citation.cfm?doid=3316482.3326360||shape="rect"]]. In //Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (LCTES 2019). ACM, New York, NY, USA, 123-134.
108 108  
109 109  (% style="margin-left: 30.0px;" %)
110 -(% style="color: rgb(0,51,102);" %)Andreas Sailer, Michael Deubzer, Gerald Lüttgen, and Jürgen Mottok. 2017. [[Comparing trace recordings of automotive real-time software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139265||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 118-127.
110 +(% style="color: rgb(0,51,102);" %)**[vergeben]** Andreas Sailer, Michael Deubzer, Gerald Lüttgen, and Jürgen Mottok. 2017. [[Comparing trace recordings of automotive real-time software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139265||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 118-127.
111 111  
112 112  (% style="margin-left: 30.0px;" %)
113 113  (% style="color: rgb(0,51,102);" %)Eike Schweissguth, Peter Danielis, Dirk Timmermann, Helge Parzyjegla, and Gero Mühl. 2017. [[ILP-based joint routing and scheduling for time-triggered networks>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139289||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -65667387
1 +65667444
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/65667387/WS19/20 (Echtzeitsysteme und eingebettete Systeme)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/65667444/WS19/20 (Echtzeitsysteme und eingebettete Systeme)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage