Othmane Rezine

Verification of networks of communicating processes: Reachability problems and decidability issues

Othmane Rezine, Othmane Rezine, 2017 .

Multi-pushdown systems with budgets

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).

Parameterized verification of time-sensitive models of ad hoc network protocols

Parosh Aziz Abdulla, Giorgio Delzanno, Arnaud Sangnier, 2016, Theor. Comput. Sci..

Budget-bounded model-checking pushdown systems

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, 2014, Formal Methods Syst. Des..

Verification of Dynamic Register Automata

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, 2014, FSTTCS.

Complexity of Reachability for Data-Aware Dynamic Systems

Parosh Aziz Abdulla, C. Aiswarya, Marco Montali, 2018, 2018 18th International Conference on Application of Concurrency to System Design (ACSD).

Recency-Bounded Verification of Dynamic Database-Driven Systems

Parosh Aziz Abdulla, C. Aiswarya, Marco Montali, 2016, PODS.

MPass: An Efficient Tool for the Analysis of Message-Passing Programs

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, 2014, FACS.

Verification of Directed Acyclic Ad Hoc Networks

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, 2013, FMOODS/FORTE.

On the Verification of Timed Ad Hoc Networks

Parosh Aziz Abdulla, Giorgio Delzanno, Arnaud Sangnier, 2011, FORMATS.

Verification of Buffered Dynamic Register Automata

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, 2015, NETYS.