Samaneh Navabpour

Graduate (PhD), 2013

Short Biography

Samaneh NavabpourI 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:

  1. Developing a runtime verification framework aimed at time-sensitive and safety-critical systems.

  2. Developing an automated framework for decreasing runtime instrumentation overhead for testing and debugging time-sensitive and safety-critical systems.

  3. 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:

  1. Development of a new security protocol for structured peer-to-peer networks.

  2. Development of a new simulator for peer-to-peer networks aimed at aiding research on security protocols.

  3. Development of an automated power distribution system for the city of Tehran, Iran.

Contact Samaneh

Affiliation: 
University of Waterloo

Publications with this group

2013

Navabpour, S., Y. Joshi, C. Wah Wallace, S. Berkovich, R. Medhat, B. Bonakdarpour, and S. Fischmeister, "RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs", Proc. of the ACM Symposium on the Foundations of Software Engineering (FSE), St. Petersburg, Russia, 2013.
Bonakdarpour, B., S. Navabpour, and S. Fischmeister, "Time-triggered Runtime Verification", Formal Methods in System Design (FMSD), vol. 43, issue 1, pp. 29--60, 2013. PDF icon [paper] (2.95 MB)

2012

Navabpour, S., B. Bonakdarpour, and S. Fischmeister, "Path-aware Time-triggered Runtime Verification", Third International Conference on Runtime Verification (RV), Istanbul, Turkey, pp. 199-213, September, 2012. PDF icon [paper] (509.83 KB)

2011

Navabpour, S., C. Wah Wallac Wu, B. Bonakdarpour, and S. Fischmeister, "Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification", Proc. of the 2nd International Conference on Runtime Verification (RV), San Francisco, USA, pp. 208-222, September, 2011. PDF icon [paper] (433.08 KB)
Navabpour, S., B. Bonakdarpour, and S. Fischmeister, "Optimal Instrumentation of Data-flow in Concurrent Data Structures", Proc. of the 15th International Conference On Principles Of Distributed Systems (OPODIS), Toulouse, France, pp. 497-512, December, 2011. PDF icon [paper] (417.18 KB)
Bonakdarpour, B., S. Navabpour, and S. Fischmeister, "Sampling-based Runtime Verification", Proceedings of the 17th International Conference on Formal Methods (FM), Limerick, Ireland, pp. 88-102, June, 2011. PDF icon [paper] (1.45 MB)
Navabpour, S., B. Bonakdarpour, and S. Fischmeister, "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), Chicago, USA, pp. 111-120, April, 2011. PDF icon [paper] (186.14 KB)