Samaneh Navabpour
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2008–2015
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | RV | Time-Triggered Runtime Verification of Component-Based Multi-core Systems. | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2012 | RV | Path-Aware Time-Triggered Runtime Verification. | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2011 | FM | Sampling-Based Runtime Verification. | Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister |
| 2011 | OPODIS | Optimal Instrumentation of Data-flow in Concurrent Data Structures. | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2011 | RV | Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. | Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2008 | SERVICES | An Intelligent Traveling Service Based on SOA. | Samaneh Navabpour, Laleh Soltan Ghoraie, Ali Akhavan Malayeri, Jingxi Chen, Jianguo Lu |