Samaneh Navabpour

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 2

Top Venues

CoRR

VL/HCC

ESEC/SIGSOFT FSE

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister
Debugging Behaviour of Embedded-Software Developers: An Exploratory Study. CoRR (2017)
Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister
Debugging behaviour of embedded-software developers: An exploratory study. VL/HCC (2017)
Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
Time-Triggered Runtime Verification of Component-Based Multi-core Systems. RV (2015)
Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister
Time-triggered runtime verification. Formal Methods Syst. Des. 43 (1) (2013)
Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
RiTHM: a tool for enabling time-triggered runtime verification for C programs. ESEC/SIGSOFT FSE (2013)
Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
Path-Aware Time-Triggered Runtime Verification. RV (2012)
Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister
Sampling-Based Runtime Verification. FM (2011)
Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
Software debugging and testing using the abstract diagnosis theory. LCTES (2011)
Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
Optimal Instrumentation of Data-flow in Concurrent Data Structures. OPODIS (2011)
Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister
Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. RV (2011)
Samaneh Navabpour, Lihua Duan, Jessica Chen
Web Traversal with a History Stack. QSIC (2009)
Samaneh Navabpour, Laleh Soltan Ghoraie, Ali Akhavan Malayeri, Jingxi Chen, Jianguo Lu
An Intelligent Traveling Service Based on SOA. SERVICES I (2008)

Samaneh Navabpour.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Samaneh Navabpour