Anand, M. ., Fischmeister, S. ., Lee, I. ., & Phan, L. T. X. (2012). State-based scheduling with tree schedules: analysis and evaluation. Real-Time Systems, 48, 430-462. https://doi.org/10.1007/s11241-012-9151-3
Publications
Filter by:
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)
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)
Kashif, H. ., & Fischmeister, S. . (2012). Program Transformation for Time-aware Instrumentation. Proc. Of the 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA), 1-8. Krakow, Poland. https://doi.org/10.1109/ETFA.2012.6489580 (Original work published 2024)
Bonakdarpour, B. ., Thomas, J. ., & Fischmeister, S. . (2012). Time-triggered Program Self-monitoring. Proc. Of 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 260-269. Seoul, Korea. https://doi.org/10.1109/RTCSA.2012.16
Carvajal, G. ., Wu, C. W. W., & Fischmeister, S. . (2012). Evaluation of Communication Architectures for Switched Real-time Ethernet. IEEE Transactions on Computers. https://doi.org/10.1109/TC.2012.177
Bonakdarpour, B. ., & Fischmeister, S. . (2011). Runtime Monitoring of Time-sensitive Systems —- Tutorial Supplement. Proc. Of the 2nd International Conference on Runtime Verification (RV). Presented at the. San Francisco, USA.
Bonakdarpour, B. ., Navabpour, S. ., & Fischmeister, S. . (2011). Sampling-based Runtime Verification. Proceedings of the 17th International Conference on Formal Methods (FM), 88-102. Limerick, Ireland. https://doi.org/10.1007/978-3-642-21437-0_9 (Original work published 2024)
Navabpour, S. ., Wu, C. W. W., Bonakdarpour, B. ., & Fischmeister, S. . (2011). Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification. Proc. Of the 2nd International Conference on Runtime Verification (RV), 208-222. San Francisco, USA. https://doi.org/10.1007/978-3-642-29860-8_16 (Original work published 2024)
Navabpour, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2011). Software Debugging and Testing using the Abstract Diagnosis Theory. Proc. Of the ACM SIGPLAN SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), 111-120. Chicago, USA. https://doi.org/10.1145/1967677.1967693 (Original work published 2024)