Oliveira, A., Azim, A., Fischmeister, S., Marau, R., & Almeida, L. (2014). D-RES: Correct Transitive Distributed Service Sharing Presented at the Proc. Of the Work-in-Progress Session of the Conference on Emerging Technologies and Factory Automation (ETFA), Work in Progress conference. Barcelona, Spain.
References
Filter by:
2014
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
2013
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)
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)
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)
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)
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