 | 2008 |
|---|
| 9 |       | Gilles Barthe,
Benjamin Grégoire,
Mariela Pavlova:
Preservation of Proof Obligations from Java to the Java Virtual Machine.
IJCAR 2008: 83-99 |
| 2007 |
|---|
| 8 | | Lilian Burdy,
Marieke Huisman,
Mariela Pavlova:
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode.
FASE 2007: 215-229 |
| 7 | | Lennart Beringer,
Martin Hofmann,
Mariela Pavlova:
Certification Using the Mobius Base Logic.
FMCO 2007: 25-51 |
| 6 | | Martin Hofmann,
Mariela Pavlova:
Elimination of Ghost Variables in Program Logics.
TGC 2007: 1-20 |
| 2006 |
|---|
| 5 | | Alexandre Courbot,
Mariela Pavlova,
Gilles Grimaud,
Jean-Jacques Vandewalle:
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.
CARDIS 2006: 329-344 |
| 4 | | 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: 152-174 |
| 3 | | Lilian Burdy,
Mariela Pavlova:
Java bytecode specification and verification.
SAC 2006: 1835-1839 |
| 2005 |
|---|
| 2 | | Gilles Barthe,
Mariela Pavlova,
Gerardo Schneider:
Precise Analysis of Memory Consumption using Program Logics.
SEFM 2005: 86-95 |
| 2004 |
|---|
| 1 |  | Mariela Pavlova,
Gilles Barthe,
Lilian Burdy,
Marieke Huisman,
Jean-Louis Lanet:
Enforcing High-Level Security Properties for Applets.
CARDIS 2004: 1-16 |
