Pauline Bolignano

Most-cited papers

1. Semantic-based Automated Reasoning for AWS Access Policies using SMT

   John D. Backes, Pauline Bolignano, B. Cook, Catherine Dodge +5 more

   2018Formal Methods in Computer-Aided Design140 citations Open access

   Semantic Scholar

   Save

2. One-Click Formal Methods

   John D. Backes, Pauline Bolignano, B. Cook, Andrew Gacek +7 more

   2019IEEE Software27 citations

   Semantic Scholar

   Save

3. Modeling and Abstraction of Memory Management in a Hypervisor

   Pauline Bolignano, Thomas P. Jensen, Vincent Siles

   2016Fundamental Approaches to Software Engineering10 citations Open access

   Semantic Scholar

   Save

4. Differential cost analysis with simultaneous potentials and anti-potentials

   Đorđe Žikelić, B. E. Chang, Pauline Bolignano, F. Raimondi

   2022ACM-SIGPLAN Symposium on Programming Language Design and Implementation4 citations Open access

   Semantic Scholar

   Save

5. Lifting On-Demand Analysis to Higher-Order Languages

   Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki +4 more

   2023Sensors Applications Symposium2 citations

   Semantic Scholar

   Save

6. Formal models and verification of memory management in a hypervisor. (Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur)

   Pauline Bolignano

   20172 citations

   Semantic Scholar

   Save

7. Automatic Annotation of Confidential Data in Java Code

   Iulia Bastys, Pauline Bolignano, F. Raimondi, Daniel Schoepe

   2021Foundations and Practice of Security1 citations

   Semantic Scholar

   Save