Skip navigation
IVLE
Email
Library
Map
Calendar
Home
Research Outputs
View research outputs
Deposit publication / dataset
Researchers
Help
FAQs
Contact us
Guidelines
Log in
ScholarBank@NUS
Research Outputs
Browsing by Author
VOICU,RAZVAN
Enter a last name
Select a letter below to browse by last name or type
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Or
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
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.