The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mariela Pavlova: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet
    Enforcing High-Level Security Properties for Applets. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2004, pp:1-16 [Conf]
  2. Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle
    A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2006, pp:329-344 [Conf]
  3. Lilian Burdy, Mariela Pavlova
    Java bytecode specification and verification. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1835-1839 [Conf]
  4. Gilles Barthe, Mariela Pavlova, Gerardo Schneider
    Precise Analysis of Memory Consumption using Program Logics. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:86-95 [Conf]
  5. Lilian Burdy, Marieke Huisman, Mariela Pavlova
    Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:215-229 [Conf]

  6. Preservation of Proof Obligations from Java to the Java Virtual Machine. [Citation Graph (, )][DBLP]


  7. Certification Using the Mobius Base Logic. [Citation Graph (, )][DBLP]


  8. JACK - A Tool for Validation of Security and Behaviour of Java Applications. [Citation Graph (, )][DBLP]


  9. Elimination of Ghost Variables in Program Logics. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002