@inproceedings{ZHachichaHK19,
  author    = {Marwa Hachicha and
               Riadh Ben Halima and
               Ahmed Hadj Kacem},
  editor    = {Imre J. Rudas and
               J{\'{a}}nos Csirik and
               Carlos Toro and
               J{\'{a}}nos Botzheim and
               Robert J. Howlett and
               Lakhmi C. Jain},
  title     = {Formal Verification approaches of Self-adaptive Systems: {A} Survey},
  booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
               Proceedings of the 23rd International Conference KES-2019, Budapest,
               Hungary, 4-6 September 2019},
  series    = {Procedia Computer Science},
  volume    = {159},
  pages     = {1853--1862},
  publisher = {Elsevier},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.procs.2019.09.357},
  doi       = {10.1016/j.procs.2019.09.357},
}