Othmane Rezine

According to our database, Othmane Rezine authored at least 12 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Complexity of Reachability for Data-Aware Dynamic Systems.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

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

Othmane Rezine

PhD thesis, 2017

2016

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

Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso

Theor. Comput. Sci., 2016

Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version).

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine

CoRR, 2016

Recency-Bounded Verification of Dynamic Database-Driven Systems.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

2015

Verification of Buffered Dynamic Register Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine

Proceedings of the Networked Systems - Third International Conference, 2015

2014

Budget-bounded model-checking pushdown systems.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman

Formal Methods Syst. Des., 2014

Verification of Dynamic Register Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

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

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Verification of Directed Acyclic Ad Hoc Networks.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine

Proceedings of the Formal Techniques for Distributed Systems, 2013

2012

Multi-pushdown systems with budgets.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

On the Verification of Timed Ad Hoc Networks.

Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011