The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ramy Medhat" ( http://dblp.L3S.de/Authors/Ramy_Medhat )

  Author page on DBLP  Author page in RDF  Community of Ramy Medhat in ASPL-2

Publication years (Num. hits)
2013-2019 (13)
Publication types (Num. hits)
article(5) inproceedings(7) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 14 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister Energy-Efficient Multiple Producer-Consumer. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour Managing the security-energy tradeoff in distributed cyber-physical systems. Search on Bibsonomy ICCPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister Managing the Performance/Error Tradeoff of Floating-point Intensive Applications. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, Shelby Funk, Barry Rountree Scalable performance bounding under multiple constrained renewable resources. Search on Bibsonomy E2SC@SC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ramy Medhat Software Approaches to Manage Resource Tradeoffs of Power and Energy Constrained Applications. Search on Bibsonomy 2017   RDF
1Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi Accelerated Runtime Verification of LTL Specifications with Counting Semantics. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, Borzoo Bonakdarpour, Deepak Kumar, Sebastian Fischmeister Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister A framework for mining hybrid automata from input/output traces. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister Power Redistribution for Optimizing Performance in MPI Clusters. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister Accelerated Runtime Verification of LTL Specifications with Counting Semantics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister Power-Efficient Multiple Producer-Consumer. Search on Bibsonomy IPDPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. Search on Bibsonomy ICCPS The full citation details ... 2014 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
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