Samaneh Navabpour

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