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 2025)
Reference author: Sebastian Fischmeister
First name
Sebastian
Last name
Fischmeister
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 2025)
Kashif, H., Patel, H. D., & Fischmeister, S. (2012). Using Link-level Latency Analysis for Path Selection for Real-time Communication on NoCs Proceedings of the Asia South Pacific Design Automation Conference (ASPDAC), 499-504. Sydney, Australia. https://doi.org/10.1109/ASPDAC.2012.6165004 (Original work published 2025)
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 2025)
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
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 2025)
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 2025)
Thomas, J., Fischmeister, S., & Kumar, D. (2011). Lowering Overhead in Sampling-based Execution Monitoring and Tracing Proc. Of the ACM SIGPLAN SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), 101-110. Chicago, USA. https://doi.org/10.1145/1967677.1967692
Anand, M., Easwaran, A., Fischmeister, S., & Lee, I. (2008). Compositional Feasibility Analysis of Conditional Real-Time Task Models Proc. Of the IEEE International Symposium on Object Component Service-Oriented Real-Time Computing (ISORC), 391-398. Orlando, USA. https://doi.org/10.1109/ISORC.2008.47 (Original work published 2025)
Navabpour, S., Bonakdarpour, B., & Fischmeister, S. (2011). Optimal Instrumentation of Data-flow in Concurrent Data Structures Proc. Of the 15th International Conference On Principles Of Distributed Systems (OPODIS), 497-512. Toulouse, France. https://doi.org/10.1007/978-3-642-25873-2_34 (Original work published 2025)