Presburger Arithmetic With Array Segments. - Joxan Jaffar (Inf. Process. Lett., 1981)

Reasoning about Array Segments. - Joxan Jaffar; Jean-Louis Lassez (ECAI, 1982)

Completeness of the Negation as Failure Rule. - Joxan Jaffar; Jean-Louis Lassez; John W. Lloyd (IJCAI, 1983)

A Correctness Proof of an Indenting Program. - Prabhaker Mateti; Joxan Jaffar (Softw. Pract. Exp., 1983)

A Theory of Complete Logic Programs with Equality. - Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher (J. Log. Program., 1984)

Efficient Unification over Infinite Terms. - Joxan Jaffar (New Gener. Comput., 1984)

Logic Programming Language Scheme. - Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher (Logic Programming: Functions, Relations, and Equations, 1986)

Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. - Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher (ICLP, 1986)

Logic Program Semantics for Programming with Equations. - Joxan Jaffar; Peter J. Stuckey (ICLP, 1986)

Comments on "General Failure of Logic Programs". - Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher (J. Log. Program., 1986)

Canonical Logic Programs. - Joxan Jaffar; Peter J. Stuckey (J. Log. Program., 1986)

Semantics of Infinite Tree Logic Programming. - Joxan Jaffar; Peter J. Stuckey (Theor. Comput. Sci., 1986)

Methodology and Implementation of a CLP System. - Joxan Jaffar; Spiro Michaylov (ICLP, 1987)

PROLOG - II as an instance of the logic programming language scheme. - Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher (Formal Description of Programming Concepts, 1987)

From Unification to Constraints. - Joxan Jaffar; Jean-Louis Lassez (LP, 1987)

Constraint Logic Programming. - Joxan Jaffar; Jean-Louis Lassez (POPL, 1987)

On Parallel Unification for Prolog. - James Harland; Joxan Jaffar (New Gener. Comput., 1987)

A Decision Procedure for a Class of Set Constraints (Extended Abstract) - Nevin Heintze; Joxan Jaffar (LICS, 1990)

A Finite Presentation Theorem for Approximating Logic Programs. - Nevin Heintze; Joxan Jaffar (POPL, 1990)

Minimal and Complete Word Unification - Joxan Jaffar (J. ACM, 1990)

The CLP(R) language and system: an overview. - Joxan Jaffar; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (Compcon, 1991)

A Methodology for Managing Hard Constraints in CLP Systems. - Joxan Jaffar; Spiro Michaylov; Roland H. C. Yap (PLDI, 1991)

Semantic Types for Logic Programs. - Nevin Heintze; Joxan Jaffar (Types in Logic Programming, 1992)

Output in CLP. - Joxan Jaffar; Michael J. Maher; Peter J. Stuckey; Roland H. C. Yap (FGCS, 1992)

An Engine for Logic Program Analysis - Nevin Heintze; Joxan Jaffar (LICS, 1992)

An Abstract Machine for CLP(R). - Joxan Jaffar; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (PLDI, 1992)

The CLP(R) Language and System. - Joxan Jaffar; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (ACM Trans. Program. Lang. Syst., 1992)

Toward Practical Constraint Databases. - Alexander Brodsky 001; Joxan Jaffar; Michael J. Maher (VLDB, 1993)

Projecting CLP (R) Constraints. - Joxan Jaffar; Michael J. Maher; Peter J. Stuckey; Roland H. C. Yap (New Gener. Comput., 1993)

Set Constraints and Set-Based Analysis. - Nevin Heintze; Joxan Jaffar (PPCP, 1994)

Beyond Finite Domains. - Joxan Jaffar; Michael J. Maher; Peter J. Stuckey; Roland H. C. Yap (PPCP, 1994)

Constraint Logic Programming: A Survey. - Joxan Jaffar; Michael J. Maher (J. Log. Program., 1994)

A Generic Algorithm for CLP Analysis. - Nevin Heintze; Joxan Jaffar (ICLP, 1995)

Logic Programming and Object Modelling: A Case Study (Abstract). - Joxan Jaffar; Michael J. Maher; Gustaf Neumann (ILPS, 1995)

Using Constraints to Model Disjunctions in Rule-Based Reasoning. - Bing Liu 001; Joxan Jaffar (AAAI/IAAI, Vol. 2, 1996)

