BibTeX records: Othmane Rezine

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Othmane Rezine

download as .bib file

@inproceedings{DBLP:conf/acsd/AbdullaAAMR18,
  author       = {Parosh Aziz Abdulla and
                  C. Aiswarya and
                  Mohamed Faouzi Atig and
                  Marco Montali and
                  Othmane Rezine},
  title        = {Complexity of Reachability for Data-Aware Dynamic Systems},
  booktitle    = {18th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2018, Bratislava, Slovakia, June 25-29, 2018},
  pages        = {11--20},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2018.000-3},
  doi          = {10.1109/ACSD.2018.000-3},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/AbdullaAAMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/se/Rezine17,
  author       = {Othmane Rezine},
  title        = {Verification of networks of communicating processes: Reachability
                  problems and decidability issues},
  school       = {Uppsala University, Sweden},
  year         = {2017},
  url          = {https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-334788},
  urn          = {urn:nbn:se:uu:diva-334788},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/se/Rezine17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AbdullaDRST16,
  author       = {Parosh Aziz Abdulla and
                  Giorgio Delzanno and
                  Othmane Rezine and
                  Arnaud Sangnier and
                  Riccardo Traverso},
  title        = {Parameterized verification of time-sensitive models of ad hoc network
                  protocols},
  journal      = {Theor. Comput. Sci.},
  volume       = {612},
  pages        = {1--22},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.07.048},
  doi          = {10.1016/J.TCS.2015.07.048},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AbdullaDRST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pods/AbdullaAAMR16,
  author       = {Parosh Aziz Abdulla and
                  C. Aiswarya and
                  Mohamed Faouzi Atig and
                  Marco Montali and
                  Othmane Rezine},
  editor       = {Tova Milo and
                  Wang{-}Chiew Tan},
  title        = {Recency-Bounded Verification of Dynamic Database-Driven Systems},
  booktitle    = {Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
                  of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26
                  - July 01, 2016},
  pages        = {195--210},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2902251.2902300},
  doi          = {10.1145/2902251.2902300},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/AbdullaAAMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/AbdullaAAMR16,
  author       = {Parosh Aziz Abdulla and
                  C. Aiswarya and
                  Mohamed Faouzi Atig and
                  Marco Montali and
                  Othmane Rezine},
  title        = {Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended
                  Version)},
  journal      = {CoRR},
  volume       = {abs/1604.03413},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.03413},
  eprinttype    = {arXiv},
  eprint       = {1604.03413},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbdullaAAMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/netys/AbdullaAKR15,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Ahmet Kara and
                  Othmane Rezine},
  editor       = {Ahmed Bouajjani and
                  Hugues Fauconnier},
  title        = {Verification of Buffered Dynamic Register Automata},
  booktitle    = {Networked Systems - Third International Conference, {NETYS} 2015,
                  Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9466},
  pages        = {15--31},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26850-7\_2},
  doi          = {10.1007/978-3-319-26850-7\_2},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/netys/AbdullaAKR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/AbdullaARS14,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Othmane Rezine and
                  Jari Stenman},
  title        = {Budget-bounded model-checking pushdown systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {2},
  pages        = {273--301},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-014-0207-y},
  doi          = {10.1007/S10703-014-0207-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AbdullaARS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/AbdullaACMRS14,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Jonathan Cederberg and
                  Subham Modi and
                  Othmane Rezine and
                  Gaurav Saini},
  editor       = {Ivan Lanese and
                  Eric Madelaine},
  title        = {MPass: An Efficient Tool for the Analysis of Message-Passing Programs},
  booktitle    = {Formal Aspects of Component Software - 11th International Symposium,
                  {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8997},
  pages        = {198--206},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-15317-9\_13},
  doi          = {10.1007/978-3-319-15317-9\_13},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/facs2/AbdullaACMRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/AbdullaAKR14,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Ahmet Kara and
                  Othmane Rezine},
  editor       = {Venkatesh Raman and
                  S. P. Suresh},
  title        = {Verification of Dynamic Register Automata},
  booktitle    = {34th International Conference on Foundation of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
                  New Delhi, India},
  series       = {LIPIcs},
  volume       = {29},
  pages        = {653--665},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.653},
  doi          = {10.4230/LIPICS.FSTTCS.2014.653},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/AbdullaAKR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/AbdullaAR13,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Othmane Rezine},
  editor       = {Dirk Beyer and
                  Michele Boreale},
  title        = {Verification of Directed Acyclic Ad Hoc Networks},
  booktitle    = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
                  International Conference, {FMOODS/FORTE} 2013, Held as Part of the
                  8th International Federated Conference on Distributed Computing Techniques,
                  DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7892},
  pages        = {193--208},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38592-6\_14},
  doi          = {10.1007/978-3-642-38592-6\_14},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AbdullaAR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/AbdullaARS12,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Othmane Rezine and
                  Jari Stenman},
  editor       = {Gianpiero Cabodi and
                  Satnam Singh},
  title        = {Multi-pushdown systems with budgets},
  booktitle    = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
                  UK, October 22-25, 2012},
  pages        = {24--33},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6462552/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/AbdullaARS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/AbdullaDRST11,
  author       = {Parosh Aziz Abdulla and
                  Giorgio Delzanno and
                  Othmane Rezine and
                  Arnaud Sangnier and
                  Riccardo Traverso},
  editor       = {Uli Fahrenberg and
                  Stavros Tripakis},
  title        = {On the Verification of Timed Ad Hoc Networks},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 9th International
                  Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6919},
  pages        = {256--270},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24310-3\_18},
  doi          = {10.1007/978-3-642-24310-3\_18},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/AbdullaDRST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.