Othmane Rezine

12 papers A* 1B 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2018 — conf
Complexity of Reachability for Data-Aware Dynamic Systems.
ACSD
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2017 — —
Verification of networks of communicating processes: Reachability problems and decidability issues.
Othmane Rezine
2016 J jnl
Parameterized verification of time-sensitive models of ad hoc network protocols.
Theor. Comput. Sci.
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
2016 J jnl
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version).
CoRR
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2016 A* conf
Recency-Bounded Verification of Dynamic Database-Driven Systems.
PODS
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2015 — conf
Verification of Buffered Dynamic Register Automata.
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine
2014 J jnl
Budget-bounded model-checking pushdown systems.
Formal Methods Syst. Des.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman
2014 — conf
MPass: An Efficient Tool for the Analysis of Message-Passing Programs.
FACS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini
2014 — conf
Verification of Dynamic Register Automata.
FSTTCS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine
2013 — conf
Verification of Directed Acyclic Ad Hoc Networks.
FMOODS/FORTE
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine
2012 B conf
Multi-pushdown systems with budgets.
FMCAD
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman
2011 — conf
On the Verification of Timed Ad Hoc Networks.
FORMATS
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso