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/08/11 10:47
on 2017/08/11 10:47
edited by Alexander Schulz-Rosengarten
on 2017/10/04 10:56
on 2017/10/04 10:56
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,13 +58,13 @@ 58 58 59 59 60 60 (% class="bodytext" style="margin-left: 30.0px;" %) 61 -Sun, W.-T.; Salcic, Z.; Malik, A., [[LibGALS: a library for GALS systems design and modeling>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=05419912||shape="rect"]], Proceedings of the 15th Asia South Pacific Design Automation Conference (ASP-DAC)2010:107-112. 61 +**Florian Scheurer:** Sun, W.-T.; Salcic, Z.; Malik, A., [[LibGALS: a library for GALS systems design and modeling>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=05419912||shape="rect"]], Proceedings of the 15th Asia South Pacific Design Automation Conference (ASP-DAC)2010:107-112. 62 62 63 63 (% class="bodytext" style="margin-left: 30.0px;" %) 64 64 **Lars Viertel:** Magara, A.; Salvaneschi, G., [[Ways to react: comparing reactive languages and complex event processing>>url:http://soft.vub.ac.be/REM13/papers/rem20130_submission_5.pdf||shape="rect"]], 1st Workshop on Reactivity, Events and Modularity (REM'13). 2013. 65 65 66 66 (% class="bodytext" style="margin-left: 30.0px;" %) 67 -Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., [[Coordinating multiple administration loops using discrete control>>url:http://dl.acm.org/citation.cfm?id=2553074||shape="rect"]] (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25. 67 +**Dennis Pehlke:** Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., [[Coordinating multiple administration loops using discrete control>>url:http://dl.acm.org/citation.cfm?id=2553074||shape="rect"]] (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25. 68 68 69 69 (% class="bodytext" style="margin-left: 30.0px;" %) 70 70 Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., [[Constructive Polychronous Systems>>url:https://www.irisa.fr/prive/talpin/papers/scp14a.pdf||shape="rect"]], Logical Foundations of Computer Science. vol. 7734, 2013. ... ... @@ -72,7 +72,7 @@ 72 72 === Master Empfehlung === 73 73 74 74 (% style="margin-left: 30.0px;" %) 75 -Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. [[Runtime enforcement of reactive systems using synchronous enforcers>>url:https://arxiv.org/pdf/1612.05030.pdf||shape="rect"]]. In //CoRR//, vol. abs/1612.05030, 2016. 75 +**Jan Reese**: Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. [[Runtime enforcement of reactive systems using synchronous enforcers>>url:https://arxiv.org/pdf/1612.05030.pdf||shape="rect"]]. In //CoRR//, vol. abs/1612.05030, 2016. 76 76 77 77 (% style="margin-left: 30.0px;" %) 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.
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -332595 211 +33259695 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/332595 21/WS17/18 (Synchrone Sprachen)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33259695/WS17/18 (Synchrone Sprachen)