Razvan Voicu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2000–2013
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICFEM | A Proof Slicing Framework for Program Verification. | Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin |
| 2011 | CAV | A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. | Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin |
| 2009 | CP | An Interpolation Method for CLP Traversal. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2008 | AAAI | Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2008 | CP | A Coinduction Rule for Entailment of Recursively Defined Properties. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2006 | VMCAI | A CLP Method for Compositional and Intermittent Predicate Abstraction. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2006 | VMCAI | Relative Safety. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2005 | ICLP | Modeling Systems in CLP. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2004 | RTSS | A CLP Proof Method for Timed Automata. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2000 | APLAS | Conditional Analysis and Verification. | Nevin Heintze, Joxan Jaffar, Razvan Voicu |
| 2000 | POPL | A Framework for Combining Analysis and Verification. | Nevin Heintze, Joxan Jaffar, Razvan Voicu |