Changes for page 2023 Embedded Real-Time Systems
Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:01
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -58,7 +58,7 @@ 58 58 (% style="letter-spacing: 0px; color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="letter-spacing: 0.0px;" %)Yecheng Zhao and Haibo Zeng. [[Optimization techniques for time-critical cyber-physical systems>>url:https://dl.acm.org/doi/10.1145/3313151.3313168||shape="rect"]]. In //Proceedings of the Workshop on Design Automation for CPS and IoT// (//DESTION '19//). Association for Computing Machinery, New York, NY, USA, 2019 59 59 60 60 (% style="margin-left: 30.0px;" %) 61 -Saranya Natarajan and David Broman, [[Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics>>url:https://ieeexplore.ieee.org/document/9232935||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//(% style="color: rgb(51,51,51);" %), 2020 61 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(%%)Saranya Natarajan and David Broman, [[Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics>>url:https://ieeexplore.ieee.org/document/9232935||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//(% style="color: rgb(51,51,51);" %), 2020 62 62 63 63 (% style="margin-left: 30.0px;" %) 64 64 (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(%%)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. ... ... @@ -89,7 +89,7 @@ 89 89 90 90 91 91 (% style="margin-left: 30.0px;" %) 92 -(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)L. Apvrille and L. W. Li. [[Harmonizing safety, security and performance requirements in embedded systems.>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8715124||shape="rect"]]. In (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); text-align: left" %)//2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), pp. 1631-1636. IEEE, 2019. 92 +(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)L. Apvrille and L. W. Li. [[Harmonizing safety, security and performance requirements in embedded systems.>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8715124||shape="rect"]]. In (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102); text-align: left" %)//2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), pp. 1631-1636. IEEE, 2019. 93 93 94 94 (% style="color: rgb(23,43,77);" %) 95 95 === Master Recommendations (not yet complete list, more to follow) ===
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -14260658 61 +142606587 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/14260658 6/SS23 (Embedded Real-Time Systems)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606587/SS23 (Embedded Real-Time Systems)