Pauline Bolignano

Modeling and Abstraction of Memory Management in a Hypervisor

Thomas Jensen, Pauline Bolignano, Vincent Siles, 2016, FASE.

Semantic-based Automated Reasoning for AWS Access Policies using SMT

Pauline Bolignano, Kasper Søe Luckow, John D. Backes, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).

One-Click Formal Methods

Cole Schlesinger, Pauline Bolignano, John D. Backes, 2019, IEEE Software.

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, Pauline Bolignano, 2017 .