Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mahmoud Said" ( http://dblp.L3S.de/Authors/Mahmoud_Said )

  Author page on DBLP  Author page in RDF  Community of Mahmoud Said in ASPL-2

Publication years (Num. hits)
2009 (1) 2011 (3)
Publication types (Num. hits)
inproceedings(4)
Venues (Conferences, Journals, ...)
HPCA(1) ICSE(1) MICRO(1) NASA Formal Methods(1)
Authors
Mahmoud Said(4) Zijiang Yang(3) Chao Wang(2) Dongyoon Lee(2) Satish Narayanasamy(2) Aarti Gupta(1) Cristiano Pereira(1) Karem A. Sakallah(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah Generating Data Race Witnesses by an SMT-Based Analysis. Search on Bibsonomy NASA Formal Methods The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chao Wang, Mahmoud Said, Aarti Gupta Coverage guided systematic concurrency testing. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang Offline symbolic analysis to infer Total Store Order. Search on Bibsonomy HPCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Cristiano Pereira Offline symbolic analysis for multi-processor execution replay. Search on Bibsonomy MICRO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multi-processor replay, shared-memory dependencies, SMT solver
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.