Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator. - Razvan Voicu (ASIAN, 1996)

Conditional Analysis and Verification. - Nevin Heintze; Joxan Jaffar; Razvan Voicu (APLAS, 2000)

A Framework for Combining Analysis and Verification. - Nevin Heintze; Joxan Jaffar; Razvan Voicu (POPL, 2000)

A CLP Proof Method for Timed Automata. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (RTSS, 2004)

Modeling Systems in CLP. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (ICLP, 2005)

A CLP Method for Compositional and Intermittent Predicate Abstraction. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (VMCAI, 2006)

Relative Safety. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (VMCAI, 2006)

Language-Based Program Verification via Expressive Types. - Martin Sulzmann; Razvan Voicu (PLPV@IJCAR, 2006)

Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (AAAI, 2008)

A Coinduction Rule for Entailment of Recursively Defined Properties. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (CP, 2008)

An Interpolation Method for CLP Traversal. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (CP, 2009)

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. - Wei-Ngan Chin; Cristian Gherghina; Razvan Voicu; Quang Loc Le; Florin Craciun; Shengchao Qin (CAV, 2011)

Cyclic and Inductive Calculi are equivalent - Razvan Voicu; Mengran Li (CoRR, 2011)

A Proof Slicing Framework for Program Verification. - Ton Chanh Le; Cristian Gherghina; Razvan Voicu; Wei-Ngan Chin (ICFEM, 2013)

Exploring the Vulnerabilities of Machine Learning and Quantum Machine Learning to Adversarial Attacks Using a Malware Dataset: A Comparative Analysis. - Mst. Shapna Akter; Hossain Shahriar; Iysa Iqbal; Md Faruque Hossain; M. A. Karim; Victor Clincy; Razvan Voicu (SSE, 2023)