Author Search Results

1

A CLP approach to modelling systems

by Jaffar, J.
Published 2013

Get full text

Article

2

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

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

Get full text

Conference or Workshop Item

3

Two processor scheduling with real release times and deadlines

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

Get full text

Conference or Workshop Item

4

A complete method for symmetry reduction in safety verification

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

Get full text

Conference or Workshop Item

5

Symbolic simulation on complicated loops for WCET path analysis

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

Get full text

Conference or Workshop Item

6

Recursive abstractions for parameterized systems

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

Get full text

Conference or Workshop Item

7

Path-sensitive resource analysis compliant with assertions

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

Get full text

Conference or Workshop Item

8

Framework for combining analysis and verification

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

Get full text

Conference or Workshop Item

9

Instruction scheduling with release times and deadlines on ILP processors

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

Get full text

Conference or Workshop Item

10

A CLP proof method for timed automata

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

Get full text

Conference or Workshop Item

11

Constraint Programming 2000: A Position Paper

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

Get full text

Article

12