Zeinab Nehai

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Abductive Inference

Hypothesis Formation

Pspace Complete

Top Venues

iThings/GreenCom/CPSCom/SmartData

Publications

Zeinab Nehai, François Bobot
Deductive Proof of Ethereum Smart Contracts Using Why3. CoRR (2019)
Zeinab Nehai, Pierre-Yves Piriou, Frédéric F. Daumas
Model-Checking of Smart Contracts. iThings/GreenCom/CPSCom/SmartData (2018)
Guillaume Guérard, Bastien Pichon, Zeinab Nehai
Demand-Response: Let the Devices Take our Decisions. SMARTGREENS (2017)