Browsing DSpace | ScholarBank@NUS

Browsing by Author VOICU,RAZVAN

Showing results 1 to 11 of 11

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
	2006	A CLP method for compositional and intermittent predicate abstraction	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
	2004	A CLP proof method for timed automata	Jaffar, J. ; Santosa, A. ; Voicu, R.
	2008	A coinduction rule for entailment of recursively defined properties	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
	2013	A proof slicing framework for program verification	Le, T.C.; Gherghina, C.; Voicu, R. ; Chin, W.-N.
	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.
	2009	An interpolation method for CLP traversal	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
	2008	Efficient memoization for dynamic programming with ad-hoc constraints	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
	2000	Framework for combining analysis and verification	Heintze, N.; Jaffar, J. ; Voicu, R.
	2007	Language-Based Program Verification via Expressive Types	Sulzmann, M. ; Voicu, R.
	2005	Modeling systems in CLP	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
	2006	Relative safety	Jaffar, J. ; Santosa, A.E. ; Voicu, R.

Showing results 1 to 11 of 11