Samaneh Navabpour

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Debugging behaviour of embedded-software developers: An exploratory study.
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.
Proceedings of the Runtime Verification - 6th International Conference, 2015

2014
Time-triggered Runtime Verification of Real-time Embedded Systems.
PhD thesis, 2014

2013
Time-triggered runtime verification.
Formal Methods in System Design, 2013

RiTHM: a tool for enabling time-triggered runtime verification for C programs.
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.
Proceedings of the Runtime Verification, Third International Conference, 2012

2011
Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification.
Proceedings of the Runtime Verification - Second International Conference, 2011

Optimal Instrumentation of Data-flow in Concurrent Data Structures.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Software debugging and testing using the abstract diagnosis theory.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Sampling-Based Runtime Verification.
Proceedings of the FM 2011: Formal Methods, 2011

2009
Web Traversal with a History Stack.
Proceedings of the Ninth International Conference on Quality Software, 2009

2008
An Intelligent Traveling Service Based on SOA.
Proceedings of the 2008 IEEE Congress on Services, Part I, 2008


  Loading...