Summary

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

Details

Page properties

Title

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

Author

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

Content

...	...	@@ -11,8 +11,6 @@
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		-\\
16	16
17	17	(% style="text-align: left;" %)
18	18	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.
...	...	@@ -28,7 +28,6 @@
28	28	(% style="text-align: left;" %)
29	29	= Topics =
30	30
31		-{{expand}}
32	32	(% class="bodytext" style="text-align: left;" %)
33	33	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.
34	34
...	...	@@ -146,11 +146,9 @@
146	146
147	147	(% style="margin-left: 30.0px;" %)
148	148	(% 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}}
150	150
151	151	= Schedule =
152	152
153		-{{expand}}
154	154	== Dates in the semester ==
155	155
156	156	(% class="fixed-table wrapped" %)
...	...	@@ -252,12 +252,11 @@
252	252
253	253
254	254
255		-{{view-file att--filename="agenda.pdf" height="250"/}}
256		-{{/expand}}
	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
257	257
	252	+
258	258	= Schedule and Grading =
259	259
260		-{{expand}}
261	261	== Papers, Talks, Review ==
262	262
263	263	(% style="color: rgb(23,43,77);" %)This seminar includes creating a paper, a talk, and two reviews.
...	...	@@ -292,11 +292,9 @@
292	292	== Grades ==
293	293
294	294	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}}
296	296
297	297	= Technical Details =
298	298
299		-{{expand}}
300	300	=== LaTeX ===
301	301
302	302	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.
...	...	@@ -313,18 +313,9 @@
313	313
314	314	You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]]**
315	315
316		-{{expand title="Klicke hier zum ausklappen..."}}
317		-\\
318	318
319		-[[doc:RTSYS.EasyChair Student Tutorial]]
320		-
321		-{{include/}}
322		-{{/expand}}
323		-{{/expand}}
324		-
325	325	= Resources =
326	326
327		-{{expand}}
328	328	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:
329	329
330	330	* Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/||shape="rect" class="external-link"]]
...	...	@@ -333,4 +333,3 @@
333	333	* IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
334	334	* ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
335	335	* 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}}