Samaneh Navabpour

According to our database, Samaneh Navabpour authored at least 12 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Debugging behaviour of embedded-software developers: An exploratory study.

Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister

Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

2015

Time-Triggered Runtime Verification of Component-Based Multi-core Systems.

Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister

Proceedings of the Runtime Verification - 6th International Conference, 2015

2014

Time-triggered Runtime Verification of Real-time Embedded Systems.

Samaneh Navabpour

PhD thesis, 2014

2013

Time-triggered runtime verification.

Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister

Formal Methods Syst. Des., 2013

RiTHM: a tool for enabling time-triggered runtime verification for C programs.

Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

Path-Aware Time-Triggered Runtime Verification.

Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification.

Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister

Proceedings of the Runtime Verification - Second International Conference, 2011

Optimal Instrumentation of Data-flow in Concurrent Data Structures.

Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Software debugging and testing using the abstract diagnosis theory.

Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Sampling-Based Runtime Verification.

Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister

Proceedings of the FM 2011: Formal Methods, 2011

2009

Web Traversal with a History Stack.

Samaneh Navabpour, Lihua Duan, Jessica Chen

Proceedings of the Ninth International Conference on Quality Software, 2009

2008

An Intelligent Traveling Service Based on SOA.

Samaneh Navabpour, Laleh Soltan Ghoraie, Ali Akhavan Malayeri, Jingxi Chen, Jianguo Lu

Proceedings of the 2008 IEEE Congress on Services, Part I, 2008