Travelled to:1 × Australia
1 × France
1 × Germany
1 × Portugal
Collaborated with:L.Burdy G.Barthe B.Grégoire M.Huisman G.Schneider
Talks about:java (4) bytecod (2) specif (2) preliminari (1) interfac (1) consumpt (1) behavior (1) virtual (1) program (1) preserv (1)
Person: Mariela Pavlova
DBLP: Pavlova:Mariela
Contributed to:
2008
2007
2006
2005Wrote 4 papers:
- IJCAR-2008-BartheGP #java #proving #virtual machine
- Preservation of Proof Obligations from Java to the Java Virtual Machine (GB, BG, MP), pp. 83–99.
- FASE-2007-BurdyHP #behaviour #bytecode #design #interface #java #specification
- Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode (LB, MH, MP), pp. 215–229.
- SAC-2006-BurdyP #bytecode #java #specification #verification
- Java bytecode specification and verification (LB, MP), pp. 1835–1839.
- SEFM-2005-BarthePS #analysis #logic #memory management #precise #using
- Precise Analysis of Memory Consumption using Program Logics (GB, MP, GS), pp. 86–95.