Mariela Pavlova

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Gilles Barthe, Benjamin Grégoire, Mariela Pavlova
Preservation of Proof Obligations from Java to the Java Virtual Machine. IJCAR (2008)
Martin Hofmann, Mariela Pavlova
Elimination of Ghost Variables in Program Logics. TGC (2007)
Lennart Beringer, Martin Hofmann, Mariela Pavlova
Certification Using the Mobius Base Logic. FMCO (2007)
Lilian Burdy, Marieke Huisman, Mariela Pavlova
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. FASE (2007)
Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods. CARDIS (2006)
Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet
JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO (2006)
Lilian Burdy, Mariela Pavlova
Java bytecode specification and verification. SAC (2006)
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
Precise Analysis of Memory Consumption using Program Logics. SEFM (2005)
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet
Enforcing High-Level Security Properties for Applets. CARDIS (2004)