Oliveira, A., Azim, A., Fischmeister, S., Marau, R., & Almeida, L. (2014). D-RES: Correct Transitive Distributed Service Sharing. Proc. Of the Work-in-Progress Session of the Conference on Emerging Technologies and Factory Automation (ETFA), Work in Progress. Presented at the. Barcelona, Spain.
References
Filter by:
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. Proc. Of the International Conference on Runtime Verification (RV). Presented at the. (Original work published 2025)
Bonakdarpour, B., Navabpour, S., & Fischmeister, S. (2013). Time-triggered Runtime Verification. Formal Methods in System Design (FMSD), 43, 29-60. https://doi.org/10.1007/s10703-012-0182-0 (Original work published 2013)
Berkovich, S., Bonakdarpour, B., & Fischmeister, S. (2013). GPU-based Runtime Verification. IEEE International Parallel & Distributed Processing Symposium (IPDPS). Presented at the. (Original work published 2025)
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 2025)
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 2025)
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 2025)
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