Summary

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

Details

Page properties

Content

...	...	@@ -26,6 +26,7 @@
26	26	(% style="text-align: left;" %)
27	27	== Topics ==
28	28
	29	+{{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
...	...	@@ -131,10 +131,11 @@
131	131
132	132	(% style="margin-left: 30.0px;" %)
133	133	(% 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.
	135	+{{/expand}}
134	134
135		-
136	136	== Schedule ==
137	137
	139	+{{expand}}
138	138	Note: The dates are not final yet, to be discussed during the kickoff meeting.
139	139
140	140	(% class="fixed-table wrapped" %)
...	...	@@ -234,11 +234,14 @@
234	234
235	235	=== Agenda ===
236	236
237		-**[[Hier>>url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606434/agenda_anonym.pdf?version=1&modificationDate=1687274700000&api=v2||shape="rect"]]** die Agenda als PDF
238	238
239	239
	241	+{{view-file att--filename="agenda_anonym.pdf" height="250"/}}
	242	+{{/expand}}
	243	+
240	240	== Milestones and Grading ==
241	241
	246	+{{expand}}
242	242	(% style="margin-top: 30.0px;color: rgb(23,43,77);" %)
243	243	== Papers, Talks, Review ==
244	244
...	...	@@ -280,9 +280,11 @@
280	280	== Grades ==
281	281
282	282	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.
	288	+{{/expand}}
283	283
284	284	== Technical Details ==
285	285
	292	+{{expand}}
286	286	(% style="margin-top: 30.0px;color: rgb(23,43,77);" %)
287	287	=== LaTeX ===
288	288
...	...	@@ -305,12 +305,18 @@
305	305
306	306	You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]]**
307	307
	315	+{{expand title="Klicke hier zum ausklappen..."}}
	316	+\\
	317	+
308	308	[[doc:RTSYS.EasyChair Student Tutorial]]
309	309
	320	+{{include/}}
	321	+{{/expand}}
	322	+{{/expand}}
310	310
311	311	=== (% style="font-size:20.0px; font-weight:normal; letter-spacing:-0.008em" %)Resources(%%) ===
312	312
313		-
	326	+{{expand}}
314	314	(% style="margin-top: 10.0px;" %)
315	315	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:
316	316
...	...	@@ -320,3 +320,4 @@
320	320	* IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
321	321	* ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
322	322	* 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}}