Joxan Jaffar

Proceedings of the International Conference on Embedded Software, 2013

Constraint-Based Program Reasoning with Heaps and Separation.

[BibT_eX]

[DOI]

Gregory J. Duck

Nicolas C. H. Koh

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Path-Sensitive Backward Slicing.

[BibT_eX]

[DOI]

Vijayaraghavan Murali

Proceedings of the Static Analysis - 19th International Symposium, 2012

TRACER: A Symbolic Execution Tool for Verification.

[BibT_eX]

[DOI]

Vijayaraghavan Murali

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

A Complete Method for Symmetry Reduction in Safety Verification.

[BibT_eX]

[DOI]

Duc-Hiep Chu

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Symbolic Execution for Verification.

[BibT_eX]

[DOI]

CoRR, 2011

Unbounded Symbolic Execution for Program Verification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

Symbolic simulation on complicated loops for WCET path analysis.

[BibT_eX]

[DOI]

Duc-Hiep Chu

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Abstraction Learning.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Recursive Abstractions for Parameterized Systems.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

An Interpolation Method for CLP Traversal.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

A Coinduction Rule for Entailment of Recursively Defined Properties.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

Constraint Logic Programming for program analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2008, 2008

Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Generalized Committed Choice.

[BibT_eX]

[DOI]

Kenny Qili Zhu

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006

Relative Safety.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2006

A CLP Method for Compositional and Intermittent Predicate Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2006

Instruction Scheduling with Release Times and Deadlines on ILP Processors.

[BibT_eX]

[DOI]

Jingling Xue

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Indexing for Dynamic Abstract Regions.

[BibT_eX]

[DOI]

Kenny Qili Zhu

Proceedings of the 22nd International Conference on Data Engineering, 2006

2005

Coordination of Many Agents.

[BibT_eX]

[DOI]

Kenny Qili Zhu

Proceedings of the Logic Programming, 21st International Conference, 2005

Modeling Systems in CLP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

A CLP Proof Method for Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Scalable Distributed Depth-First Search with Greedy Work Stealing.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

A CLP Approach to Modelling Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

2002

An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model.

[BibT_eX]

[DOI]

Wei-Ngan Chin

IEEE Trans. Software Eng., 2002

Guest Editorial.

[BibT_eX]

[DOI]

Constraints An Int. J., 2002

Two processor scheduling with real release times and deadlines.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2002

2001

An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Processors.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

2000

A Framework for Combining Analysis and Verification.

[BibT_eX]

[DOI]

Proceedings of the POPL 2000, 2000

Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2000

An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines.

[BibT_eX]

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

Conditional Analysis and Verification.

[BibT_eX]

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques (PACT'00), 2000

1999

An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems.

[BibT_eX]

[DOI]

Gustaf Neumann

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

Functional Elimination and 0/1/All Constraints.

[BibT_eX]

[DOI]

Yuanlin Zhang

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

The Semantics of Constraint Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1998

Open Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

Constraint Programming 2000: A Position Paper.

[BibT_eX]

[DOI]

Constraints An Int. J., 1997

Toward Practical Query Evaluation for Constraint Databases.

[BibT_eX]

[DOI]

Alexander Brodsky

Constraints An Int. J., 1997

Forward and Backward Chaining in Constraint Programming (Abstract).

[BibT_eX]

[DOI]

Bing Liu

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996

Constraint Programming 2000.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Using Constraints to Model Disjunctions in Rule-Based Reasoning.

[BibT_eX]

[DOI]

Bing Liu

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Logic Programming and Object Modelling: A Case Study (Abstract).

[BibT_eX]

[DOI]

Gustaf Neumann

Proceedings of the Logic Programming, 1995

A Generic Algorithm for CLP Analysis.

[BibT_eX]

Proceedings of the Logic Programming, 1995

1994

Constraint Logic Programming: A Survey.

[BibT_eX]

[DOI]

J. Log. Program., 1994

Beyond Finite Domains.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1994

Set Constraints and Set-Based Analysis.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1994

1993

Projecting CLP (R) Constraints.

[BibT_eX]

[DOI]

New Gener. Comput., 1993

Toward Practical Constraint Databases.

[BibT_eX]

[DOI]

Alexander Brodsky

Proceedings of the 19th International Conference on Very Large Data Bases, 1993

1992

The CLP(R) Language and System.

[BibT_eX]

ACM Trans. Program. Lang. Syst., 1992

An Abstract Machine for CLP(R).

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

An Engine for Logic Program Analysis

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Output in CLP.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Semantic Types for Logic Programs.

[BibT_eX]

Proceedings of the Types in Logic Programming., 1992

1991

A Methodology for Managing Hard Constraints in CLP Systems.

[BibT_eX]

[DOI]

Spiro Michaylov

Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

The CLP(R) language and system: an overview.

[BibT_eX]

[DOI]

Proceedings of the Compcon Spring '91, San Francisco, 1991

1990

Minimal and Complete Word Unification

[BibT_eX]

[DOI]

J. ACM, January, 1990

A Finite Presentation Theorem for Approximating Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

A Decision Procedure for a Class of Set Constraints (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1987

On Parallel Unification for Prolog.

[BibT_eX]

[DOI]

James Harland

New Gener. Comput., 1987

Constraint Logic Programming.

[BibT_eX]

[DOI]

Jean-Louis Lassez

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

From Unification to Constraints.

[BibT_eX]

[DOI]

Jean-Louis Lassez

Proceedings of the Logic Programming '87, 1987

PROLOG - II as an instance of the logic programming language scheme.

[BibT_eX]

Jean-Louis Lassez

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

Methodology and Implementation of a CLP System.

[BibT_eX]

Spiro Michaylov

Proceedings of the Logic Programming, 1987

1986

Semantics of Infinite Tree Logic Programming.

[BibT_eX]

[DOI]