Last modified by Richard Kreissig on 2025/01/30 11:57
<
From version < 10.1 >
edited by Alexander Schulz-Rosengarten
on 2019/09/11 12:12
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
... ... @@ -29,7 +29,9 @@
29 29  Zur Verfügung stehen die folgenden Paper. Sie sind grob in Master- und Bachelor-Themen eingeteilt, anhand von Umfang, Komplexität und benötigtem Vorwissen. Dies soll aber nicht davon abhalten bei überwältigendem Interesse auch als Bachelor ein Master-Thema zu bearbeiten.
30 30  
31 31  (% class="bodytext" style="text-align: left;" %)
32 -//Die aktuelle Auswahl ist vorläufig!// Die Themen können bereits gewählt werden, aber bis zum Beginn des Semesters wird die Liste ggf. noch erweitert.
32 +Um ein Paper zu reservieren, bitte eine Mail an Alexander ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de||shape="rect"]]) schicken.
33 +
34 +(% class="bodytext" style="text-align: left;" %)
33 33  Die Paper werden first-come-first-serve vergeben. Ist ein Paper schon an jemanden vergeben, vermerken wir das hier.
34 34  
35 35  (% class="bodytext" style="text-align: left;" %)
... ... @@ -38,7 +38,7 @@
38 38  === Bachelor Empfehlung ===
39 39  
40 40  (% style="margin-left: 30.0px;" %)
41 -(% 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
42 42  
43 43  (% style="margin-left: 30.0px;" %)
44 44  (% 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
... ... @@ -68,7 +68,7 @@
68 68  James Devine, Joe Finney, Peli de Halleux, Michał Moskal, Thomas Ball, and Steve Hodges. 2018. [[MakeCode and CODAL: intuitive and efficient embedded systems programming for education>>url:https://dl.acm.org/citation.cfm?doid=3211332.3211335||shape="rect"]]. In //Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (LCTES 2018). ACM, New York, NY, USA, 19-30.
69 69  
70 70  (% style="margin-left: 30.0px;" %)
71 -H. Abbas, I. Saha, Y. Shoukry, R. Ehlers, G. Fainekos, R. Gupta, R. Majumdar, D. Ulus, [[Special Session: Embedded Software for Robotics: Challenges and Future Directions>>url:https://ieeexplore.ieee.org/document/8537236||shape="rect"]], //2018 International Conference on Embedded Software (EMSOFT)//, Turin, 2018, pp. 1-10.
73 +**[vergeben]** H. Abbas, I. Saha, Y. Shoukry, R. Ehlers, G. Fainekos, R. Gupta, R. Majumdar, D. Ulus, [[Special Session: Embedded Software for Robotics: Challenges and Future Directions>>url:https://ieeexplore.ieee.org/document/8537236||shape="rect"]], //2018 International Conference on Embedded Software (EMSOFT)//, Turin, 2018, pp. 1-10.
72 72  
73 73  (% style="margin-left: 30.0px;" %)
74 74  Wenchen Wang, Daniel Mosse, Daniel Cole, and Jason G. Pickel. 2018. [[Dynamic Wireless Network Reconfiguration for Control System applied to a Nuclear Reactor Case Study>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273912||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 30-40.
... ... @@ -102,10 +102,10 @@
102 102  (% 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.
103 103  
104 104  (% style="margin-left: 30.0px;" %)
105 -(% 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.
106 106  
107 107  (% style="margin-left: 30.0px;" %)
108 -(% 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.
109 109  
110 110  (% style="margin-left: 30.0px;" %)
111 111  (% 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
... ... @@ -148,7 +148,7 @@
148 148  |(((
149 149  Di., 12.11., 8:00 Uhr
150 150  )))|(((
151 -Abgabe Ausarbeitungsgerüst in EasyChair. Dies umfasst einen ersten Abstract und eine Einleitung, sowie eine Gliederung mit Stichworten zum Inhalt der Kapitel. Weiterhin auch eine Bibliographie Liste zur Übersicht über verwandte Arbeiten.
153 +Abgabe Ausarbeitungsgerüst in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws||shape="rect"]]. Dies umfasst einen ersten Abstract und eine Einleitung, sowie eine Gliederung mit Stichworten zum Inhalt der Kapitel. Weiterhin auch eine Bibliographie Liste zur Übersicht über verwandte Arbeiten.
152 152  )))
153 153  |(% colspan="1" %)(% colspan="1" %)
154 154  (((
... ... @@ -162,7 +162,7 @@
162 162  Di., 10.12., 8:00 Uhr
163 163  )))|(% colspan="1" %)(% colspan="1" %)
164 164  (((
165 -Abgabe der Erstversion der vollständigen Ausarbeitung (Submission-Update in EasyChair)
167 +Abgabe der Erstversion der vollständigen Ausarbeitung (Submission-Update in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws||shape="rect"]])
166 166  )))
167 167  |(% colspan="1" %)(% colspan="1" %)
168 168  (((
... ... @@ -176,7 +176,7 @@
176 176  Di., 07.01., 08:00 Uhr
177 177  )))|(% colspan="1" %)(% colspan="1" %)
178 178  (((
179 -Abgabe der Review-Version der Ausarbeitung (Submission-Update in EasyChair) und Beitritt zum Program Committee (Einladung zuvor per Mail)
181 +Abgabe der Review-Version der Ausarbeitung (Submission-Update in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws||shape="rect"]]) und Beitritt zum Program Committee (Einladung zuvor per Mail)
180 180  )))
181 181  |(% colspan="1" %)(% colspan="1" %)
182 182  (((
... ... @@ -191,7 +191,7 @@
191 191  Di., 14.01., 08:00 Uhr
192 192  )))|(% colspan="1" %)(% colspan="1" %)
193 193  (((
194 -Abgabe der Reviews (in EasyChair)**
196 +Abgabe der Reviews (in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws||shape="rect"]])**
195 195  **
196 196  )))
197 197  |(% colspan="1" %)(% colspan="1" %)
... ... @@ -213,7 +213,7 @@
213 213  Fr., 14.02., 08:00 Uhr
214 214  )))|(% colspan="1" %)(% colspan="1" %)
215 215  (((
216 -Abgabe der Endversionen der Ausarbeitungen (Submission-Update in EasyChair)
218 +Abgabe der Endversionen der Ausarbeitungen (Submission-Update in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws||shape="rect"]])
217 217  )))
218 218  |(% colspan="1" %)(% colspan="1" %)
219 219  (((
... ... @@ -277,7 +277,7 @@
277 277  
278 278  === EasyChair Tutorial ===
279 279  
280 -Unser Seminar findet ihr im EasyChair-System (**Link wird mit Seminarbeginn zur Verfügung stehen**).
282 +Unser Seminar findet ihr im EasyChair-System: [[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws||shape="rect"]].
281 281  
282 282  {{expand title="Klicke hier zum ausklappen..."}}
283 283  \\
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -65667121
1 +65667444
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/65667121/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