Constraint Programming 2000. - Joxan Jaffar; Roland H. C. Yap (ACM Comput. Surv., 1996)

Forward and Backward Chaining in Constraint Programming (Abstract). - Joxan Jaffar; Bing Liu 001; Roland H. C. Yap (LPNMR, 1997)

Toward Practical Query Evaluation for Constraint Databases. - Alexander Brodsky 001; Joxan Jaffar; Michael J. Maher (Constraints An Int. J., 1997)

Constraint Programming 2000: A Position Paper. - Joxan Jaffar; Roland H. C. Yap (Constraints An Int. J., 1997)

Open Constraint Programming. - Joxan Jaffar; Roland H. C. Yap (CP, 1998)

The Semantics of Constraint Logic Programs. - Joxan Jaffar; Michael J. Maher; Kim Marriott; Peter J. Stuckey (J. Log. Program., 1998)

Functional Elimination and 0/1/All Constraints. - Yuanlin Zhang 002; Roland H. C. Yap; Joxan Jaffar (AAAI/IAAI, 1999)

An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. - Joxan Jaffar; Michael J. Maher; Gustaf Neumann (HICSS, 1999)

A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors. - Hui Wu 001; Joxan Jaffar; Roland H. C. Yap (IEEE PACT, 2000)

Conditional Analysis and Verification. - Nevin Heintze; Joxan Jaffar; Razvan Voicu (APLAS, 2000)

An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines. - Hui Wu 001; Joxan Jaffar (APLAS, 2000)

Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies. - Hui Wu 001; Joxan Jaffar; Roland H. C. Yap (CP, 2000)

A Framework for Combining Analysis and Verification. - Nevin Heintze; Joxan Jaffar; Razvan Voicu (POPL, 2000)

An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Processors. - Hui Wu 001; Joxan Jaffar (RTSS, 2001)

Two processor scheduling with real release times and deadlines. - Hui Wu 001; Joxan Jaffar (SPAA, 2002)

Guest Editorial. - Joxan Jaffar; Michael J. Maher (Constraints An Int. J., 2002)

An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model. - Hui Wu 001; Wei-Ngan Chin; Joxan Jaffar (IEEE Trans. Software Eng., 2002)

A CLP Approach to Modelling Systems. - Joxan Jaffar (APLAS, 2004)

Scalable Distributed Depth-First Search with Greedy Work Stealing. - Joxan Jaffar; Andrew E. Santosa; Roland H. C. Yap; Kenny Qili Zhu (ICTAI, 2004)

A CLP Proof Method for Timed Automata. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (RTSS, 2004)

Modeling Systems in CLP. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (ICLP, 2005)

Coordination of Many Agents. - Joxan Jaffar; Roland H. C. Yap; Kenny Qili Zhu (ICLP, 2005)

Indexing for Dynamic Abstract Regions. - Joxan Jaffar; Roland H. C. Yap; Kenny Qili Zhu (ICDE, 2006)

Instruction Scheduling with Release Times and Deadlines on ILP Processors. - Hui Wu 001; Joxan Jaffar; Jingling Xue (RTCSA, 2006)

A CLP Method for Compositional and Intermittent Predicate Abstraction. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (VMCAI, 2006)

Relative Safety. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (VMCAI, 2006)

Generalized Committed Choice. - Joxan Jaffar; Roland H. C. Yap; Kenny Qili Zhu (COORDINATION, 2007)

Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (AAAI, 2008)

Constraint Logic Programming for program analysis. - Joxan Jaffar (ACSC, 2008)

A Coinduction Rule for Entailment of Recursively Defined Properties. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (CP, 2008)

An Interpolation Method for CLP Traversal. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (CP, 2009)

Recursive Abstractions for Parameterized Systems. - Joxan Jaffar; Andrew E. Santosa (FM, 2009)

Abstraction Learning. - Joxan Jaffar; Jorge A. Navas; Andrew E. Santosa (ATVA, 2010)

Symbolic simulation on complicated loops for WCET path analysis. - Duc-Hiep Chu; Joxan Jaffar (EMSOFT, 2011)

Unbounded Symbolic Execution for Program Verification. - Joxan Jaffar; Jorge A. Navas; Andrew E. Santosa (RV, 2011)

