The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Samaneh Navabpour" ( http://dblp.L3S.de/Authors/Samaneh_Navabpour )

  Author page on DBLP  Author page in RDF  Community of Samaneh Navabpour in ASPL-2

Publication years (Num. hits)
2008-2017 (13)
Publication types (Num. hits)
article(2) inproceedings(10) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 14 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister Debugging Behaviour of Embedded-Software Developers: An Exploratory Study. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister Debugging behaviour of embedded-software developers: An exploratory study. Search on Bibsonomy VL/HCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister Time-Triggered Runtime Verification of Component-Based Multi-core Systems. Search on Bibsonomy RV The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour Time-triggered Runtime Verification of Real-time Embedded Systems. Search on Bibsonomy 2014   RDF
1Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister Time-triggered runtime verification. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister RiTHM: a tool for enabling time-triggered runtime verification for C programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister Path-Aware Time-Triggered Runtime Verification. Search on Bibsonomy RV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister Software debugging and testing using the abstract diagnosis theory. Search on Bibsonomy LCTES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister Sampling-Based Runtime Verification. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. Search on Bibsonomy RV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister Optimal Instrumentation of Data-flow in Concurrent Data Structures. Search on Bibsonomy OPODIS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Lihua Duan, Jessica Chen Web Traversal with a History Stack. Search on Bibsonomy QSIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Rural Postman Problem, web applications, test sequence
1Samaneh Navabpour, Laleh Soltan Ghoraie, Ali Akhavan Malayeri, Jingxi Chen, Jianguo Lu An Intelligent Traveling Service Based on SOA. Search on Bibsonomy SERVICES I The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license