According to our database1, Samaneh Navabpour authored at least 12 papers between 2008 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Debugging behaviour of embedded-software developers: An exploratory study.
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017
Time-Triggered Runtime Verification of Component-Based Multi-core Systems.
Proceedings of the Runtime Verification - 6th International Conference, 2015
Time-triggered Runtime Verification of Real-time Embedded Systems.
PhD thesis, 2014
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
Path-Aware Time-Triggered Runtime Verification.
Proceedings of the Runtime Verification, Third International Conference, 2012
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
Web Traversal with a History Stack.
Proceedings of the Ninth International Conference on Quality Software, 2009
An Intelligent Traveling Service Based on SOA.
Proceedings of the 2008 IEEE Congress on Services, Part I, 2008