Login / Signup
Affan Rauf
ORCID
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 3
Top Topics
Complex Structures
Tree Search
Iterative Deepening
Timed Automata
Top Venues
IEEE Trans. Reliab.
ICSE (Companion Volume)
Adv. Comput.
</>
Publications
</>
Affan Rauf
,
Muhammad Nawaz
,
Junaid Haroon Siddiqui
Effective State Encoding for Breadth-First Generation of Complex Structures.
IEEE Trans. Reliab.
68 (3) (2019)
Junaid Haroon Siddiqui
,
Affan Rauf
,
Maryam Abdul Ghafoor
Chapter Two - Advances in Software Model Checking.
Adv. Comput.
108 (2018)
Affan Rauf
,
Muhammad Nawaz
,
Junaid Haroon Siddiqui
Efficient iterative deepening for bounded exhaustive generation of complex structures.
ICSE (Companion Volume)
(2018)