Othmane Rezine

According to our database1, Othmane Rezine authored at least 11 papers between 2011 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Complexity of Reachability for Data-Aware Dynamic Systems.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2016
Parameterized verification of time-sensitive models of ad hoc network protocols.
Theor. Comput. Sci., 2016

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

Recency-Bounded Verification of Dynamic Database-Driven Systems.
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

2015
Verification of Buffered Dynamic Register Automata.
Proceedings of the Networked Systems - Third International Conference, 2015

2014
Budget-bounded model-checking pushdown systems.
Formal Methods Syst. Des., 2014

Verification of Dynamic Register Automata.
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.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013
Verification of Directed Acyclic Ad Hoc Networks.
Proceedings of the Formal Techniques for Distributed Systems, 2013

2012
Multi-pushdown systems with budgets.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011
On the Verification of Timed Ad Hoc Networks.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011


  Loading...