The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Joxan Jaffar" ( http://dblp.L3S.de/Authors/Joxan_Jaffar )

URL (Homepage):  http://www.comp.nus.edu.sg/~joxan/  Author page on DBLP  Author page in RDF  Community of Joxan Jaffar in ASPL-2

Publication years (Num. hits)
1981-1987 (18) 1990-1994 (15) 1995-2000 (19) 2001-2007 (15) 2008-2013 (15) 2014-2018 (15) 2019 (1)
Publication types (Num. hits)
article(25) incollection(2) inproceedings(68) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(6) CP(6) ICLP(6) J. Log. Program.(5) APLAS(3) Constraints(3) New Generation Comput.(3) PLDI(3) POPL(3) CAV(2) EMSOFT(2) FGCS(2) LICS(2) PPCP(2) RTSS(2) RV(2) More (+10 of total 61)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 9 keywords

Results
Found 99 publication records. Showing 98 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Joxan Jaffar, Sangharatna Godboley, Rasool Maghareh Optimal MC/DC test case generation. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap Shape Neutral Analysis of Graph-based Data-structures. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap Shape Neutral Analysis of Graph-based Data-structures. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar Model Counting for Recursively-Defined Strings. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali Incremental Quantitative Analysis on Dynamic Costs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh Symbolic execution for memory consumption analysis. Search on Bibsonomy LCTES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar Progressive Reasoning over Recursively-Defined Strings. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh Precise Cache Timing Analysis via Symbolic Execution. Search on Bibsonomy RTAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar Local Reasoning with First-Class Heaps, and a New Frame Rule. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh Automatic induction proofs of data-structures in imperative programs. Search on Bibsonomy PLDI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar A Framework to Synergize Partial Order Reduction with State Interpolation. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh Automating Proofs of Data-Structure Properties in Imperative Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali Lazy Symbolic Execution for Enhanced Learning. Search on Bibsonomy RV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Vijayaraghavan Murali A path-sensitively sliced control flow graph. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar A Framework to Synergize Partial Order Reduction with State Interpolation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas Boosting concolic testing via interpolation. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar Path-sensitive resource analysis compliant with assertions. Search on Bibsonomy EMSOFT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh Constraint-Based Program Reasoning with Heaps and Separation. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa TRACER: A Symbolic Execution Tool for Verification. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar A Complete Method for Symmetry Reduction in Safety Verification. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa Path-Sensitive Backward Slicing. Search on Bibsonomy SAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa Symbolic Execution for Verification. Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa Unbounded Symbolic Execution for Program Verification. Search on Bibsonomy RV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar Symbolic simulation on complicated loops for WCET path analysis. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa Abstraction Learning. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Andrew E. Santosa Recursive Abstractions for Parameterized Systems. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Andrew E. Santosa, Razvan Voicu An Interpolation Method for CLP Traversal. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar Constraint Logic Programming for program analysis. Search on Bibsonomy ACSC The full citation details ... 2008 DBLP  BibTeX  RDF
1Joxan Jaffar, Andrew E. Santosa, Razvan Voicu Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Joxan Jaffar, Andrew E. Santosa, Razvan Voicu A Coinduction Rule for Entailment of Recursively Defined Properties. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu Generalized Committed Choice. Search on Bibsonomy COORDINATION The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu Indexing for Dynamic Abstract Regions. Search on Bibsonomy ICDE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hui Wu, Joxan Jaffar, Jingling Xue Instruction Scheduling with Release Times and Deadlines on ILP Processors. Search on Bibsonomy RTCSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Andrew E. Santosa, Razvan Voicu A CLP Method for Compositional and Intermittent Predicate Abstraction. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Andrew E. Santosa, Razvan Voicu Relative Safety. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Andrew E. Santosa, Razvan Voicu Modeling Systems in CLP. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu Coordination of Many Agents. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar A CLP Approach to Modelling Systems. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar A CLP Approach to Modelling Systems. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Andrew E. Santosa, Razvan Voicu A CLP Proof Method for Timed Automata. Search on Bibsonomy RTSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu Scalable Distributed Depth-First Search with Greedy Work Stealing. Search on Bibsonomy ICTAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hui Wu, Wei-Ngan Chin, Joxan Jaffar An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed deadlock avoidance, partially ordered rank, wait-for graph, concurrency control
1Joxan Jaffar, Michael J. Maher Guest Editorial. Search on Bibsonomy Constraints The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hui Wu, Joxan Jaffar Two processor scheduling with real release times and deadlines. Search on Bibsonomy SPAA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF release time and deadline, successor-tree-consistency, task scheduling, feasible schedule
1Hui Wu, Joxan Jaffar An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Processors. Search on Bibsonomy RTSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hui Wu, Joxan Jaffar, Roland H. C. Yap A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors. Search on Bibsonomy IEEE PACT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF inter-instructional latency, instruction scheduling, feasible schedule, deadline constraints
1Nevin Heintze, Joxan Jaffar, Razvan Voicu A Framework for Combining Analysis and Verification. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF program analysis, abstract interpretation, program verification
1Nevin Heintze, Joxan Jaffar, Razvan Voicu Conditional Analysis and Verification. Search on Bibsonomy APLAS The full citation details ... 2000 DBLP  BibTeX  RDF
1Hui Wu, Joxan Jaffar An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines. Search on Bibsonomy APLAS The full citation details ... 2000 DBLP  BibTeX  RDF
1Hui Wu, Joxan Jaffar, Roland H. C. Yap Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies. Search on Bibsonomy CP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar Functional Elimination and 0/1/All Constraints. Search on Bibsonomy AAAI/IAAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Joxan Jaffar, Michael J. Maher, Gustaf Neumann An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar (eds.) Principles and Practice of Constraint Programming - CP'99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings Search on Bibsonomy CP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey The Semantics of Constraint Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar (eds.) Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998 Search on Bibsonomy JICSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Joxan Jaffar, Roland H. C. Yap Open Constraint Programming. Search on Bibsonomy CP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Roland H. C. Yap Constraint Programming 2000: A Position Paper. Search on Bibsonomy Constraints The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Alexander Brodsky 0001, Joxan Jaffar, Michael J. Maher Toward Practical Query Evaluation for Constraint Databases. Search on Bibsonomy Constraints The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Bing Liu 0001, Roland H. C. Yap Forward and Backward Chaining in Constraint Programming (Abstract). Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Roland H. C. Yap Constraint Programming 2000. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Bing Liu 0001, Joxan Jaffar Using Constraints to Model Disjunctions in Rule-Based Reasoning. Search on Bibsonomy AAAI/IAAI, Vol. 2 The full citation details ... 1996 DBLP  BibTeX  RDF
1Joxan Jaffar, Roland H. C. Yap (eds.) Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings Search on Bibsonomy ASIAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Michael J. Maher, Gustaf Neumann Logic Programming and Object Modelling: A Case Study (Abstract). Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Nevin Heintze, Joxan Jaffar A Generic Algorithm for CLP Analysis. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Joxan Jaffar, Michael J. Maher Constraint Logic Programming: A Survey. Search on Bibsonomy J. Log. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Nevin Heintze, Joxan Jaffar Set Constraints and Set-Based Analysis. Search on Bibsonomy PPCP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap Beyond Finite Domains. Search on Bibsonomy PPCP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap Projecting CLP (R) Constraints. Search on Bibsonomy New Generation Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Alexander Brodsky 0001, Joxan Jaffar, Michael J. Maher Toward Practical Constraint Databases. Search on Bibsonomy VLDB The full citation details ... 1993 DBLP  BibTeX  RDF
1Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap The CLP(R) Language and System. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1992 DBLP  BibTeX  RDF
1Nevin Heintze, Joxan Jaffar Semantic Types for Logic Programs. Search on Bibsonomy Types in Logic Programming The full citation details ... 1992 DBLP  BibTeX  RDF
1Nevin Heintze, Joxan Jaffar An Engine for Logic Program Analysis Search on Bibsonomy LICS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap An Abstract Machine for CLP(R). Search on Bibsonomy PLDI The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Prolog
1Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap Output in CLP. Search on Bibsonomy FGCS The full citation details ... 1992 DBLP  BibTeX  RDF
1Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap The CLP(R) language and system: an overview. Search on Bibsonomy Compcon The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap A Methodology for Managing Hard Constraints in CLP Systems. Search on Bibsonomy PLDI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Prolog
1Joxan Jaffar Minimal and Complete Word Unification Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Nevin Heintze, Joxan Jaffar A Decision Procedure for a Class of Set Constraints (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Nevin Heintze, Joxan Jaffar A Finite Presentation Theorem for Approximating Logic Programs. Search on Bibsonomy POPL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1James Harland, Joxan Jaffar On Parallel Unification for Prolog. Search on Bibsonomy New Generation Comput. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Jean-Louis Lassez Constraint Logic Programming. Search on Bibsonomy POPL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Prolog
1Joxan Jaffar, Spiro Michaylov Methodology and Implementation of a CLP System. Search on Bibsonomy ICLP The full citation details ... 1987 DBLP  BibTeX  RDF
1Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher PROLOG - II as an instance of the logic programming language scheme. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
1Joxan Jaffar, Jean-Louis Lassez From Unification to Constraints. Search on Bibsonomy LP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher Comments on "General Failure of Logic Programs". Search on Bibsonomy J. Log. Program. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Peter J. Stuckey Canonical Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Peter J. Stuckey Semantics of Infinite Tree Logic Programming. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher Logic Programming Language Scheme. Search on Bibsonomy Logic Programming: Functions, Relations, and Equations The full citation details ... 1986 DBLP  BibTeX  RDF
1Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. Search on Bibsonomy ICLP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Peter J. Stuckey Logic Program Semantics for Programming with Equations. Search on Bibsonomy ICLP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher A Theory of Complete Logic Programs with Equality. Search on Bibsonomy J. Log. Program. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar Efficient Unification over Infinite Terms. Search on Bibsonomy New Generation Comput. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher A Theory of Complete Logic Programs with Equality. Search on Bibsonomy FGCS The full citation details ... 1984 DBLP  BibTeX  RDF
1Prabhaker Mateti, Joxan Jaffar A Correctness Proof of an Indenting Program. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd Completeness of the Negation as Failure Rule. Search on Bibsonomy IJCAI The full citation details ... 1983 DBLP  BibTeX  RDF
1Joxan Jaffar, Jean-Louis Lassez Reasoning about Array Segments. Search on Bibsonomy ECAI The full citation details ... 1982 DBLP  BibTeX  RDF
1Joxan Jaffar Presburger Arithmetic With Array Segments. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #98 of 98 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license