Browsing by Author JAFFAR,JOXAN

Select a letter below to browse by last name or type
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Showing results 1 to 20 of 32  next >
Issue DateTitleAuthor(s)
2004A CLP approach to modelling systemsJaffar, J. 
2006A CLP method for compositional and intermittent predicate abstractionJaffar, J. ; Santosa, A.E. ; Voicu, R. 
2004A CLP proof method for timed automataJaffar, J. ; Santosa, A. ; Voicu, R. 
2008A coinduction rule for entailment of recursively defined propertiesJaffar, J. ; Santosa, A.E. ; Voicu, R. 
2012A complete method for symmetry reduction in safety verificationChu, D.-H.; Jaffar, J. 
2001An efficient algorithm for scheduling instructions with deadline constraints on ILP processorsWu, H. ; Jaffar, J. 
2002An efficient distributed deadlock avoidance algorithm for the AND modelWu, H. ; Chin, W.-N. ; Jaffar, J. 
2009An interpolation method for CLP traversalJaffar, J. ; Santosa, A.E. ; Voicu, R. 
1999Architecture and prototype implementation of a system for individualized workflows in medical information systemsJaffar, Joxan ; Maher, Michael J.; Neumann, Gustaf
2013Boosting concolic testing via interpolationJaffar, J. ; Murali, V.; Navas, J.A.
1997Constraint Programming 2000: A Position PaperJaffar, J. ; Yap, R.H.C. 
2013Constraint-based program reasoning with heaps and separationDuck, G.J.; Jaffar, J. ; Koh, N.C.H.
2005Coordination of many agentsJaffar, J. ; Yap, R.H.C. ; Zhu, K.Q. 
2008Efficient memoization for dynamic programming with ad-hoc constraintsJaffar, J. ; Santosa, A.E. ; Voicu, R. 
2000Fast algorithm for scheduling instructions with deadline constraints on RISC machinesWu, Hui ; Jaffar, Joxan ; Yap, Roland 
2000Framework for combining analysis and verificationHeintze, N.; Jaffar, J. ; Voicu, R. 
1999Functional elimination and 0/1/All constraintsZhang, Yuanlin ; Yap, Roland H.C. ; Jaffar, Joxan 
2007Generalized committed choiceJaffar, J. ; Yap, R.H.C. ; Zhu, K.Q.
2006Indexing for dynamic abstract regionsJaffar, J. ; Yap, R.H.C. ; Zhu, K.Q.
2006Instruction scheduling with release times and deadlines on ILP processorsWu, H.; Jaffar, J. ; Xue, J.