Mariela Pavlova
Author
Alternate names Mariela Pavlova, М.А. Павлова, M. Pavlova
Institution Fondation Sophia Antipolis
Past institutions Fondation Sophia Antipolis, Ludwig-Maximilians-Universität München, Institut national de recherche en informatique et en automatique
H-index: 7
I10-index: 7
Works count: 13
Citations count: 191
JACK — A Tool for Validation of Security and Behaviour of Java Applications
2007 · Gilles Barthe, Lilian Burdy, et al. · Lecture notes in computer science
Enforcing High-Level Security Properties for Applets
2004 · Mariela Pavlova, Gilles Barthe, et al. · IFIP International Federation for Information Processing/IFIP
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode
2007 · Lilian Burdy, Marieke Huisman, et al. · Fundamental Approaches to Software Engineering