Demand-Response: Let the Devices Take our Decisions. - Guillaume Guérard; Bastien Pichon; Zeinab Nehai (SMARTGREENS, 2017)

Model-Checking of Smart Contracts. - Zeinab Nehai; Pierre-Yves Piriou; Frédéric F. Daumas (iThings/GreenCom/CPSCom/SmartData, 2018)

Deductive Proof of Industrial Smart Contracts Using Why3. - Zeinab Nehaï; François Bobot (FM Workshops (1), 2019)

Deductive Proof of Ethereum Smart Contracts Using Why3. - Zeinab Nehai; François Bobot (CoRR, 2019)

A TLA+ Formal Proof of a Cross-Chain Swap. - Zeinab Nehaï; François Bobot; Sara Tucci Piergiovanni; Carole Delporte-Gallet; Hugues Fauconnier (ICDCN, 2022)

Formalisation et vérification des systèmes blockchain. (Formalisation and verification of blockchain systems). - Zeinab Nehaï (2022)