Summary

• Page properties (2 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Author

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

Content

...	...	@@ -31,7 +31,8 @@
31	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.
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.
	34	+//Die aktuelle Auswahl ist vorläufig!// Die Themen können bereits gewählt werden, aber bis zum Beginn des Wintersemesters wird die Liste ggf. noch erweitert.
	35	+ Die Paper werden first-come-first-serve vergeben. Ist ein Paper schon an jemanden vergeben vermerken wir das hier.
35	35
36	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.
...	...	@@ -86,7 +86,7 @@
86	86	Mendler, M, Roop, PS & Bodin, B 2016, [[A Novel WCET semantics of Synchronous Programs>>url:http://www.research.ed.ac.uk/portal/files/26473689/main.pdf||shape="rect"]]. In Formal Modeling and Analysis of Timed Systems: 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016). Lecture Notes in Computer Science (LNCS), vol. 9884, Springer International Publishing, pp. 195-210. DOI: 10.1007/978-3-319-44878-7_12
87	87
88	88	(% style="margin-left: 30.0px;" %)
89		-(% class="text-black navigate" %)Timothy Bourke(%%), (% class="text-black navigate" %)Lélio Brun(%%), (% class="text-black navigate" %)Pierre-Evariste Dagand(%%), (% class="text-black navigate" %)Xavier Leroy(%%), (% class="text-black navigate" %)Marc Pouzet(%%), (% class="text-black navigate" %)Lionel Rieg. (%%)[[(% class="text-black navigate" %)A formally verified compiler for Lustre>>url:http://dl.acm.org/ft_gateway.cfm?id=3062358&ftid=1881521&dwn=1&CFID=781648530&CFTOKEN=67078311||shape="rect"]](%%). In (% class="link-text" %)PLDI 2017(%%), Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation Pages 586-60
	90	+(% class="text-black navigate" %)**Philip Eumann:** Timothy Bourke(%%), (% class="text-black navigate" %)Lélio Brun(%%), (% class="text-black navigate" %)Pierre-Evariste Dagand(%%), (% class="text-black navigate" %)Xavier Leroy(%%), (% class="text-black navigate" %)Marc Pouzet(%%), (% class="text-black navigate" %)Lionel Rieg. (%%)[[(% class="text-black navigate" %)A formally verified compiler for Lustre>>url:http://dl.acm.org/ft_gateway.cfm?id=3062358&ftid=1881521&dwn=1&CFID=781648530&CFTOKEN=67078311||shape="rect"]](%%). In (% class="link-text" %)PLDI 2017(%%), Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation Pages 586-60
90	90
91	91	(% style="margin-left: 30.0px;" %)
92	92	(% class="text-black navigate" %)Gesell, M.; Schneider, K., [[Modular verification of synchronous programs>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6598342||shape="rect"]], Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-28672397
	1	+28672403

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672397/WS17/18 (Synchrone Sprachen)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672403/WS17/18 (Synchrone Sprachen)