BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Elkader:Karam_Abd

Contributed to:

FM 20152015
CAV (1) 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.