2008 |
10 | | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.
AAAI 2008: 297-303 |
9 | EE | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
A Coinduction Rule for Entailment of Recursively Defined Properties.
CP 2008: 493-508 |
2007 |
8 | EE | Martin Sulzmann,
Razvan Voicu:
Language-Based Program Verification via Expressive Types.
Electr. Notes Theor. Comput. Sci. 174(7): 129-147 (2007) |
2006 |
7 | EE | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
A CLP Method for Compositional and Intermittent Predicate Abstraction.
VMCAI 2006: 17-32 |
6 | EE | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
Relative Safety.
VMCAI 2006: 282-297 |
2005 |
5 | EE | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
Modeling Systems in CLP.
ICLP 2005: 412-413 |
2004 |
4 | EE | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
A CLP Proof Method for Timed Automata.
RTSS 2004: 175-186 |
2000 |
3 | | Nevin Heintze,
Joxan Jaffar,
Razvan Voicu:
Conditional Analysis and Verification.
APLAS 2000: 33-49 |
2 | EE | Nevin Heintze,
Joxan Jaffar,
Razvan Voicu:
A Framework for Combining Analysis and Verification.
POPL 2000: 26-39 |
1996 |
1 | | Razvan Voicu:
Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator.
ASIAN 1996: 359-360 |