Skip to content

Mohamed Oulaaffart

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

2021–2025

Best venue rank

B

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2025NetSoftEnhancing Artificial Intelligence with Verification Techniques to Support Automated Moving Target Defense in Cloud Composite Services.Mohamed Oulaaffart, Rmi Badonnel, Nicolas Schnepf, Christophe Bianco
2022NOMSAn Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services.Mohamed Oulaaffart, Remi Badonnel, Christophe Bianco
2021IMTowards Automating Security Enhancement for Cloud Services.Mohamed Oulaaffart, Remi Badonnel, Olivier Festor