Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
<
From version < 27.1 >
edited by Reinhard von Hanxleden
on 2022/06/20 08:59
To version < 29.1 >
edited by Jette Petzold
on 2022/08/11 13:08
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.rvh
1 +XWiki.jep
Content
... ... @@ -47,7 +47,7 @@
47 47  (% 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.
48 48  
49 49  (% style="margin-left: 30.0px;" %)
50 -(% style="color: rgb(51,51,51);" %)Francisco Sant’Anna, [[Structured Synchronous Reactive Programming for Game Development - Case Study: On Rewriting Pingus from C++ to Céu>>url:https://ieeexplore.ieee.org/abstract/document/8636899||shape="rect"]], //2018 17th Brazilian Symposium on Computer Games and Digital Entertainment (SBGames)//, 2018, pp. 240-24009
50 +(% style="color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(51,51,51);" %)Francisco Sant’Anna, [[Structured Synchronous Reactive Programming for Game Development - Case Study: On Rewriting Pingus from C++ to Céu>>url:https://ieeexplore.ieee.org/abstract/document/8636899||shape="rect"]], //2018 17th Brazilian Symposium on Computer Games and Digital Entertainment (SBGames)//, 2018, pp. 240-24009
51 51  
52 52  (% style="margin-left: 30.0px;" %)
53 53  (% 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.
... ... @@ -59,7 +59,7 @@
59 59  (% 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
60 60  
61 61  (% style="margin-left: 30.0px;" %)
62 -(% 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.
62 +(% style="color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned]** (% 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.
63 63  
64 64  (% style="margin-left: 30.0px;" %)
65 65  (% 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.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -131498010
1 +136183973
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/131498010/WS22/23 (Synchronous Languages)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/136183973/WS22/23 (Synchronous Languages)