...
Spencer P. Florence, Shu-Hung You, Jesse A. Tov, and Robert Bruce Findler. 2019. A Calculus for Esterel: “If can, can. If no can, no can.” —Hawaiian pidgin proverb. Proc. ACM Program. Lang.3, POPL,Article 61 (January 2019),
Anoop Bhagyanath, Tripti Jain, and Klaus Schneider, Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures, MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
...
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, and Alexander Schramm. 2018. TeSSLa: runtime verification of non-synchronized real-time streams. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC '18)
Fatma Jebali and Dumitru Potop-Butucaru , Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators, 2018 18th International Conference on Application of Concurrency to System Design (ACSD)
...