Fischmeister, S. ., Sokolsky, O. ., & Lee, I. . (2007). A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Transactions on Computers, 56, 1505-1519. https://doi.org/10.1109/TC.2007.70747 (Original work published 2007)
Reference keyword: network code
Anand, M. ., Fischmeister, S. ., Lee, I. ., & Phan, L. T. X. (2012). State-based scheduling with tree schedules: analysis and evaluation. Real-Time Systems, 48, 430-462. https://doi.org/10.1007/s11241-012-9151-3
Fischmeister, S. ., & Azim, A. . (2010). Design Choices for High-Confidence Distributed Real-time Software. Proc. Of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 327-342. Heraclion, Crete, Greece. https://doi.org/10.1007/978-3-642-16561-0_32 (Original work published 2024)
Anand, M. ., Fischmeister, S. ., Hur, Y. ., Kim, J. ., & Lee, I. . (2010). Generating Reliable Code from Hybrid-Systems Models. IEEE Transactions on Computers, 59, 1281-1294. https://doi.org/10.1109/TC.2010.84 (Original work published 2024)
Potop-Butucaru, D. ., Azim, A. ., & Fischmeister, S. . (2010). Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures. Proc. Of the International Conference on Embedded Software (EMSOFT), 199-208. Scottsdale, Arizona, USA. https://doi.org/10.1145/1879021.1879048 (Original work published 2024)