Karam Abd Elkader

According to our database, Karam Abd Elkader authored at least 2 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement.

Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Automated Circular Assume-Guarantee Reasoning.

Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham

Proceedings of the FM 2015: Formal Methods, 2015