Karam Abd Elkader

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Automated Analysis

Model Based Reasoning

Reasoning Process

Top Venues

Formal Aspects Comput.

Publications

Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham
Automated circular assume-guarantee reasoning. Formal Aspects Comput. 30 (5) (2018)
Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham
Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement. CAV (1) (2016)
Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham
Automated Circular Assume-Guarantee Reasoning. FM (2015)