Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
<
From version < 13.1 >
edited by Alexander Schulz-Rosengarten
on 2022/06/14 15:07
To version < 16.1 >
edited by Jette Petzold
on 2022/06/16 10:08
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.als
1 +XWiki.jep
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,6 +70,30 @@
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 +
73 73  === Master Recommendations ===
74 74  
75 75  (% style="margin-left: 30.0px;" %)
... ... @@ -98,16 +98,18 @@
98 98  (% style="color: rgb(0,51,102);" %)Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 447-457.
99 99  
100 100  (% style="margin-left: 30.0px;" %)
101 -(% style="color: rgb(0,51,102);" %)Arne Hamann, Dakshina Dasari, Jorge Martinez, and Dirk Ziegenbein. 2018. [[Response Time Analysis for Fixed Priority Servers>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273927||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 254-264.
125 +(% 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.
102 102  
127 +\\
128 +
103 103  (% style="margin-left: 30.0px;" %)
104 -(% 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.
130 +(% 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
105 105  
106 106  (% style="margin-left: 30.0px;" %)
107 107  \\
108 108  
109 109  (% style="margin-left: 30.0px;" %)
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
136 +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//)
111 111  {{/expand}}
112 112  
113 113  = Schedule =
... ... @@ -122,25 +122,25 @@
122 122  Milestone
123 123  )))
124 124  |(((
125 -tbd
151 +Mo., 24.10., 12:00
126 126  )))|(((
127 127  First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
128 128  )))
129 129  |(% colspan="1" %)(% colspan="1" %)
130 130  (((
131 -tbd
157 +Mo., 24.10., 23:59
132 132  )))|(% colspan="1" %)(% colspan="1" %)
133 133  (((
134 134  Deadline for topic selection (via email to Jette).
135 135  )))
136 136  |(((
137 -tbd
163 +Mo., 14.11., 23:59
138 138  )))|(((
139 139  (% style="color: rgb(23,43,77);" %)Deadline of the first draft in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem20ws||shape="rect"]](%%). This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work.
140 140  )))
141 141  |(% colspan="1" %)(% colspan="1" %)
142 142  (((
143 -tbd
169 +(% style="color: rgb(23,43,77);" %)In week of above, individual dates
144 144  )))|(% colspan="1" %)(% colspan="1" %)
145 145  (((
146 146  Individual feedback dates.
... ... @@ -147,7 +147,7 @@
147 147  )))
148 148  |(% colspan="1" %)(% colspan="1" %)
149 149  (((
150 -tbd
176 +Mo., 12.12., 23:59
151 151  )))|(% colspan="1" %)(% colspan="1" %)
152 152  (((
153 153  (% style="color: rgb(23,43,77);" %)Deadline of the first full version (%%)(submission update in(% style="color: rgb(23,43,77);" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem20ws||shape="rect"]](%%))
... ... @@ -154,7 +154,7 @@
154 154  )))
155 155  |(% colspan="1" %)(% colspan="1" %)
156 156  (((
157 -tbd
183 +(% style="color: rgb(23,43,77);" %)In week of above, individual dates
158 158  )))|(% colspan="1" %)(% colspan="1" %)
159 159  (((
160 160  (% style="color: rgb(23,43,77);" %)Individual feedback dates.
... ... @@ -161,7 +161,7 @@
161 161  )))
162 162  |(% colspan="1" %)(% colspan="1" %)
163 163  (((
164 -tbd
190 +Mo., 09.01., 23:59
165 165  )))|(% colspan="1" %)(% colspan="1" %)
166 166  (((
167 167  (% style="color: rgb(23,43,77);" %)Deadline of the review version(%%) (submission update in(% style="color: rgb(23,43,77);" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem20ws||shape="rect"]](%%)) and admission to program committee (invitation via email)
... ... @@ -176,7 +176,7 @@
176 176  )))
177 177  |(% colspan="1" %)(% colspan="1" %)
178 178  (((
179 -tbd
205 +Mo., 16.01., 23:59
180 180  )))|(% colspan="1" %)(% colspan="1" %)
181 181  (((
182 182  (% style="color: rgb(23,43,77);" %)Deadline reviews(%%) (in(% style="color: rgb(23,43,77);" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem20ws||shape="rect"]](%%))**
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -130678789
1 +130678797
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/130678789/WS22/23 (Synchronous Languages)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/130678797/WS22/23 (Synchronous Languages)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage