Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 59.1 >
edited by Alexander Schulz-Rosengarten
on 2018/01/29 12:41
To version < 59.3 >
edited by Alexander Schulz-Rosengarten
on 2023/07/11 10:17
>
Change comment: Update document after refactoring.

Summary

Details

Page properties
Parent
... ... @@ -1,0 +1,1 @@
1 +Seminars.WebHome
Tags
... ... @@ -1,0 +1,1 @@
1 +favourite
Content
... ... @@ -228,16 +228,22 @@
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 -37814325
1 +28672307
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/37814325/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