Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
<
From version < 14.1 >
edited by Alexander Schulz-Rosengarten
on 2022/06/14 15:44
To version < 13.1 >
edited by Alexander Schulz-Rosengarten
on 2022/06/14 15:07
>
Change comment: Removed paper already assigned in last edition

Summary

Details

Page properties
Content
... ... @@ -59,7 +59,7 @@
59 59  (% style="color: rgb(51,51,51);" %)Saranya Natarajan and David Broman, [[Timed C: An Extension to the C Programming Language for Real-Time Systems>>url:https://ieeexplore.ieee.org/document/8430085||shape="rect"]], //2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)//, 2018, pp. 227-239
60 60  
61 61  (% style="margin-left: 30.0px;" %)
62 -(% style="color: rgb(51,51,51);" %)Suzanne Elashri and Akramul Azim, [[Energy-efficient offloading of real-time tasks using cloud computing>>url:https://link.springer.com/article/10.1007/s10586-020-03086-2||shape="rect"]], //Cluster Comput// 23**, **3273–3288 (2020)
62 +(% style="color: rgb(51,51,51);" %)Suzanne Elashri and Akramul Azim, [[Energy-efficient offloading of real-time tasks using cloud computing>>url:https://link.springer.com/article/10.1007/s10586-020-03086-2||shape="rect"]], //Cluster Comput// **23, **3273–3288 (2020)
63 63  
64 64  (% style="margin-left: 30.0px;" %)
65 65  (% style="color: rgb(51,51,51);" %)Hadi Alizadeh Ara, Marc Geilen, Amir Behrouzian, and Twan Basten. 2018. [[Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models>>url:https://dl.acm.org/doi/10.1145/3273905.3273921||shape="rect"]]. In (% style="color: rgb(51, 51, 51); text-align: left" %)//Proceedings of the 26th International Conference on Real-Time Networks and Systems//(% style="color: rgb(51,51,51);" %) ((% style="color: rgb(51, 51, 51); text-align: left" %)//RTNS '18//(% style="color: rgb(51,51,51);" %)). Association for Computing Machinery, New York, NY, USA, 265–275.
... ... @@ -70,30 +70,6 @@
70 70  (% style="margin-left: 30.0px;" %)
71 71  (% style="color: rgb(51,51,51);" %)Joaquin Aguado and Alejandra Duenas, [[Synchronised Shared Memory and Model Checking: A Proof of Concept>>url:https://ieeexplore.ieee.org/abstract/document/9568373||shape="rect"]], //2021 Forum on specification & Design Languages (FDL)//, 2021, pp. 01-08
72 72  
73 -(% style="margin-left: 30.0px;" %)
74 -(% style="color: rgb(51,51,51);" %)**new2:**
75 -
76 -(% style="margin-left: 30.0px;" %)
77 -(% style="color: rgb(51,51,51);" %)M. Lohstroh, C. Menard, A. Schulz-Rosengarten, M. Weber, J. Castrillon and E. A. Lee, [[A Language for Deterministic Coordination Across Multiple Timelines>>url:https://ieeexplore.ieee.org/document/9232939||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020
78 -
79 -(% style="margin-left: 30.0px;" %)
80 -(% style="color: rgb(51,51,51);" %)S. A. Edwards and J. Hui, [[The Sparse Synchronous Model>>url:https://ieeexplore.ieee.org/document/9232938||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232938.
81 -
82 -(% style="margin-left: 30.0px;" %)
83 -(% style="color: rgb(51,51,51);" %)F. Gretz, F. -J. Grosch, M. Mendler and S. Scheele, [[Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech>>url:https://ieeexplore.ieee.org/document/9232942||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232942.
84 -
85 -(% style="margin-left: 30.0px;" %)
86 -(% style="color: rgb(51,51,51);" %)L. Grimm, S. Smyth, A. Schulz-Rosengarten, R. von Hanxleden and M. Pouzet, [[From Lustre to Graphical Models and SCCharts>>url:https://ieeexplore.ieee.org/document/9232944||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232944.
87 -
88 -(% style="margin-left: 30.0px;" %)
89 -(% style="color: rgb(51,51,51);" %)J. Deantoni, J. Cambeiro, S. Bateni, S. Lin and M. Lohstroh, [[Debugging and Verification Tools for Lingua Franca in Gemoc Studio>>url:https://ieeexplore.ieee.org/document/9568383||shape="rect"]], //2021 Forum on specification & Design Languages (FDL)//, 2021, pp. 01-08, doi: 10.1109/FDL53530.2021.9568383.
90 -
91 -(% style="margin-left: 30.0px;" %)
92 -Francisco Sant'Anna, Rodrigo Santos, and Noemi Rodriguez. 2021. [[Symmetric distributed applications>>url:https://dl.acm.org/doi/10.1145/3486605.3486786||shape="rect"]]. //Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems//. Association for Computing Machinery.
93 -
94 -(% style="margin-left: 30.0px;" %)
95 -Y. Bai, O. Rafique and K. Schneider, [[A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications>>url:https://ieeexplore.ieee.org/document/9474190||shape="rect"]], //2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, 2021
96 -
97 97  === Master Recommendations ===
98 98  
99 99  (% style="margin-left: 30.0px;" %)
... ... @@ -127,16 +127,11 @@
127 127  (% style="margin-left: 30.0px;" %)
128 128  (% style="color: rgb(0,51,102);" %)Guillaume Brau, Nicolas Navet, and Jérôme Hugues. 2017. [[Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139281||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 168-177.
129 129  
130 -\\
131 -
132 132  (% style="margin-left: 30.0px;" %)
133 -(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %)Zain A. H. Hammadeh, Sophie Quinton, and Rolf Ernst. 2019. [[Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks>>url:https://dl.acm.org/doi/10.1145/3356865||shape="rect"]], (% style="color: rgb(0, 51, 102); text-align: left" %)//ACM Trans. Embed. Comput. Syst.//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) 18, 6, Article 121 (November 2019), 25 pages
134 -
135 -(% style="margin-left: 30.0px;" %)
136 136  \\
137 137  
138 138  (% style="margin-left: 30.0px;" %)
139 -Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin. 2020. [[Reactive probabilistic programming>>url:https://dl.acm.org/doi/10.1145/3385412.3386009||shape="rect"]]. In //Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation// (//PLDI 2020//)
110 +(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %)Zain A. H. Hammadeh, Sophie Quinton, and Rolf Ernst. 2019. [[Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks>>url:https://dl.acm.org/doi/10.1145/3356865||shape="rect"]], (% style="color: rgb(0, 51, 102); text-align: left" %)//ACM Trans. Embed. Comput. Syst.//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) 18, 6, Article 121 (November 2019), 25 pages
140 140  {{/expand}}
141 141  
142 142  = Schedule =
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -130678791
1 +130678789
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/130678791/WS22/23 (Synchronous Languages)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/130678789/WS22/23 (Synchronous Languages)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage