Summary

• Page properties (3 modified, 0 added, 0 removed)

Details

Page properties

Title

...	...	@@ -1,1 +1,1 @@
1		-2022/23 Synchronous Languages
	1	+WS22/23 (Synchronous Languages)

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.stu230980
	1	+XWiki.als

Content

...	...	@@ -11,6 +11,8 @@
11	11
12	12	Benveniste, A.; Caspi, P.; Edwards, S.A.; Halbwachs, N.; Le Guernic, P.; de Simone, R., "The synchronous languages 12 years later," //Proceedings of the IEEE// , vol.91, no.1, pp.64,83, Jan 2003 ([[pdf>>url:http://www.cs.columbia.edu/%7Esedwards/papers/benveniste2003synchronous.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]).
13	13
	14	+(% style="text-align: left;" %)
	15	+\\
14	14
15	15	(% style="text-align: left;" %)
16	16	Moreover, we recommend the attendance of the lecture "**Scientific Working for Seminars and Thesis**" (Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten) held by Prof. Peters.
...	...	@@ -26,6 +26,7 @@
26	26	(% style="text-align: left;" %)
27	27	= Topics =
28	28
	31	+{{expand}}
29	29	(% class="bodytext" style="text-align: left;" %)
30	30	You may choose from one of the following papers. The scope, complexity and required knowledge for these papers roughly divides them into topics for bachelor students and for master students. However, bachelor students that take great interest in a master students topic may also choose from those.
31	31
...	...	@@ -143,9 +143,11 @@
143	143
144	144	(% style="margin-left: 30.0px;" %)
145	145	(% style="color: rgb(51,51,51);" %)A. Gannous, A. Andrews and B. Gallina, [[Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems>>url:https://ieeexplore.ieee.org/document/8539215||shape="rect"]]. (%%)//2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)//(% style="color: rgb(51,51,51);" %), 2018, pp. 329-336, doi: 10.1109/ISSREW.2018.00026.
	149	+{{/expand}}
146	146
147	147	= Schedule =
148	148
	153	+{{expand}}
149	149	== Dates in the semester ==
150	150
151	151	(% class="fixed-table wrapped" %)
...	...	@@ -247,11 +247,12 @@
247	247
248	248
249	249
250		-**[[Hier>>url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/128745476/agenda.pdf?version=1&modificationDate=1677149817000&api=v2||shape="rect"]]** die Agenda als PDF
	255	+{{view-file att--filename="agenda.pdf" height="250"/}}
	256	+{{/expand}}
251	251
252		-
253	253	= Schedule and Grading =
254	254
	260	+{{expand}}
255	255	== Papers, Talks, Review ==
256	256
257	257	(% style="color: rgb(23,43,77);" %)This seminar includes creating a paper, a talk, and two reviews.
...	...	@@ -286,9 +286,11 @@
286	286	== Grades ==
287	287
288	288	This seminar is graded. The grade is based on each milestone (the different versions of the paper, the reviews, the slides, the talk). For each milestone quality, timing (see dates) are graded. Missed deadline may cause you to fail the seminar.
	295	+{{/expand}}
289	289
290	290	= Technical Details =
291	291
	299	+{{expand}}
292	292	=== LaTeX ===
293	293
294	294	Your papers should be created using LaTeX and have to be in the provided ACM style. You can find all necessary files in this [[archive>>attach:SS20 (Layout)@paper-template.zip]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper.
...	...	@@ -305,9 +305,18 @@
305	305
306	306	You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]]**
307	307
	316	+{{expand title="Klicke hier zum ausklappen..."}}
	317	+\\
308	308
	319	+[[doc:RTSYS.EasyChair Student Tutorial]]
	320	+
	321	+{{include/}}
	322	+{{/expand}}
	323	+{{/expand}}
	324	+
309	309	= Resources =
310	310
	327	+{{expand}}
311	311	In general, it is advised to look for related work in the university network since you will get access to many online libraries. We the following search engines and web pages:
312	312
313	313	* Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/||shape="rect" class="external-link"]]
...	...	@@ -316,3 +316,4 @@
316	316	* IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
317	317	* ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
318	318	* 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"]]
	336	+{{/expand}}