- Scalable Symbolic Execution For Verification JOXAN JAFFAR, JORGE NAVAS, AND ANDREW E. SANTOSA
- A Path-Sensitive Control Flow Graph Joxan Jaffar
- A CLP Method for Compositional and Intermittent Predicate Abstraction
- A Coinduction Rule for Entailment of Recursively Defined Properties
- Coordination of Many Agents Joxan Jaffar, Roland H.C. Yap, and Kenny Q. Zhu
- Using Constraints to Model Disjunctions in RuleBased Reasoning Bing Liu and Joxan Jaffar
- Symbolic Simulation on Complicated Loops for Timing Analysis Duc Hiep Chu
- Indexing for Dynamic Abstract Regions Joxan Jaffar Roland H.C. Yap
- Explicit Data Structures and Automatic Induction Proofs We first present a specification language for modelling memory ex-
- Generalized Committed Choice Joxan Jaffar1
- A Generic Algorithm for CLP Nevin Heintze
- Functional Elimination and 0/1/All Constraints Yuanlin Zhang, Roland H.C. Yap and Joxan Jaffar \Lambda
- A Framework for Combining Analysis and Verification Nevin Heintze
- A CLP Proof Method for Timed Automata Joxan Jaffar, Andrew Santosa and R azvan Voicu
- Path-Sensitive Timing Analysis JOXAN JAFFAR, JORGE NAVAS, AND ANDREW E. SANTOSA
- Abstraction Learning Joxan Jaffar
- Scalable Path-Sensitive Program Analysis via Dynamic Programming
- Recursive Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA
- An Interpolation Method for CLP Traversal Joxan Jaffar, Andrew E. Santosa, and Razvan Voicu
- Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints Joxan Jaffar Andrew E. Santosa Razvan Voicu
- Relative Safety JOXAN JAFFAR, ANDREW E. SANTOSA, AND R AZVAN VOICU
- Modeling Systems in CLP with Coinductive Tabling JOXAN JAFFAR, ANDREW E. SANTOSA, AND R AZVAN VOICU
- A Framework for Concurrent Program Verification based on Interpolation
- Unbounded Symbolic Execution for Program Verification
- Symbolic Simulation on Complicated Loops for WCET Path Analysis
- A Framework for Path Sensitive Program Analysis Vijayaraghavan Murali
- TRACER: A Symbolic Execution Tool for Verification JOXAN JAFFAR1
- A Symbolic Execution Framework with Explicit Heaps and Separation
- A Complete Method for Symmetry Reduction in Safety Verification
