Publications

Salwa SOUAF, Frédéric Loulergue (0001). A First Step in the Translation of Alloy to Coq. In ICFEM.

Salwa SOUAF, Frédéric Loulergue, Pascal Berthomé (0001). A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations. In HPCS.