3
Publications
87
Citations
3
H-Index
2013
Active since
Affiliations
Ramy Medhat is an author at University of Waterloo specializing in computer engineering, systems engineering, and computer science.
Top concepts
EngineeringSystem SoftwareComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringVerificationFormal MethodsEmbedded SystemsProgram Analysis
Publications per year
2013–2015
3
3
A framework for mining hybrid automata from input/output traces
Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour et al. · 2015 · 24 citations
Rows per page
1–3 of 3