A CLP approach to modelling systems

由 Jaffar, J.
出版 2013

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

由 Wu, H., Jaffar, J.
出版 2013

Two processor scheduling with real release times and deadlines

由 Wu, H., Jaffar, J.
出版 2013

Path-sensitive resource analysis compliant with assertions

由 Chu, D.-H., Jaffar, J.
出版 2014

A complete method for symmetry reduction in safety verification

由 Chu, D.-H., Jaffar, J.
出版 2013

Symbolic simulation on complicated loops for WCET path analysis

由 Chu, D.-H., Jaffar, J.
出版 2013

Recursive abstractions for parameterized systems

由 Jaffar, J., Santosa, A.E.
出版 2013

A CLP proof method for timed automata

由 Jaffar, J., Santosa, A., Voicu, R.
出版 2013

Framework for combining analysis and verification

由 Heintze, N., Jaffar, J., Voicu, R.
出版 2013

Instruction scheduling with release times and deadlines on ILP processors

由 Wu, H., Jaffar, J., Xue, J.
出版 2013

Constraint Programming 2000: A Position Paper

由 Jaffar, J., Yap, R.H.C.
出版 2014

Relative safety

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

Modeling systems in CLP

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

An efficient distributed deadlock avoidance algorithm for the AND model

由 Wu, H., Chin, W.-N., Jaffar, J.
出版 2013

Toward Practical Query Evaluation for Constraint Databases

由 Brodsky, A., Jaffar, J., Maher, M.J.
出版 2014

A CLP method for compositional and intermittent predicate abstraction

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

Efficient memoization for dynamic programming with ad-hoc constraints

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

An interpolation method for CLP traversal

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

A coinduction rule for entailment of recursively defined properties

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

Boosting concolic testing via interpolation

由 Jaffar, J., Murali, V., Navas, J.A.
出版 2014