Mariela Pavlova

According to our database, Mariela Pavlova authored at least 9 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Preservation of Proof Obligations from Java to the Java Virtual Machine.

Gilles Barthe, Benjamin Grégoire, Mariela Pavlova

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Elimination of Ghost Variables in Program Logics.

Martin Hofmann, Mariela Pavlova

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Certification Using the Mobius Base Logic.

Lennart Beringer, Martin Hofmann, Mariela Pavlova

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode.

Lilian Burdy, Marieke Huisman, Mariela Pavlova

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006

Java bytecode specification and verification.

Lilian Burdy, Mariela Pavlova

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

JACK - A Tool for Validation of Security and Behaviour of Java Applications.

Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.

Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle

Proceedings of the Smart Card Research and Advanced Applications, 2006

2005

Precise Analysis of Memory Consumption using Program Logics.

Gilles Barthe, Mariela Pavlova, Gerardo Schneider

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

Enforcing High-Level Security Properties for Applets.

Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet

Proceedings of the Smart Card Research and Advanced Applications VI, 2004