Karam Abd Elkader

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
ACKNOWLEDGEMENTS First and foremost, I would like to thank my supervisor Prof. Orna Grumberg for being the best supervisor I could have ever hoped for. Orna was always there for me whenever I needed her. I would like to thank Orna for being a great person, for her endless support, friendship and for the continuous encouragement. Thank you so much for(More)
Compositional verification techniques aim to decompose the verification of a large system into the more manageable verification of its components. In recent years, compositional techniques have gained significant successes following a breakthrough in the ability to automate assume-guarantee reasoning. However, automation is still restricted to simple(More)
  • 1