Changes for page 2017/18 Synchrone Sprachen
Last modified by Richard Kreissig on 2025/01/30 11:55
<
>
edited by Alexander Schulz-Rosengarten
on 2017/07/24 11:03
on 2017/07/24 11:03
edited by Alexander Schulz-Rosengarten
on 2017/08/11 10:47
on 2017/08/11 10:47
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
-
... ... @@ -78,13 +78,13 @@ 78 78 Yip, E.; Kuo, M.; Roop. P. S., Broman, D., [[Relaxing the Synchronous Approach for Mixed-Criticality Systems>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6925993||shape="rect"]], Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014. 79 79 80 80 (% style="margin-left: 30.0px;" %) 81 -Mendler, M, Roop, PS & Bodin, B 2016, [[A Novel WCET semantics of Synchronous Programs>>url:http://www.research.ed.ac.uk/portal/files/26473689/main.pdf||shape="rect"]]. In Formal Modeling and Analysis of Timed Systems: 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016). Lecture Notes in Computer Science (LNCS), vol. 9884, Springer International Publishing, pp. 195-210. DOI: 10.1007/978-3-319-44878-7_12 81 +**Niklas Rentz:** Mendler, M, Roop, PS & Bodin, B 2016, [[A Novel WCET semantics of Synchronous Programs>>url:http://www.research.ed.ac.uk/portal/files/26473689/main.pdf||shape="rect"]]. In Formal Modeling and Analysis of Timed Systems: 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016). Lecture Notes in Computer Science (LNCS), vol. 9884, Springer International Publishing, pp. 195-210. DOI: 10.1007/978-3-319-44878-7_12 82 82 83 83 (% style="margin-left: 30.0px;" %) 84 84 (% class="text-black navigate" %)**Philip Eumann:** Timothy Bourke(%%), (% class="text-black navigate" %)Lélio Brun(%%), (% class="text-black navigate" %)Pierre-Evariste Dagand(%%), (% class="text-black navigate" %)Xavier Leroy(%%), (% class="text-black navigate" %)Marc Pouzet(%%), (% class="text-black navigate" %)Lionel Rieg. (%%)[[(% class="text-black navigate" %)A formally verified compiler for Lustre>>url:http://dl.acm.org/ft_gateway.cfm?id=3062358&ftid=1881521&dwn=1&CFID=781648530&CFTOKEN=67078311||shape="rect"]](%%). In (% class="link-text" %)PLDI 2017(%%), Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation Pages 586-60 85 85 86 86 (% style="margin-left: 30.0px;" %) 87 -(% class="text-black navigate" %)Gesell, M.; Schneider, K., [[Modular verification of synchronous programs>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6598342||shape="rect"]], Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013 87 +(% class="text-black navigate" %)**Sören Domrös**: Gesell, M.; Schneider, K., [[Modular verification of synchronous programs>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6598342||shape="rect"]], Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013 88 88 89 89 (% style="margin-left: 30.0px;" %) 90 90 (% class="text-black navigate" %)Shaver, C.; Lee, E.A., [[The coroutine model of computation>>url:http://chess.eecs.berkeley.edu/pubs/902/coroutineModelsWithProof.pdf||shape="rect"]], Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. (% class="text-black navigate MIME-application MIME--pdf external-link" %)PDF hier(% class="text-black navigate" %).
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -3 11624101 +33259521 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/3 1162410/WS17/18 (Synchrone Sprachen)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33259521/WS17/18 (Synchrone Sprachen)