The following publications are possibly variants of this publication:
- Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet RefinementKaram Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham. cav 2016: 329-351 [doi]
- Automated circular assume-guarantee reasoningKaram Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham. fac, 30(5):571-595, 2018. [doi]
- Automated Circular Assume-Guarantee ReasoningKaram Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham. FM 2015: 23-39 [doi]
- Assume-Guarantee Abstraction Refinement for Probabilistic SystemsAnvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke. cav 2012: 310-326 [doi]
- Assume-Guarantee Abstraction Refinement Meets Hybrid SystemsSergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump. hvc 2014: 116-131 [doi]