Razvan Voicu

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 2

Top Topics

Text Classification

Countermeasures

Explanation Based Learning

Security Vulnerabilities

Top Venues

Publications

Mst. Shapna Akter, Hossain Shahriar, Iysa Iqbal, MD Hossain, M. A. Karim, Victor Clincy, Razvan Voicu
Exploring the Vulnerabilities of Machine Learning and Quantum Machine Learning to Adversarial Attacks using a Malware Dataset: A Comparative Analysis. CoRR (2023)
Mst. Shapna Akter, Hossain Shahriar, Iysa Iqbal, Md Faruque Hossain, M. A. Karim, Victor Clincy, Razvan Voicu
Exploring the Vulnerabilities of Machine Learning and Quantum Machine Learning to Adversarial Attacks Using a Malware Dataset: A Comparative Analysis. SSE (2023)
Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin
A Proof Slicing Framework for Program Verification. ICFEM (2013)
Razvan Voicu, Mengran Li
Cyclic and Inductive Calculi are equivalent CoRR (2011)
Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. CAV (2011)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
An Interpolation Method for CLP Traversal. CP (2009)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
A Coinduction Rule for Entailment of Recursively Defined Properties. CP (2008)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. AAAI (2008)
Martin Sulzmann, Razvan Voicu
Language-Based Program Verification via Expressive Types. Electron. Notes Theor. Comput. Sci. 174 (7) (2007)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
A CLP Method for Compositional and Intermittent Predicate Abstraction. VMCAI (2006)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Relative Safety. VMCAI (2006)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Modeling Systems in CLP. ICLP (2005)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
A CLP Proof Method for Timed Automata. RTSS (2004)
Nevin Heintze, Joxan Jaffar, Razvan Voicu
A Framework for Combining Analysis and Verification. POPL (2000)
Nevin Heintze, Joxan Jaffar, Razvan Voicu
Conditional Analysis and Verification. APLAS (2000)
Razvan Voicu
Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator. ASIAN (1996)