Skip to content
cs-conference-ranking.org

Mohamed A. El-Zawawy

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

17

Venues

1

Active years

2011–2017

Best venue rank

C

Where they publish

Papers

17 indexed papers, newest first.

YearVenueTitleAuthors
2017ICCSAModeling Android Fragments and Activities Life Cycles Coordination.Mohamed A. El-Zawawy
2017ICCSASeparation Logic for States Dependencies in Life Cycles of Android Activities and Fragments.Mohamed A. El-Zawawy
2017ICCSAPosting Graphs for Finding Non-Terminating Executions in Asynchronous Programs.Mohamed A. El-Zawawy
2016ICCSAAn Operational Semantics for Android Applications.Mohamed A. El-Zawawy
2016ICCSAA Type System for Android Applications.Mohamed A. El-Zawawy
2016ICCSAFinding Divergent Executions in Asynchronous Programs.Mohamed A. El-Zawawy
2015ICCSANovel Designs for Memory Checkers Using Semantics and Digital Sequential Circuits.Mohamed A. El-Zawawy
2015ICCSABoosting the Software Quality of Parallel Programming Using Logical Means.Mohamed A. El-Zawawy
2015ICCSAAn Efficient Layer-Aware Technique for Developing Asynchronous Context-Oriented Software (ACOS).Mohamed A. El-Zawawy
2014ICCSAProof-Carrying Model for Parsing Techniques.Mohamed A. El-Zawawy
2014ICCSACertified Transformation for Static Single Assignment of SPMD Programs.Mohamed A. El-Zawawy
2014ICCSAConNet: A Network Programming Language with Concurrency.Mohamed A. El-Zawawy
2013ICCSAFrequent Statement and De-reference Elimination for Distributed Programs.Mohamed A. El-Zawawy
2013ICCSADetection of Probabilistic Dangling References in Multi-core Programs Using Proof-Supported Tools.Mohamed A. El-Zawawy
2012ICCSAHeap Slicing Using Type Systems.Mohamed A. El-Zawawy
2012ICCSAAbstraction Analysis and Certified Flow and Context Sensitive Points-to Relation for Distributed Programs.Mohamed A. El-Zawawy
2011ICCSAFlow Sensitive-Insensitive Pointer Analysis Based Memory Safety for Multithreaded Programs.Mohamed A. El-Zawawy