Voicu,Razvan

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Voicu,Razvan

(not current staff)

Variants

Voicu, R.

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcsrv@nus.edu.sg

Results 1-11 of 11 (Search time: 0.003 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2006	A CLP method for compositional and intermittent predicate abstraction	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
2	2004	A CLP proof method for timed automata	Jaffar, J. ; Santosa, A. ; Voicu, R.
3	2008	A coinduction rule for entailment of recursively defined properties	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
4	2013	A proof slicing framework for program verification	Le, T.C.; Gherghina, C.; Voicu, R. ; Chin, W.-N.
5	2011	A specialization calculus for pruning disjunctive predicates to support verification	Chin, W.-N. ; Gherghina, C.; Voicu, R. ; Le, Q.L.; Craciun, F. ; Qin, S.
6	2009	An interpolation method for CLP traversal	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
7	2008	Efficient memoization for dynamic programming with ad-hoc constraints	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
8	2000	Framework for combining analysis and verification	Heintze, N.; Jaffar, J. ; Voicu, R.
9	2007	Language-Based Program Verification via Expressive Types	Sulzmann, M. ; Voicu, R.
10	2005	Modeling systems in CLP	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
11	2006	Relative safety	Jaffar, J. ; Santosa, A.E. ; Voicu, R.