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
Reference keyword: network code
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 2025)
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 2025)
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 2025)
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)