Mariela Pavlova
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2004–2008
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CADE | Preservation of Proof Obligations from Java to the Java Virtual Machine. | Gilles Barthe, Benjamin Grgoire, Mariela Pavlova |
| 2007 | FASE | Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. | Lilian Burdy, Marieke Huisman, Mariela Pavlova |
| 2006 | CARDIS | A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods. | Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle |
| 2006 | SAC | Java bytecode specification and verification. | Lilian Burdy, Mariela Pavlova |
| 2005 | SEFM | Precise Analysis of Memory Consumption using Program Logics. | Gilles Barthe, Mariela Pavlova, Gerardo Schneider |
| 2004 | CARDIS | Enforcing High-Level Security Properties for Applets. | Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet |