Berkovich, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2013). GPU-based Runtime Verification. IEEE International Parallel & Distributed Processing Symposium (IPDPS). Presented at the. (Original work published 2024)
Publications
Filter by:
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. Proc. Of the ACM Symposium on the Foundations of Software Engineering (FSE). Presented at the. St. Petersburg, Russia.
Kashif, H. ., Arafa, P. ., & Fischmeister, S. . (2013). INSTEP: A Static Instrumentation Framework for Preserving Extra-functional Properties. Proc. Of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). Presented at the. Taipei, Taiwan. (Original work published 2024)
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 2024)
Oliveira, A. ., Fischmeister, S. ., Diwan, A. ., Hauswirth, M. ., & Sweeney, P. . (2013). Why You Should Care About Quantile Regression. Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Presented at the. Houston, USA. (Original work published 2024)
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 2024)
Moreno, C. ., Fischmeister, S. ., & Hasan, A. . (2013). Non-intrusive Program Tracing and Debugging of Deployed Embedded Systems Through Side-channel Analysis. Proc. Of the 14th ACM SIGPLAN SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), 77-88. Washington, USA: ACM. https://doi.org/10.1145/2465554.2465570
Gracioli, G. ., & Fischmeister, S. . (2012). Tracing and Recording Interrupts in Embedded Software. Journal of Systems Architecture, 58, 372-385. https://doi.org/10.1016/j.sysarc.2012.06.003 (Original work published 2024)
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
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 2024)