نتائج بحث المؤلف

1

A CLP approach to modelling systems

بواسطة Jaffar, J.
منشور في 2013

احصل على النص الكامل

مقال

2

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

بواسطة Wu, H., Jaffar, J.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

3

Two processor scheduling with real release times and deadlines

بواسطة Wu, H., Jaffar, J.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

4

Path-sensitive resource analysis compliant with assertions

بواسطة Chu, D.-H., Jaffar, J.
منشور في 2014

احصل على النص الكامل

Conference or Workshop Item

5

A complete method for symmetry reduction in safety verification

بواسطة Chu, D.-H., Jaffar, J.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

6

Symbolic simulation on complicated loops for WCET path analysis

بواسطة Chu, D.-H., Jaffar, J.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

7

Recursive abstractions for parameterized systems

بواسطة Jaffar, J., Santosa, A.E.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

8

A CLP proof method for timed automata

بواسطة Jaffar, J., Santosa, A., Voicu, R.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

9

Framework for combining analysis and verification

بواسطة Heintze, N., Jaffar, J., Voicu, R.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

10

Instruction scheduling with release times and deadlines on ILP processors

بواسطة Wu, H., Jaffar, J., Xue, J.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

11

Constraint Programming 2000: A Position Paper

بواسطة Jaffar, J., Yap, R.H.C.
منشور في 2014

احصل على النص الكامل

مقال

12

Relative safety

بواسطة Jaffar, J., Santosa, A.E., Voicu, R.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

13

Modeling systems in CLP

بواسطة Jaffar, J., Santosa, A.E., Voicu, R.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

14

An efficient distributed deadlock avoidance algorithm for the AND model

بواسطة Wu, H., Chin, W.-N., Jaffar, J.
منشور في 2013

احصل على النص الكامل

مقال

15

Toward Practical Query Evaluation for Constraint Databases

بواسطة Brodsky, A., Jaffar, J., Maher, M.J.
منشور في 2014

احصل على النص الكامل

مقال

16

A CLP method for compositional and intermittent predicate abstraction

بواسطة Jaffar, J., Santosa, A.E., Voicu, R.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

17

Efficient memoization for dynamic programming with ad-hoc constraints

بواسطة Jaffar, J., Santosa, A.E., Voicu, R.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

18

An interpolation method for CLP traversal

بواسطة Jaffar, J., Santosa, A.E., Voicu, R.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

19

A coinduction rule for entailment of recursively defined properties

بواسطة Jaffar, J., Santosa, A.E., Voicu, R.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

20

Boosting concolic testing via interpolation

بواسطة Jaffar, J., Murali, V., Navas, J.A.
منشور في 2014

احصل على النص الكامل

Conference or Workshop Item