...
Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., "Coordinating multiple administration loops using discrete control" (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25. PDF hier.
Gesell, M.; Schneider, K., "Modular verification of synchronous programs", Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013, PDF hier.
Shaver, C.; Lee, E.A., "The coroutine model of computation", Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. PDF hier. Die Bearbeitung dieses Themas sollte sich auch mit ev. aktuellen Weiterentwicklungen beschäftigen, siehe z.B. den Vortrag von Chris Shaver beim Synchronworkshop 2013: Slides und die Homepage des Autors.
...
Mendler, M, Roop, PS & Bodin, B 2016, A Novel WCET semantics of Synchronous Programs. 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
Timothy Bourke, Lélio Brun, Pierre-Evariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg. A formally verified compiler for Lustre. In PLDI 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation Pages 586-60
Gesell, M.; Schneider, K., "Modular verification of synchronous programs", Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013
Termine
Vorläufige Terminplanung
...