Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 54.1 >
edited by Alexander Schulz-Rosengarten
on 2017/11/16 12:17
To version < 59.2 >
edited by Alexander Schulz-Rosengarten
on 2023/07/07 05:41
>
Change comment: Update document after refactoring.

Summary

Details

Page properties
Parent
... ... @@ -1,0 +1,1 @@
1 +SEM.Seminars.WebHome
Tags
... ... @@ -1,0 +1,1 @@
1 +favourite
Content
... ... @@ -67,7 +67,7 @@
67 67  **Dennis Pehlke:** Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., [[Coordinating multiple administration loops using discrete control>>url:http://dl.acm.org/citation.cfm?id=2553074||shape="rect"]] (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25.
68 68  
69 69  (% class="bodytext" style="margin-left: 30.0px;" %)
70 -**Nicolas Jessen:** Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., [[Constructive Polychronous Systems>>url:https://www.irisa.fr/prive/talpin/papers/scp14a.pdf||shape="rect"]], Logical Foundations of Computer Science. vol. 7734, 2013.
70 +Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., [[Constructive Polychronous Systems>>url:https://www.irisa.fr/prive/talpin/papers/scp14a.pdf||shape="rect"]], Logical Foundations of Computer Science. vol. 7734, 2013.
71 71  
72 72  (% class="bodytext" style="margin-left: 30.0px;" %)
73 73  **Felix von der Heide:** Reinhard von Hanxleden and Timothy Bourke and Alain Girault. [[Real-Time Ticks for Synchronous Programming>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/fdl17.pdf||shape="rect"]]. In (% class="cmti-10" %)Proc. Forum on(%%) (% class="cmti-10" %)Specification and Design Languages (FDL ’17)(%%), Verona, Italy, 2017.
... ... @@ -81,7 +81,7 @@
81 81  === Master Empfehlung ===
82 82  
83 83  (% style="margin-left: 30.0px;" %)
84 -**Jan Reese**: 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.
84 +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.
85 85  
86 86  (% style="margin-left: 30.0px;" %)
87 87  **Lewe Andersen**: 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.
... ... @@ -96,10 +96,6 @@
96 96  (% class="text-black navigate" %)**Sören Domrös**: 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
97 97  
98 98  (% style="margin-left: 30.0px;" %)
99 -(% class="text-black navigate" %)**Merlin Kötzing:** Shaver, C.; Lee, E.A., [[The coroutine model of computation>>url:http://chess.eecs.berkeley.edu/pubs/902/coroutineModelsWithProof.pdf||shape="rect"]], Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. (% class="text-black navigate MIME-application MIME--pdf external-link" %)PDF hier(% class="text-black navigate" %).
100 -//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.
101 -
102 -(% style="margin-left: 30.0px;" %)
103 103  **Lena Grimm**: Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont. [[Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models>>url:https://hal.inria.fr/hal-01349019/file/RR-8937.pdf||shape="rect"]]. [Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21.
104 104  
105 105  (% style="margin-left: 30.0px;" %)
... ... @@ -220,7 +220,7 @@
220 220  )))
221 221  |(% colspan="1" %)(% colspan="1" %)
222 222  (((
223 -Fr, 02.02.
219 +Mo, 05.02. (+ Di, 06.02.)
224 224  )))|(% colspan="1" %)(% colspan="1" %)
225 225  (((
226 226  Ganztägiges Blockseminar mit Vorträgen
... ... @@ -228,11 +228,267 @@
228 228  
229 229  == Agenda des Blockseminars ==
230 230  
231 -Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines eintägigen Blockseminars stattfinden. Die Teilnahme am gesamten Seminartag ist Pflicht.
227 +Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme an beiden Seminartagen ist Pflicht.
232 232  
233 -**Programm folgt.
229 +Das erste Blockseminar findet am Montag, den **5. Februar 2018** im Ostseejugenddorf Falckenstein, Falkenhorst 6, 24159 Kiel-Friedrichsort statt, und zwar im Raum "Fördeblick". Bitte wetterfeste Kleidung und passendes Schuhwerk für einen Spaziergang in der Mittagspause mitbringen!\\
230 +
231 +(% class="wrapped relative-table" style="width: 51.0167%;" %)
232 +|=(((
233 +Zeit
234 +)))|=(((
235 +Tagesordnungspunkt
236 +)))|=(% colspan="1" %)(% colspan="1" %)
237 +(((
238 +\\
239 +)))
240 +|(((
241 +8:20
242 +)))|(((
243 +//Begrüßung//
244 +)))|(% colspan="1" %)(% colspan="1" %)
245 +(((
246 +\\
247 +)))
248 +|(% colspan="1" %)(% colspan="1" %)
249 +(((
250 +8:30
251 +)))|(% colspan="1" %)(% colspan="1" %)
252 +(((
253 +LibGALS: A library for GALS systems design and modeling
254 +)))|(% colspan="1" %)(% colspan="1" %)
255 +(((
256 +Florian Scheurer
257 +)))
258 +|(% colspan="1" %)(% colspan="1" %)
259 +(((
260 +9:00
261 +)))|(% colspan="1" %)(% colspan="1" %)
262 +(((
263 +Java Embedded Processors specialized for GALS Programs
264 +)))|(% colspan="1" %)(% colspan="1" %)
265 +(((
266 +Dennis Smolka
267 +)))
268 +|(% colspan="1" %)(% colspan="1" %)
269 +(((
270 +9:30
271 +)))|(% colspan="1" %)(% colspan="1" %)
272 +(((
273 +Energie- und zeitabhängige synchrone Programmierung
274 +)))|(% colspan="1" %)(% colspan="1" %)
275 +(((
276 +(% class="authors-info ng-binding ng-scope ng-scope ng-isolate-scope ng-binding" %)Nils Sauer
277 +)))
278 +|(% colspan="1" %)(% colspan="1" %)
279 +(((
280 +10:00
281 +)))|(% colspan="1" %)(% colspan="1" %)
282 +(((
283 +//Kaffeepause//
284 +)))|(% colspan="1" %)(% colspan="1" %)
285 +(((
286 +\\
287 +)))
288 +|(% colspan="1" %)(% colspan="1" %)
289 +(((
290 +10:30
291 +)))|(% colspan="1" %)(% colspan="1" %)
292 +(((
293 +A Formally Verified Compiler for Lustre
294 +)))|(% colspan="1" %)(% colspan="1" %)
295 +(((
296 +P(% class="text-black navigate" %)hilip Eumann
297 +)))
298 +|(% colspan="1" %)(% colspan="1" %)
299 +(((
300 +11:15
301 +)))|(% colspan="1" %)(% colspan="1" %)
302 +(((
303 +Modular Verification of Synchronous Programs
304 +)))|(% colspan="1" %)(% colspan="1" %)
305 +(((
306 +(% class="text-black navigate" %)Sören Domrös
307 +)))
308 +|(% colspan="1" %)(% colspan="1" %)
309 +(((
310 +12:00
311 +)))|(% colspan="1" %)(% colspan="1" %)
312 +(((
313 +//Mittagessen//
314 +)))|(% colspan="1" %)(% colspan="1" %)
315 +(((
316 +\\
317 +)))
318 +|(% colspan="1" %)(% colspan="1" %)
319 +(((
320 +14:00
321 +)))|(% colspan="1" %)(% colspan="1" %)
322 +(((
323 +Temporal Properties for Neuronal Archetypes using Synchronous Models
324 +)))|(% colspan="1" %)(% colspan="1" %)
325 +(((
326 +Lena Grimm
327 +)))
328 +|(% colspan="1" %)(% colspan="1" %)
329 +(((
330 +14:45
331 +)))|(% colspan="1" %)(% colspan="1" %)
332 +(((
333 +The Dynamic Synchronous Language DSL
334 +)))|(% colspan="1" %)(% colspan="1" %)
335 +(((
336 +Andreas Stange
337 +)))
338 +|(% colspan="1" %)(% colspan="1" %)
339 +(((
340 +15:30
341 +)))|(% colspan="1" %)(% colspan="1" %)
342 +(((
343 +//Kaffeepause//
344 +)))|(% colspan="1" %)(% colspan="1" %)
345 +(((
346 +\\
347 +)))
348 +|(% colspan="1" %)(% colspan="1" %)
349 +(((
350 +16:00
351 +)))|(% colspan="1" %)(% colspan="1" %)
352 +(((
353 +WCET Semantics for Synchronous Programs
354 +)))|(% colspan="1" %)(% colspan="1" %)
355 +(((
356 +Niklas Rentz
357 +)))
358 +|(% colspan="1" %)(% colspan="1" %)
359 +(((
360 +16:45
361 +)))|(% colspan="1" %)(% colspan="1" %)
362 +(((
363 +Relaxing the Synchronous Approach for Mixed-Criticality Systems
364 +)))|(% colspan="1" %)(% colspan="1" %)
365 +(((
366 +Lewe Andersen
367 +)))
368 +|(% colspan="1" %)(% colspan="1" %)
369 +(((
370 +17:30
371 +)))|(% colspan="1" %)(% colspan="1" %)
372 +(((
373 +//Schlusswort//
374 +)))|(% colspan="1" %)(% colspan="1" %)
375 +(((
376 +\\
377 +)))
378 +
234 234  **
380 +**Das zweite Blockseminar findet am Dienstag, den **6. Februar 2018** in der Uni in CAP4 R.1115 (RTSYS Labor) statt.
235 235  
382 +(% class="wrapped relative-table" style="width: 50.9569%;" %)
383 +|=(((
384 +Zeit
385 +)))|=(((
386 +Tagesordnungspunkt
387 +)))|=(% colspan="1" %)(% colspan="1" %)
388 +(((
389 +\\
390 +)))
391 +|(((
392 +10:10
393 +)))|(((
394 +//Begrüßung//
395 +)))|(% colspan="1" %)(% colspan="1" %)
396 +(((
397 +\\
398 +)))
399 +|(((
400 +10:15
401 +)))|(((
402 +Eine Einordnung der Sprache Zélus
403 +)))|(% colspan="1" %)(% colspan="1" %)
404 +(((
405 +Julian Pleines
406 +)))
407 +|(% colspan="1" %)(% colspan="1" %)
408 +(((
409 +10:45
410 +)))|(% colspan="1" %)(% colspan="1" %)
411 +(((
412 +Symbolic Simulation of Dataflow Synchronous Programs with Timers
413 +)))|(% colspan="1" %)(% colspan="1" %)
414 +(((
415 +Lennart Ideler
416 +)))
417 +|(% colspan="1" %)(% colspan="1" %)
418 +(((
419 +11:15
420 +)))|(% colspan="1" %)(% colspan="1" %)
421 +(((
422 +Synchrone Programme für Echtzeitsysteme mittels dynamischer Tickfunktionen
423 +)))|(% colspan="1" %)(% colspan="1" %)
424 +(((
425 +Felix von der Heide
426 +)))
427 +|(% colspan="1" %)(% colspan="1" %)
428 +(((
429 +11:45
430 +)))|(% colspan="1" %)(% colspan="1" %)
431 +(((
432 +Synchronous-Reactive Web Programming
433 +)))|(% colspan="1" %)(% colspan="1" %)
434 +(((
435 +Yannic Borgfeld
436 +)))
437 +|(((
438 +12:15
439 +)))|(((
440 +//Mittagessen//
441 +)))|(% colspan="1" %)(% colspan="1" %)
442 +(((
443 +\\
444 +)))
445 +|(% colspan="1" %)(% colspan="1" %)
446 +(((
447 +13:00
448 +)))|(% colspan="1" %)(% colspan="1" %)
449 +(((
450 +ReactiveML, 10 Years Later - Ein Überblick
451 +)))|(% colspan="1" %)(% colspan="1" %)
452 +(((
453 +(% class="authors-info ng-binding ng-scope ng-scope ng-binding" %)Thies Weber
454 +)))
455 +|(% colspan="1" %)(% colspan="1" %)
456 +(((
457 +13:30
458 +)))|(% colspan="1" %)(% colspan="1" %)
459 +(((
460 +Reactive Languages and Complex Event Processing
461 +)))|(% colspan="1" %)(% colspan="1" %)
462 +(((
463 +Lars Viertel
464 +)))
465 +|(% colspan="1" %)(% colspan="1" %)
466 +(((
467 +14:00
468 +)))|(% colspan="1" %)(% colspan="1" %)
469 +(((
470 +Koordination mehrerer Autonomer Manager
471 +)))|(% colspan="1" %)(% colspan="1" %)
472 +(((
473 +Dennis Pehlke
474 +)))
475 +|(% colspan="1" %)(% colspan="1" %)
476 +(((
477 +14:30
478 +)))|(% colspan="1" %)(% colspan="1" %)
479 +(((
480 +//Schlusswort//
481 +)))|(% colspan="1" %)(% colspan="1" %)
482 +(((
483 +\\
484 +)))
485 +
486 +\\
487 +
236 236  == Ausarbeitung, Vortrag, Review ==
237 237  
238 238  Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -35750118
1 +28672307
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/35750118/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672307/WS17/18 (Synchrone Sprachen)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage