Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 56.1 >
edited by Reinhard von Hanxleden
on 2018/01/10 17:31
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
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.rvh
1 +XWiki.als
Tags
... ... @@ -1,0 +1,1 @@
1 +favourite
Content
... ... @@ -216,7 +216,7 @@
216 216  )))
217 217  |(% colspan="1" %)(% colspan="1" %)
218 218  (((
219 -Di, 05.02. (+ Mi, 06.02.)
219 +Mo, 05.02. (+ Di, 06.02.)
220 220  )))|(% colspan="1" %)(% colspan="1" %)
221 221  (((
222 222  Ganztägiges Blockseminar mit Vorträgen
... ... @@ -224,11 +224,267 @@
224 224  
225 225  == Agenda des Blockseminars ==
226 226  
227 -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.
228 228  
229 -**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 +
230 230  **
380 +**Das zweite Blockseminar findet am Dienstag, den **6. Februar 2018** in der Uni in CAP4 R.1115 (RTSYS Labor) statt.
231 231  
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 +
232 232  == Ausarbeitung, Vortrag, Review ==
233 233  
234 234  Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -37814306
1 +28672307
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/37814306/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