Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 9.1 >
edited by Alexander Schulz-Rosengarten
on 2017/06/29 17:05
To version < 6.1 >
edited by Alexander Schulz-Rosengarten
on 2017/06/29 16:02
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -28,89 +28,31 @@
28 28  == Themen ==
29 29  
30 30  (% class="bodytext" style="text-align: left;" %)
31 -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.
31 +Zur Verfügung stehen die folgenden Paper verschiedenen Themenbereichen.
32 32  
33 33  (% class="bodytext" style="text-align: left;" %)
34 -**Die aktuelle Auswahl ist nur vorläufig!** Sie soll einen Einblick in die späteren Themen bieten und wird noch bis zur Vergabe der Seminarplätze erweitert.
35 -
36 -(% class="bodytext" style="text-align: left;" %)
37 37  Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
38 -)))
39 39  
40 -=== Bachelor Empfehlung ===
41 -
42 -(% class="bodytext" style="margin-left: 30.0px;" %)
43 -Bourke, T.; Pouzet, M., [[Zélus: a synchronous language with ODEs>>url:http://dl.acm.org/citation.cfm?id=2461348||shape="rect"]], Proceedings of the 16th international conference on Hybrid systems: computation and control, pp. 113-118, 2013. //
44 -Dieses Paper ist etwas weniger umfangreich, dafür ist voraussichtlich deutlich mehr Arbeitsaufwand für das Hintergrundverständnis erforderlich, insbesondere für Studierende ohne Vorkenntnisse auf dem Gebiet Synchrone Sprachen.//
45 -
46 -(% class="bodytext" style="margin-left: 30.0px;" %)
47 -//
48 -//
49 -
50 -(% class="bodytext" style="margin-left: 30.0px;" %)
51 -Nadeem, M.; Biglari-Abhari, M.; Salcic, Z., "GALS-JOP: A Java Embedded Processor for GALS Reactive Programs", IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (DASC), 2011, [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6119095||shape="rect" class="external-link"]].
52 -
53 -(% class="bodytext" style="margin-left: 30.0px;" %)
54 -Sun, W.-T.; Salcic, Z.; Malik, A., "LibGALS: a library for GALS systems design and modeling", Proceedings of the 15th Asia South Pacific Design Automation Conference (ASP-DAC)2010:107-112. [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=05419912||shape="rect" class="external-link"]].
55 -
56 -(% class="bodytext" style="margin-left: 30.0px;" %)
57 -Magara, A.; Salvaneschi, G., "Ways to react: comparing reactive languages and complex event processing", 1st Workshop on Reactivity, Events and Modularity (REM'13). 2013. [[PDF hier>>url:http://soft.vub.ac.be/REM13/papers/rem20130_submission_5.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
58 -
59 -(% class="bodytext" style="margin-left: 30.0px;" %)
60 -Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., "Coordinating multiple administration loops using discrete control" (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2553074||shape="rect" class="external-link"]].
61 -
62 -(% class="bodytext" style="margin-left: 30.0px;" %)
63 -Gesell, M.; Schneider, K., "Modular verification of synchronous programs", Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013, [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6598342||shape="rect" class="external-link"]].
64 -
65 -(% class="bodytext" style="margin-left: 30.0px;" %)
66 -Shaver, C.; Lee, E.A., "The coroutine model of computation", Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. [[PDF hier>>url:http://chess.eecs.berkeley.edu/pubs/902/coroutineModelsWithProof.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]. Die Bearbeitung dieses Themas sollte sich auch mit ev. aktuellen Weiterentwicklungen beschäftigen, siehe z.B. den Vortrag von Chris Shaver beim Synchronworkshop 2013: [[Slides>>url:http://www.dagstuhl.de/mat/Files/13/13471/13471.ShaverChris.Slides.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]] und die [[Homepage>>url:http://www.eecs.berkeley.edu/%7Eshaver/index.html?page=research||shape="rect" class="MIME-text MIME--html external-link"]] des Autors.
67 -
68 -(% class="bodytext" style="margin-left: 30.0px;" %)
69 -Attar, P.; Boussinot, F.; Mandel, L.; Susini, J.-F., "Proposal for a Dynamic Synchronous Language", INRIA, Research Proposal, 2011. [[PDF hier>>url:http://hal.archives-ouvertes.fr/docs/00/59/04/20/PDF/dsl.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
70 -
71 -(% class="bodytext" style="margin-left: 30.0px;" %)
72 -Gamatié, A.; Gonnord, L., "Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems", Conference on Languages, Compilers and Tools for Embedded Systems (ACM SIGPLAN/SIGBED), LCTES 2011:71-80. [[PDF hier>>url:http://laure.gonnord.org/pro/papers/signal_boolnum_lctes2011.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
73 -
74 -(% class="bodytext" style="margin-left: 30.0px;" %)
75 -Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., "Constructive Polychronous Systems", Logical Foundations of Computer Science. vol. 7734, 2013. [[PDF hier>>url:http://hal.inria.fr/hal-00763371/||shape="rect" class="external-link"]].
76 -
77 -(% class="bodytext" style="margin-left: 30.0px;" %)
78 -Brandt, J.; Schneider, K.; "Passive code in synchronous programs", ACM Transactions on Embedded Computing Systems (TECS), Special Section, vol. 13 issue 2s, Jan2014, article No. 67. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2555770||shape="rect" class="external-link"]].
79 -
80 -(% class="bodytext" style="margin-left: 30.0px;" %)
81 -//
82 -//
83 -
84 -=== Master Empfehlung ===
85 -
86 -(% style="margin-left: 30.0px;" %)
87 -Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. [[Runtime enforcement of reactive systems using synchronous enforcers>>url:https://arxiv.org/pdf/1612.05030.pdf||shape="rect"]]. In //CoRR//, vol. abs/1612.05030, 2016.
88 -
89 -(% style="margin-left: 30.0px;" %)
90 -Yip, E.; Kuo, M.; Roop. P. S., Broman, D., [[Relaxing the Synchronous Approach for Mixed-Criticality Systems>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6925993||shape="rect"]], Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014.
91 -
92 92  == Termine ==
93 93  
94 -**Vorläufige Terminplanung**
95 -
96 96  (% class="wrapped" %)
97 97  |=(((
98 -Datum
40 +Date
99 99  )))|=(((
100 -Meilenstein
42 +Topic
101 101  )))
102 102  |(((
103 -Fr, 27.10.
45 +Do, 27.10.
104 104  )))|(((
105 105  Ende der Frist für die Themenauswahl (per Email)
106 106  )))
107 107  |(((
108 -Fr, 27.10., 13:30 Uhr
50 +Do, 27.10., 13:30 Uhr
109 109  )))|(((
110 110  Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115
111 111  )))
112 112  |(((
113 -Fr, 17.11., 8:00 Uhr
55 +Do, 17.11., 8:00 Uhr
114 114  )))|(((
115 115  Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Bibliographie)
116 116  )))
... ... @@ -123,7 +123,7 @@
123 123  )))
124 124  |(% colspan="1" %)(% colspan="1" %)
125 125  (((
126 -Fr, 15.12., 8:00 Uhr
68 +Do, 15.12., 8:00 Uhr
127 127  )))|(% colspan="1" %)(% colspan="1" %)
128 128  (((
129 129  Abgabe der Erstversion der vollständigen Ausarbeitung
... ... @@ -137,7 +137,7 @@
137 137  )))
138 138  |(% colspan="1" %)(% colspan="1" %)
139 139  (((
140 -Di, 09.01., 8:00 Uhr
82 +Mo, 09.01., 8:00 Uhr
141 141  )))|(% colspan="1" %)(% colspan="1" %)
142 142  (((
143 143  Abgabe der Review-Version der Ausarbeitung
... ... @@ -152,7 +152,7 @@
152 152  )))
153 153  |(% colspan="1" %)(% colspan="1" %)
154 154  (((
155 -Di, 16.01., 8:00 Uhr
97 +Mo, 16.01., 8:00 Uhr
156 156  )))|(% colspan="1" %)(% colspan="1" %)
157 157  (((
158 158  Abgabe der Reviews**
... ... @@ -167,7 +167,7 @@
167 167  )))
168 168  |(% colspan="1" %)(% colspan="1" %)
169 169  (((
170 -Di, 23.01., 8:00 Uhr
112 +Mo, 23.01., 8:00 Uhr
171 171  )))|(% colspan="1" %)(% colspan="1" %)
172 172  (((
173 173  Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten)
... ... @@ -182,7 +182,7 @@
182 182  )))
183 183  |(% colspan="1" %)(% colspan="1" %)
184 184  (((
185 -Do, 01.02., 8:00 Uhr
127 +Do, 02.02., 8:00 Uhr
186 186  )))|(% colspan="1" %)(% colspan="1" %)
187 187  (((
188 188  Abgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien)**
... ... @@ -190,7 +190,7 @@
190 190  )))
191 191  |(% colspan="1" %)(% colspan="1" %)
192 192  (((
193 -Fr, 02.02.
135 +Fr, 03.02.
194 194  )))|(% colspan="1" %)(% colspan="1" %)
195 195  (((
196 196  Ganztägiges Blockseminar mit Vorträgen
... ... @@ -265,6 +265,7 @@
265 265  ** Kostenloser Download nur aus Rechnern im Uninetz möglich
266 266  * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
267 267  * Universitätsbibliothek Digitale Medien: [[http:~~/~~/www.uni-kiel.de/ub/emedien/index.html>>url:http://www.uni-kiel.de/ub/emedien/index.html||shape="rect"]]
210 +)))
268 268  
269 269  (% style="display: none;" %)
270 270  (((
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -28672322
1 +28672317
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672322/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672317/WS17/18 (Synchrone Sprachen)