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.
Publications
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 2024)
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)
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
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)
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)
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)