Joxan Jaffar

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Joxan Jaffar

Variants

Jaffar, Joxan
Jaffar, J.

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcsjj@nus.edu.sg

Results 21-33 of 33 (Search time: 0.006 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
21	2005	Modeling systems in CLP	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
22	2013	Path-sensitive resource analysis compliant with assertions	Chu, D.-H.; Jaffar, J.
23	2009	Recursive abstractions for parameterized systems	Jaffar, J. ; Santosa, A.E.
24	2006	Relative safety	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
25	2004	Scalable distributed depth-first search with greedy work stealing	Jaffar, J. ; Santosa, A.E. ; Yap, R.H.C. ; Zhu, K.Q.
26	2011	Symbolic simulation on complicated loops for WCET path analysis	Chu, D.-H.; Jaffar, J.
27	Oct-1998	The semantics of constraint logic programs	Jaffar, J. ; Maher, M.; Marriott, K.; Stuckey, P.
28	11-Jul-2021	Toward optimal mc/dc test case generation	Godboley, Sangharatna; Jaffar, Joxan ; Maghareh, Rasool; Dutta, Arpita
29	1997	Toward Practical Query Evaluation for Constraint Databases	Brodsky, A.; Jaffar, J. ; Maher, M.J.
30	2012	TRACER: A symbolic execution tool for verification	Jaffar, J. ; Murali, V.; Navas, J.A.; Santosa, A.E.
31	2002	Two processor scheduling with real release times and deadlines	Wu, H. ; Jaffar, J.
32	2012	Unbounded symbolic execution for program verification	Jaffar, J. ; Navas, J.A.; Santosa, A.E.
33	1996	Using constraints to model disjunctions in rule-based reasoning	Liu, Bing ; Jaffar, Joxan