Razvan Voicu - RankMe

16 papers A* 3A 3B 4C 1Journal 2Unranked 3

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