Travelled to:1 × Canada
Collaborated with:∅ V.C.Ngo A.Legay M.Weiss F.d.Ferrière B.Delsart C.Fabre F.Hirsch E.A.Johnson F.Roy F.Siebert X.Spengler
Talks about:probabilist (1) toolkit (1) bytecod (1) system (1) runtim (1) orient (1) object (1) compil (1) verif (1) turbo (1)
Person: Vania Joloboff
DBLP: Joloboff:Vania
Contributed to:
1998
1991
2016Wrote 3 papers:
- LCTES-1998-WeissFDFHJJRSS #compilation #java
- TurboJ, a Java Bytecode-to-Native Compiler (MW, FdF, BD, CF, FH, EAJ, VJ, FR, FS, XS), pp. 119–130.
- TOOLS-USA-1991-Joloboff #object-oriented #tool support
- Invited Paper: OSF Motif: An Object-Oriented Toolkit (VJ), pp. 7–22.
- CAV-2016-NgoLJ #modelling #named #probability #runtime #verification
- PSCV: A Runtime Verification Tool for Probabilistic SystemC Models (VCN, AL, VJ), pp. 84–91.