Othmane Rezine

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 5

Top Topics

Directed Acyclic

Dynamic Systems

Top Venues

Publications

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
Complexity of Reachability for Data-Aware Dynamic Systems. ACSD (2018)
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
Parameterized verification of time-sensitive models of ad hoc network protocols. Theor. Comput. Sci. 612 (2016)
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version). CoRR (2016)
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
Recency-Bounded Verification of Dynamic Database-Driven Systems. PODS (2016)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine
Verification of Buffered Dynamic Register Automata. NETYS (2015)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine
Verification of Dynamic Register Automata. FSTTCS (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini
MPass: An Efficient Tool for the Analysis of Message-Passing Programs. FACS (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman
Budget-bounded model-checking pushdown systems. Formal Methods Syst. Des. 45 (2) (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine
Verification of Directed Acyclic Ad Hoc Networks. FMOODS/FORTE (2013)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman
Multi-pushdown systems with budgets. FMCAD (2012)
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
On the Verification of Timed Ad Hoc Networks. FORMATS (2011)