Symbolic Execution for Verification. - Joxan Jaffar; Jorge A. Navas; Andrew E. Santosa (CoRR, 2011)

A Complete Method for Symmetry Reduction in Safety Verification. - Duc-Hiep Chu; Joxan Jaffar (CAV, 2012)

TRACER: A Symbolic Execution Tool for Verification. - Joxan Jaffar; Vijayaraghavan Murali; Jorge A. Navas; Andrew E. Santosa (CAV, 2012)

Path-Sensitive Backward Slicing. - Joxan Jaffar; Vijayaraghavan Murali; Jorge A. Navas; Andrew E. Santosa (SAS, 2012)

Constraint-Based Program Reasoning with Heaps and Separation. - Gregory J. Duck; Joxan Jaffar; Nicolas C. H. Koh (CP, 2013)

Path-sensitive resource analysis compliant with assertions. - Duc-Hiep Chu; Joxan Jaffar (EMSOFT, 2013)

Boosting concolic testing via interpolation. - Joxan Jaffar; Vijayaraghavan Murali; Jorge A. Navas (ESEC/SIGSOFT FSE, 2013)

S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. - Minh-Thai Trinh; Duc-Hiep Chu; Joxan Jaffar (CCS, 2014)

A Framework to Synergize Partial Order Reduction with State Interpolation. - Duc-Hiep Chu; Joxan Jaffar (Haifa Verification Conference, 2014)

Lazy Symbolic Execution for Enhanced Learning. - Duc-Hiep Chu; Joxan Jaffar; Vijayaraghavan Murali (RV, 2014)

A path-sensitively sliced control flow graph. - Joxan Jaffar; Vijayaraghavan Murali (SIGSOFT FSE, 2014)

Automating Proofs of Data-Structure Properties in Imperative Programs. - Duc-Hiep Chu; Joxan Jaffar; Minh-Thai Trinh (CoRR, 2014)

Automatic induction proofs of data-structures in imperative programs. - Duc-Hiep Chu; Joxan Jaffar; Minh-Thai Trinh (PLDI, 2015)

Local Reasoning with First-Class Heaps, and a New Frame Rule. - Duc-Hiep Chu; Joxan Jaffar (CoRR, 2015)

Progressive Reasoning over Recursively-Defined Strings. - Minh-Thai Trinh; Duc-Hiep Chu; Joxan Jaffar (CAV (1), 2016)

Symbolic execution for memory consumption analysis. - Duc-Hiep Chu; Joxan Jaffar; Rasool Maghareh (LCTES, 2016)

Precise Cache Timing Analysis via Symbolic Execution. - Duc-Hiep Chu; Joxan Jaffar; Rasool Maghareh (RTAS, 2016)

Incremental Quantitative Analysis on Dynamic Costs. - Duc-Hiep Chu; Joxan Jaffar; Vijayaraghavan Murali (CoRR, 2016)

Model Counting for Recursively-Defined Strings. - Minh-Thai Trinh; Duc-Hiep Chu; Joxan Jaffar (CAV (2), 2017)

Shape Neutral Analysis of Graph-based Data-structures. - Gregory J. Duck; Joxan Jaffar; Roland H. C. Yap (Theory Pract. Log. Program., 2018)

Optimal MC/DC test case generation. - Joxan Jaffar; Sangharatna Godboley; Rasool Maghareh (ICSE (Companion Volume), 2019)

TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). - Joxan Jaffar; Rasool Maghareh; Sangharatna Godboley; Xuan-Linh Ha (FASE, 2020)

TracerX: Dynamic Symbolic Execution with Interpolation. - Joxan Jaffar; Rasool Maghareh; Sangharatna Godboley; Xuan-Linh Ha (CoRR, 2020)

Inter-theory dependency analysis for SMT string solvers. - Minh-Thai Trinh; Duc-Hiep Chu; Joxan Jaffar (Proc. ACM Program. Lang., 2020)

Toward optimal mc/dc test case generation. - Sangharatna Godboley; Joxan Jaffar; Rasool Maghareh; Arpita Dutta (ISSTA, 2021)

TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). - Arpita Dutta; Rasool Maghareh; Joxan Jaffar; Sangharatna Godboley; Xiao Liang Yu (FASE, 2024)