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)
Reference author: Samaneh Navabpour
First name
Samaneh
Last name
Navabpour
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 2024)
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. ., 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)
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)
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.
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)
Arafa, P. ., Solomon, D. ., Navabpour, S. ., & Fischmeister, S. . (2017). Debugging Behaviour of Embedded-Software Developers: An Exploratory Study. IEEE Symposium on Visual Languages and Human-Centric Computing (VL HCC). Presented at the. Raleigh, USA.