References

Carvajal, G., Wu, C. W. W., & Fischmeister, S. (2012). Evaluation of Communication Architectures for Switched Real-time Ethernet IEEE Transactions on Computers. https://doi.org/10.1109/TC.2012.177

Chen, X., Azim, A., Liu, X., & Fischmeister, S. (2012). CSS: Conditional State-Based Scheduling for Networked Control Systems International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 78-87. Seoul, Korea. https://doi.org/10.1109/RTCSA.2012.13

Oliveira, A., Rehman, A. S. U., & Fischmeister, S. (2012). mTags: Augmenting Microkernel Messages with Lightweight Metadata ACM Operating Systems Review, 46, 67-79. https://doi.org/10.1145/2331576.2331587

Navabpour, S., Bonakdarpour, B., & Fischmeister, S. (2012). Path-aware Time-triggered Runtime Verification Third International Conference on Runtime Verification (RV), 199-213. Istanbul, Turkey. Retrieved from http://link.springer.com/chapter/10.1007/978-3-642-35632-2_21 (Original work published 2026)

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

Kashif, H., & Fischmeister, S. (2012). Program Transformation for Time-aware Instrumentation Proc. Of the 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA), 1-8. Krakow, Poland. https://doi.org/10.1109/ETFA.2012.6489580 (Original work published 2026)

Azim, A., & Fischmeister, S. (2011). Resolving State Inconsistency in Distributed Fault-Tolerant Real-Time Dynamic TDMA Architectures Proc. Of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 1-9. Toulouse, France. https://doi.org/10.1109/ETFA.2011.6059022 (Original work published 2026)

Bonakdarpour, B., & Fischmeister, S. (2011). Runtime Monitoring of Time-sensitive Systems —- Tutorial Supplement Presented at the Proc. Of the 2nd International Conference on Runtime Verification (RV) conference. San Francisco, USA.

Bonakdarpour, B., Navabpour, S., & Fischmeister, S. (2011). Sampling-based Runtime Verification Proceedings of the 17th International Conference on Formal Methods (FM), 88-102. Limerick, Ireland. https://doi.org/10.1007/978-3-642-21437-0_9 (Original work published 2026)

Navabpour, S., Wu, C. W. W., Bonakdarpour, B., & Fischmeister, S. (2011). Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification Proc. Of the 2nd International Conference on Runtime Verification (RV), 208-222. San Francisco, USA. https://doi.org/10.1007/978-3-642-29860-8_16 (Original work published 2026)