References

Rehman, A., Oliveira, A., Tripunitara, M., & Fischmeister, S. (2014). The use of mTags for mandatory security: a case study Software: Practice and Experience, 44, 1511-1523. https://doi.org/10.1002/spe.2222

Medhat, R., Kumar, D., Bonakdarpour, B., & Fischmeister, S. (2014). Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems ACM/IEEE/International/Conference/on/Cyber-Physical/Systems/(ICCPS), 115-126. Berlin, Germany: IEEE. https://doi.org/10.1109/ICCPS.2014.6843716

Wu, W., Kumar, D., Bonakdarpour, B., & Fischmeister, S. (2013). Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques Presented at the Proc. Of the International Conference on Runtime Verification (RV) conference. (Original work published 2026)

Berkovich, S., Bonakdarpour, B., & Fischmeister, S. (2013). GPU-based Runtime Verification Presented at the IEEE International Parallel & Distributed Processing Symposium (IPDPS) conference. (Original work published 2026)

Anand, M., Fischmeister, S., & Lee, I. (2013). A Comparison of Compositional Schedulability Analysis Techniques for Hierarchical Real-time Systems ACM Transactions on Embedded Computing Systems, 13, 1-37. https://doi.org/10.1145/2501626.2501629 (Original work published 2026)

Navabpour, S., Joshi, Y., Wallace, C. W., Berkovich, S., Medhat, R., Bonakdarpour, B., & Fischmeister, S. (2013). RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs Presented at the Proc. Of the ACM Symposium on the Foundations of Software Engineering (FSE) conference. St. Petersburg, Russia.

Kashif, H., Arafa, P., & Fischmeister, S. (2013). INSTEP: A Static Instrumentation Framework for Preserving Extra-functional Properties Presented at the Proc. Of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) conference. Taipei, Taiwan. (Original work published 2026)

Carvajal, G., Figueroa, M., Trausmuth, R., & Fischmeister, S. (2013). Atacama: An Open FPGA-based Platform for Mixed-Criticality Communication in Multi-segmented Ethernet Networks Proc. Of the 21st IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM), 121-128. https://doi.org/10.1109/FCCM.2013.54 (Original work published 2026)

Gracioli, G., Fröhlich, A. A., Pellizzoni, R., & Fischmeister, S. (2013). Implementation and Evaluation of Global and Partitioned Scheduling in a Real-Time OS Real-Time Systems, 1-46. https://doi.org/10.1007/s11241-013-9183-3

Oliveira, A., Fischmeister, S., Diwan, A., Hauswirth, M., & Sweeney, P. (2013). Why You Should Care About Quantile Regression Presented at the Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) conference. Houston, USA. (Original work published 2026)