Salwa Souaf

According to our database, Salwa Souaf authored at least 4 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Experience Report: Teaching Code Analysis and Verification Using Frama-C.

Salwa Souaf, Frédéric Loulergue

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

2019

A First Step in the Translation of Alloy to Coq.

Salwa Souaf, Frédéric Loulergue

Proceedings of the Formal Methods and Software Engineering, 2019

2018

Strong Security Guarantees: From Alloy to Coq (Research Poster).

Salwa Souaf, Frédéric Loulergue

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations.

Salwa Souaf, Pascal Berthomé, Frédéric Loulergue

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018