Page History

...

D. Li, Z. Zhai, Z. Pang, V. Vyatkin and C. Liu, Synchronous-reactive Semantic Modelling and Verification for Function Block Networks, in IEEE Transactions on Industrial Informatics

[vergeben] Friedrich Gretz, Franz-Josef Grosch, Blech, Imperative Synchronous Programming!, 2018 Forum on Specification & Design Languages (FDL 2018)

Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet, Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore, 2018 Forum on Specification & Design Languages (FDL 2018)

[vergeben] Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien DeAntoni, Time in SCCharts, 2018 Forum on Specification & Design Languages (FDL 2018)

[vergeben] Francisco Sant' Anna, Roberto Ierusalimschy, and Noemi Rodriguez. 2015. Structured synchronous reactive programming with Céu. In Proceedings of the 14th International Conference on Modularity (MODULARITY 2015).

[vergeben] A. Graillat, M. Moy, P. Raymond and B. D. de Dinechin, Parallel code generation of synchronous programs for a many-core architecture, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)

[vergeben] Colin Vidal, Gérard Berry, Manuel Serrano. Hiphop.js: a language to orchestrate web applica-tions. SAC: Symposium on Applied Computing, Apr 2018

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, and Alexander Schramm. 2018. TeSSLa: runtime verification of non-synchronized real-time streams. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC '18)

[vergeben] Heinzcmann, C., & Lange, R. vTSL-A Formally Verifiable DSL for Specifying Robot Tasks. In 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

...

Laure Gonnord and Sébastien Mosser. 2018. Practicing domain-specific languages: from code to models. In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (MODELS '18)

Fatma Jebali and Dumitru Potop-Butucaru , Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators, 2018 18th International Conference on Application of Concurrency to System Design (ACSD)

Thomas Carle, Manel Djemal, Daniela Genius, Franc ̧ois Pêcheux, Dumitru Potop Butucaru,Robert de Simone, Franck Wajsbürt, Zhen Zhang, Reconciling performance and predictability on a many-core through off-line mapping, 2014 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC)

[vergeben] Pascal RaymondEmail, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae, Timing analysis enhancement for synchronous program, Real-Time Systems (2015)

[vergeben] Reinhard Budde, Axel Poigné, Karl-Heinz Sylla, synERJY An Object-oriented Synchronous Language, Electronic Notes in Theoretical Computer Science, Volume 153, Issue 4

[vergeben] Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon. 2018. Reactive chatbot programming. In Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2018)

Chadlia Jerad, Edward A. Lee, Deterministic Timing for the Industrial Internet of Things, 2018 IEEE International Conference on Industrial Internet (ICII)

Vince Molnár, Bence Graics, András Vörös, István Majzik, and Dániel Varró. 2018. The Gamma statechart composition framework: Design, verification and code generation for component-based reactive systems. In Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings (ICSE '18).

Master Empfehlung

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. Runtime enforcement of reactive systems using synchronous enforcers. In CoRR, vol. abs/1612.05030, 2016.

[vergeben] Bourke T., Colaço JL., Pagano B., Pasteur C., Pouzet M. (2015) A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. In: Franke B. (eds) Compiler Construction. CC 2015. Lecture Notes in Computer Science, vol 9031. Springer, Berlin, Heidelberg

...

Gamatié, A.; Gonnord, L., Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems, Conference on Languages, Compilers and Tools for Embedded Systems (ACM SIGPLAN/SIGBED), LCTES 2011:71-80.

[vergeben] Partha S. Roop, Hammond A. Pearce, Keyan Monadjem, Synchronous neural networks for cyber-physical systems, 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

...

Spencer P. Florence, Shu-Hung You, Jesse A. Tov, and Robert Bruce Findler. 2019. A Calculus for Esterel: “If can, can. If no can, no can.” —Hawaiian pidgin proverb. Proc. ACM Program. Lang.3, POPL,Article 61 (January 2019),

[vergeben] Anoop Bhagyanath, Tripti Jain, and Klaus Schneider, Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures, MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen"

...

Yu Bai, Desynchronization: From Macro-step to Micro-step, 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, and Alexander Schramm. 2018. TeSSLa: runtime verification of non-synchronized real-time streams. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC '18)

[vergeben] Fatma Jebali and Dumitru Potop-Butucaru , Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators, 2018 18th International Conference on Application of Concurrency to System Design (ACSD)

Thomas Carle, Manel Djemal, Daniela Genius, Franc ̧ois Pêcheux, Dumitru Potop Butucaru, Robert de Simone, Franck Wajsbürt, Zhen Zhang, Reconciling performance and predictability on a many-core through off-line mapping, 2014 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC)

Termine

Agenda des Blockseminars (Vorläufig)

Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars stattfinden. Die Teilnahme an beiden Seminartagen am Seminartag ist Pflicht.

...

...

Ausarbeitung, Vortrag, Review

...

Die Ausarbeitung soll eine Übersicht über das behandelte Themengebiet darstellen. Sie sollte so verfasst sein, dass sie von einer fortgeschrittenen Bachelor-Informatik-Person gut verstanden werden kann. Die Ausarbeitung soll 6 (Master) bzw. 4 (Bachelor) Seiten umfassen, nicht mehr und nicht weniger, und den ACM LaTeX-Style verwenden (dazu mehr Details weiter unten). Für mögliche Vorlagen zu den Ausarbeitungen siehe die Proceedings der früheren Seminare, die Sie bei uns am Lehrstuhl einsehen können. Auch Generell empfehlenswert ist ein Blick in die Hinweise für die Anfertigung einer Abschlussarbeit.

Vortrag

Der Vortrag soll 35-40 Minuten (Master) bzw. 20-25 Minuten (Bachelor) lang sein, woran sich 5 Minuten Zeit für Fragen anschließen. Zu dem Vortrag sollen Folien erstellt werden. Die Vortragsfolien sollten Seitennummern enthalten. Sollte das Thema auch eine konkrete Implementierung behandeln, ist eine entsprechende kurze Tool-Demo im Rahmen des Vortrages großartig. Die Arbeitsgruppe bietet jeder vortragenden Person an, eine Videoaufnahme des Vortrags zu erstellen und zur Verfügung zu stellen.

Die Wahl eines geeigneten Präsentationstools ist frei. Bei der Besprechung der Vortragsfolien und dem Vortag beim Blocksemiar sollte daher der eigene Rechner genutzt werden. Wenn die Präsentation vorher als PDF per Mail an einen Betreuer geschickt wird, dann kann ein vorhandener Rechner genutzt werden.
Falls Online-Tools genutzt werden, sei darauf hingewiesen, dass beim Blockseminar in Falckenstein kein WLAN Zugang zur Verfügung steht. Der Vortrag muss daher auch offline gehalten werden können.

Review

Ein Review einer Ausarbeitung besteht aus folgenden zwei Komponenten:

1. Generelle Anmerkungen (was gefällt Ihnen / gefällt Ihnen nicht zu Inhalt, Gliederung und Lesbarkeit) sowie generelle Verbesserungsvorschläge
2. Detailliertere Korrekturen

Vom Umfang sollte das Review (1. Teil) mindestens einer halben A4 Seite entsprechen. In dem Review-Fomular von EasyCair können keine Dateien angehängt werden, es kann also kein annotiertes pdf als Detail-Korrektur angehängt werden.
Die Zuordnung von Papern zu Reviewenden geschieht kurzfristig nach dem Abgabetermin für die Review-Versionen der Ausarbeitungen, basierend auf den dann abgegebenen Ausarbeitungen.

...

Unser Seminar findet ihr im EasyChair-System hier. StatuscolourYellowtitletodo: link

...