Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 58.1 >
edited by Alexander Schulz-Rosengarten
on 2018/01/29 12:41
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
... ... @@ -224,20 +224,26 @@
224 224  
225 225  == Agenda des Blockseminars ==
226 226  
227 -Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme an beiden 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 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 230  
231 -(% class="wrapped relative-table" style="width: 71.1723%;" %)
231 +(% class="wrapped relative-table" style="width: 51.0167%;" %)
232 232  |=(((
233 233  Zeit
234 234  )))|=(((
235 235  Tagesordnungspunkt
236 +)))|=(% colspan="1" %)(% colspan="1" %)
237 +(((
238 +\\
236 236  )))
237 237  |(((
238 238  8:20
239 239  )))|(((
240 240  //Begrüßung//
244 +)))|(% colspan="1" %)(% colspan="1" %)
245 +(((
246 +\\
241 241  )))
242 242  |(% colspan="1" %)(% colspan="1" %)
243 243  (((
... ... @@ -245,6 +245,9 @@
245 245  )))|(% colspan="1" %)(% colspan="1" %)
246 246  (((
247 247  LibGALS: A library for GALS systems design and modeling
254 +)))|(% colspan="1" %)(% colspan="1" %)
255 +(((
256 +Florian Scheurer
248 248  )))
249 249  |(% colspan="1" %)(% colspan="1" %)
250 250  (((
... ... @@ -252,6 +252,9 @@
252 252  )))|(% colspan="1" %)(% colspan="1" %)
253 253  (((
254 254  Java Embedded Processors specialized for GALS Programs
264 +)))|(% colspan="1" %)(% colspan="1" %)
265 +(((
266 +Dennis Smolka
255 255  )))
256 256  |(% colspan="1" %)(% colspan="1" %)
257 257  (((
... ... @@ -259,6 +259,9 @@
259 259  )))|(% colspan="1" %)(% colspan="1" %)
260 260  (((
261 261  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
262 262  )))
263 263  |(% colspan="1" %)(% colspan="1" %)
264 264  (((
... ... @@ -266,6 +266,9 @@
266 266  )))|(% colspan="1" %)(% colspan="1" %)
267 267  (((
268 268  //Kaffeepause//
284 +)))|(% colspan="1" %)(% colspan="1" %)
285 +(((
286 +\\
269 269  )))
270 270  |(% colspan="1" %)(% colspan="1" %)
271 271  (((
... ... @@ -273,6 +273,9 @@
273 273  )))|(% colspan="1" %)(% colspan="1" %)
274 274  (((
275 275  A Formally Verified Compiler for Lustre
294 +)))|(% colspan="1" %)(% colspan="1" %)
295 +(((
296 +P(% class="text-black navigate" %)hilip Eumann
276 276  )))
277 277  |(% colspan="1" %)(% colspan="1" %)
278 278  (((
... ... @@ -280,6 +280,9 @@
280 280  )))|(% colspan="1" %)(% colspan="1" %)
281 281  (((
282 282  Modular Verification of Synchronous Programs
304 +)))|(% colspan="1" %)(% colspan="1" %)
305 +(((
306 +(% class="text-black navigate" %)Sören Domrös
283 283  )))
284 284  |(% colspan="1" %)(% colspan="1" %)
285 285  (((
... ... @@ -287,6 +287,9 @@
287 287  )))|(% colspan="1" %)(% colspan="1" %)
288 288  (((
289 289  //Mittagessen//
314 +)))|(% colspan="1" %)(% colspan="1" %)
315 +(((
316 +\\
290 290  )))
291 291  |(% colspan="1" %)(% colspan="1" %)
292 292  (((
... ... @@ -294,6 +294,9 @@
294 294  )))|(% colspan="1" %)(% colspan="1" %)
295 295  (((
296 296  Temporal Properties for Neuronal Archetypes using Synchronous Models
324 +)))|(% colspan="1" %)(% colspan="1" %)
325 +(((
326 +Lena Grimm
297 297  )))
298 298  |(% colspan="1" %)(% colspan="1" %)
299 299  (((
... ... @@ -301,6 +301,9 @@
301 301  )))|(% colspan="1" %)(% colspan="1" %)
302 302  (((
303 303  The Dynamic Synchronous Language DSL
334 +)))|(% colspan="1" %)(% colspan="1" %)
335 +(((
336 +Andreas Stange
304 304  )))
305 305  |(% colspan="1" %)(% colspan="1" %)
306 306  (((
... ... @@ -308,6 +308,9 @@
308 308  )))|(% colspan="1" %)(% colspan="1" %)
309 309  (((
310 310  //Kaffeepause//
344 +)))|(% colspan="1" %)(% colspan="1" %)
345 +(((
346 +\\
311 311  )))
312 312  |(% colspan="1" %)(% colspan="1" %)
313 313  (((
... ... @@ -315,6 +315,9 @@
315 315  )))|(% colspan="1" %)(% colspan="1" %)
316 316  (((
317 317  WCET Semantics for Synchronous Programs
354 +)))|(% colspan="1" %)(% colspan="1" %)
355 +(((
356 +Niklas Rentz
318 318  )))
319 319  |(% colspan="1" %)(% colspan="1" %)
320 320  (((
... ... @@ -322,6 +322,9 @@
322 322  )))|(% colspan="1" %)(% colspan="1" %)
323 323  (((
324 324  Relaxing the Synchronous Approach for Mixed-Criticality Systems
364 +)))|(% colspan="1" %)(% colspan="1" %)
365 +(((
366 +Lewe Andersen
325 325  )))
326 326  |(% colspan="1" %)(% colspan="1" %)
327 327  (((
... ... @@ -329,26 +329,38 @@
329 329  )))|(% colspan="1" %)(% colspan="1" %)
330 330  (((
331 331  //Schlusswort//
374 +)))|(% colspan="1" %)(% colspan="1" %)
375 +(((
376 +\\
332 332  )))
333 333  
334 334  **
335 335  **Das zweite Blockseminar findet am Dienstag, den **6. Februar 2018** in der Uni in CAP4 R.1115 (RTSYS Labor) statt.
336 336  
337 -(% class="wrapped relative-table" style="width: 70.9928%;" %)
382 +(% class="wrapped relative-table" style="width: 50.9569%;" %)
338 338  |=(((
339 339  Zeit
340 340  )))|=(((
341 341  Tagesordnungspunkt
387 +)))|=(% colspan="1" %)(% colspan="1" %)
388 +(((
389 +\\
342 342  )))
343 343  |(((
344 344  10:10
345 345  )))|(((
346 346  //Begrüßung//
395 +)))|(% colspan="1" %)(% colspan="1" %)
396 +(((
397 +\\
347 347  )))
348 348  |(((
349 349  10:15
350 350  )))|(((
351 351  Eine Einordnung der Sprache Zélus
403 +)))|(% colspan="1" %)(% colspan="1" %)
404 +(((
405 +Julian Pleines
352 352  )))
353 353  |(% colspan="1" %)(% colspan="1" %)
354 354  (((
... ... @@ -356,6 +356,9 @@
356 356  )))|(% colspan="1" %)(% colspan="1" %)
357 357  (((
358 358  Symbolic Simulation of Dataflow Synchronous Programs with Timers
413 +)))|(% colspan="1" %)(% colspan="1" %)
414 +(((
415 +Lennart Ideler
359 359  )))
360 360  |(% colspan="1" %)(% colspan="1" %)
361 361  (((
... ... @@ -363,6 +363,9 @@
363 363  )))|(% colspan="1" %)(% colspan="1" %)
364 364  (((
365 365  Synchrone Programme für Echtzeitsysteme mittels dynamischer Tickfunktionen
423 +)))|(% colspan="1" %)(% colspan="1" %)
424 +(((
425 +Felix von der Heide
366 366  )))
367 367  |(% colspan="1" %)(% colspan="1" %)
368 368  (((
... ... @@ -370,11 +370,17 @@
370 370  )))|(% colspan="1" %)(% colspan="1" %)
371 371  (((
372 372  Synchronous-Reactive Web Programming
433 +)))|(% colspan="1" %)(% colspan="1" %)
434 +(((
435 +Yannic Borgfeld
373 373  )))
374 374  |(((
375 375  12:15
376 376  )))|(((
377 377  //Mittagessen//
441 +)))|(% colspan="1" %)(% colspan="1" %)
442 +(((
443 +\\
378 378  )))
379 379  |(% colspan="1" %)(% colspan="1" %)
380 380  (((
... ... @@ -382,6 +382,9 @@
382 382  )))|(% colspan="1" %)(% colspan="1" %)
383 383  (((
384 384  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
385 385  )))
386 386  |(% colspan="1" %)(% colspan="1" %)
387 387  (((
... ... @@ -389,6 +389,9 @@
389 389  )))|(% colspan="1" %)(% colspan="1" %)
390 390  (((
391 391  Reactive Languages and Complex Event Processing
461 +)))|(% colspan="1" %)(% colspan="1" %)
462 +(((
463 +Lars Viertel
392 392  )))
393 393  |(% colspan="1" %)(% colspan="1" %)
394 394  (((
... ... @@ -396,6 +396,9 @@
396 396  )))|(% colspan="1" %)(% colspan="1" %)
397 397  (((
398 398  Koordination mehrerer Autonomer Manager
471 +)))|(% colspan="1" %)(% colspan="1" %)
472 +(((
473 +Dennis Pehlke
399 399  )))
400 400  |(% colspan="1" %)(% colspan="1" %)
401 401  (((
... ... @@ -403,6 +403,9 @@
403 403  )))|(% colspan="1" %)(% colspan="1" %)
404 404  (((
405 405  //Schlusswort//
481 +)))|(% colspan="1" %)(% colspan="1" %)
482 +(((
483 +\\
406 406  )))
407 407  
408 408  \\
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -37814323
1 +28672307
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/37814323/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