A CLP approach to modelling systems

by Jaffar, J.
Published 2013

An efficient algorithm for scheduling instructions with deadline constraints on ILP processors

by Wu, H., Jaffar, J.
Published 2013

Two processor scheduling with real release times and deadlines

by Wu, H., Jaffar, J.
Published 2013

Path-sensitive resource analysis compliant with assertions

by Chu, D.-H., Jaffar, J.
Published 2014

A complete method for symmetry reduction in safety verification

by Chu, D.-H., Jaffar, J.
Published 2013

Symbolic simulation on complicated loops for WCET path analysis

by Chu, D.-H., Jaffar, J.
Published 2013

Recursive abstractions for parameterized systems

by Jaffar, J., Santosa, A.E.
Published 2013

A CLP proof method for timed automata

by Jaffar, J., Santosa, A., Voicu, R.
Published 2013

Framework for combining analysis and verification

by Heintze, N., Jaffar, J., Voicu, R.
Published 2013

Instruction scheduling with release times and deadlines on ILP processors

by Wu, H., Jaffar, J., Xue, J.
Published 2013

Constraint Programming 2000: A Position Paper

by Jaffar, J., Yap, R.H.C.
Published 2014

Relative safety

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

Modeling systems in CLP

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

An efficient distributed deadlock avoidance algorithm for the AND model

by Wu, H., Chin, W.-N., Jaffar, J.
Published 2013

Toward Practical Query Evaluation for Constraint Databases

by Brodsky, A., Jaffar, J., Maher, M.J.
Published 2014

A CLP method for compositional and intermittent predicate abstraction

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

Efficient memoization for dynamic programming with ad-hoc constraints

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

An interpolation method for CLP traversal

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

A coinduction rule for entailment of recursively defined properties

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

Boosting concolic testing via interpolation

by Jaffar, J., Murali, V., Navas, J.A.
Published 2014