Travelled to:1 × Luxembourg
1 × United Kingdom
3 × USA
Collaborated with:W.Chin S.Qin S.Motogna I.Lazar G.He S.Khoo C.Popeea M.C.Rinard C.Gherghina R.Voicu Q.L.Le
Talks about:parametr (2) variant (2) infer (2) type (2) base (2) disjunct (1) calculus (1) approach (1) support (1) special (1)
Person: Florin Craciun
DBLP: Craciun:Florin
Contributed to:
2013
2011
2009
2006
2004Wrote 5 papers:
- ICST-2013-CraciunML #modelling #testing #towards
- Towards Better Testing of fUML Models (FC, SM, IL), pp. 485–486.
- CAV-2011-ChinGVLCQ #calculus #verification
- A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification (WNC, CG, RV, QLL, FC, SQ), pp. 293–309.
- ESOP-2009-CraciunCHQ #parametricity
- An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.
- OOPSLA-2006-ChinCKP #approach #parametricity
- A flow-based approach for variant parametric types (WNC, FC, SCK, CP), pp. 273–290.
- PLDI-2004-ChinCQR #object-oriented
- Region inference for an object-oriented language (WNC, FC, SQ, MCR), pp. 243–254.