Zeinab Nehaï

According to our database, Zeinab Nehaï authored at least 6 papers between 2017 and 2022.

Collaborative distances:

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

2022

Formalisation et vérification des systèmes blockchain. (Formalisation and verification of blockchain systems).

Zeinab Nehaï

PhD thesis, 2022

A TLA+ Formal Proof of a Cross-Chain Swap.

Zeinab Nehaï, François Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier

Proceedings of the ICDCN '22: 23rd International Conference on Distributed Computing and Networking, Delhi, AA, India, January 4, 2022

2019

Deductive Proof of Ethereum Smart Contracts Using Why3.

Zeinab Nehai, François Bobot

CoRR, 2019

Deductive Proof of Industrial Smart Contracts Using Why3.

Zeinab Nehaï, François Bobot

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Model-Checking of Smart Contracts.

Zeinab Nehai, Pierre-Yves Piriou, Frédéric F. Daumas

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

2017

Demand-Response: Let the Devices Take our Decisions.

Guillaume Guérard, Bastien Pichon, Zeinab Nehai

Proceedings of the SMARTGREENS 2017, 2017