Samaneh Navabpour | Real-time Embedded Software Group

Short Biography

I am currently a PhD candidate at the Real-time Embedded Systems group of the University of Waterloo, under the supervision of Professor Fischmeister. I received my Bachelors in Software Engineering from Shahid Beheshti University of Iran in 2004, and my Masters in Computer Science from the University of Windsor of Canada in 2009. Currently my main line of research is runtime verification of safety critical systems. I have also been involved in research on debugging and testing of safety critical systems. My research focus consists of:

Developing a runtime verification framework aimed at time-sensitive and safety-critical systems.
Developing an automated framework for decreasing runtime instrumentation overhead for testing and debugging time-sensitive and safety-critical systems.
Studying debugging techniques of intermediate programmers when debugging time-sensitive embedded systems.

As for my non-academic background, I worked as a research assistant and software engineer from 2004 to 2007 at IPM - Institute for Research in Fundamental Sciences and NRI - Niroo Research Institute in Iran. I was involved in three main projects at this time:

Development of a new security protocol for structured peer-to-peer networks.
Development of a new simulator for peer-to-peer networks aimed at aiding research on security protocols.
Development of an automated power distribution system for the city of Tehran, Iran.

Publications with this group

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)