1. M. Assaf , D. A. Naumann , J. Signoles , E. Totel , and F. Tronel . 2017. Hypercollecting semantics and its application to static analysis of information flow . In Proc. of POPL. 874--887 . M. Assaf, D. A. Naumann, J. Signoles, E. Totel, and F. Tronel. 2017. Hypercollecting semantics and its application to static analysis of information flow. In Proc. of POPL. 874--887.
2. Opacity generalised to transition systems
3. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
4. P. Cousot and R. Cousot . 1977. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints . In Proc. of POPL. 238--252 . P. Cousot and R. Cousot. 1977. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proc. of POPL. 238--252.