Layal Samarji

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Provably Correct

Temporal Evolution

Sensing Actions

Top Venues

Publications

Layal Samarji, Frédéric Cuppens, Nora Cuppens-Boulahia, Wael Kanoun, Samuel Dubus
Situation Calculus and Graph Based Defensive Modeling of Simultaneous Attacks. CSS (2013)
Wael Kanoun, Layal Samarji, Nora Cuppens-Boulahia, Samuel Dubus, Frédéric Cuppens
Towards a Temporal Response Taxonomy. DPM/SETOP (2012)