Razvan Voicu

According to our database, Razvan Voicu authored at least 15 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the IEEE International Conference on Software Services Engineering, 2023

2013

A Proof Slicing Framework for Program Verification.

Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2013

2011

Cyclic and Inductive Calculi are equivalent

Razvan Voicu, Mengran Li

CoRR, 2011

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.

Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2009

An Interpolation Method for CLP Traversal.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

A Coinduction Rule for Entailment of Recursively Defined Properties.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the Principles and Practice of Constraint Programming, 2008

Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2006

Language-Based Program Verification via Expressive Types.

Martin Sulzmann, Razvan Voicu

Proceedings of the Programming Languages meets Program Verification, 2006

Relative Safety.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the Verification, 2006

A CLP Method for Compositional and Intermittent Predicate Abstraction.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the Verification, 2006

2005

Modeling Systems in CLP.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

A CLP Proof Method for Timed Automata.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

2000

A Framework for Combining Analysis and Verification.

Nevin Heintze, Joxan Jaffar, Razvan Voicu

Proceedings of the POPL 2000, 2000

Conditional Analysis and Verification.

Nevin Heintze, Joxan Jaffar, Razvan Voicu

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1996

Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator.

Razvan Voicu

Proceedings of the Concurrency and Parallelism, 1996