Travelled to:1 × Spain
3 × USA
Collaborated with:J.Jaffar A.E.Santosa N.Heintze W.Chin C.Gherghina Q.L.Le F.Craciun S.Qin
Talks about:predic (2) verif (2) clp (2) intermitt (1) framework (1) disjunct (1) composit (1) calculus (1) abstract (1) support (1)
Person: Razvan Voicu
DBLP: Voicu:Razvan
Contributed to:
2011
2006
2005
2000Wrote 5 papers:
- CAV-2011-ChinGVLCQ #calculus #verification
- A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification (WNC, CG, RV, QLL, FC, SQ), pp. 293–309.
- VMCAI-2006-JaffarSV #abstraction #composition
- A CLP Method for Compositional and Intermittent Predicate Abstraction (JJ, AES, RV), pp. 17–32.
- VMCAI-2006-JaffarSV06a #safety
- Relative Safety (JJ, AES, RV), pp. 282–297.
- ICLP-2005-JaffarSV #modelling
- Modeling Systems in CLP (JJ, AES, RV), pp. 412–413.
- POPL-2000-HeintzeJV #analysis #framework #verification
- A Framework for Combining Analysis and Verification (NH, JJ, RV), pp. 26–39.