An Experiment in Automatic Generation of Protocols from HMSCs. - Rouwaida Abdallah; Claude Jard (NOTERE, 2011)

Scenario Realizability with Constraint Optimization. - Rouwaida Abdallah; Arnaud Gotlieb; Loïc Hélouët; Claude Jard (FASE, 2013)

Implementability of distributed systems described with scenarios. (Implémentabilité de systèmes distribués décrits à l'aide de scénarios). - Rouwaida Abdallah (2013)

Using Model Driven Engineering to Support Multi-paradigms Security Analysis. - Rouwaida Abdallah; Anas Motii; Nataliya Yakymets; Agnes Lanusse (MODELSWARD (Revised Selected Papers), 2015)

Towards a Model-driven based Security Framework. - Rouwaida Abdallah; Nataliya Yakymets; Agnes Lanusse (MODELSWARD, 2015)

Distributed implementation of message sequence charts. - Rouwaida Abdallah; Loïc Hélouët; Claude Jard (Softw. Syst. Model., 2015)

A Blockchain Based Methodology for Power Grid Control Systems. - Rouwaida Abdallah; Rim Abdallah (ICR, 2022)

Notara: Efficient Blockchain Asset Notarization Service. - Guillermo Toyos-Marfurt; Rouwaida Abdallah; Álvaro García-Pérez (BRAINS, 2024)

Adversary-Augmented Simulation to evaluate order-fairness on HyperLedger Fabric. - Erwan Mahe; Rouwaida Abdallah; Sara Tucci Piergiovanni; Pierre-Yves Piriou (LADC, 2024)

Adversary-Augmented Simulation to evaluate client-fairness on HyperLedger Fabric. - Erwan Mahe; Rouwaida Abdallah; Sara Tucci Piergiovanni; Pierre-Yves Piriou (CoRR, 2024)

Adversary-Augmented Simulation for Fairness Evaluation and Defense in Hyperledger Fabric. - Erwan Mahe; Rouwaida Abdallah; Pierre-Yves Piriou; Sara Tucci Piergiovanni (CoRR, 2025)