Travelled to:1 × Norway
Collaborated with:O.Grumberg C.S.Pasareanu S.Shoham
Talks about:guarante (2) circular (2) reason (2) autom (2) assum (2) decomposit (1) alphabet (1) refin (1) way (1)
Person: Karam Abd Elkader
DBLP: Elkader:Karam_Abd
Contributed to:
2015
2016Wrote 2 papers:
- FM-2015-ElkaderGPS #automation #reasoning
- Automated Circular Assume-Guarantee Reasoning (KAE, OG, CSP, SS), pp. 23–39.
- CAV-2016-ElkaderGPS #automation #composition #reasoning #refinement
- Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement (KAE, OG, CSP, SS), pp. 329–351.