@inproceedings{DBLP:conf/icsm/AbuserriehA23,
  author       = {Lobna Abuserrieh and
                  Manar H. Alalfi},
  title        = {Security and Safety Verification in IoT Apps},
  booktitle    = {{IEEE} International Conference on Software Maintenance and Evolution,
                  {ICSME} 2023, Bogot{\'{a}}, Colombia, October 1-6, 2023},
  pages        = {601--605},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICSME58846.2023.00080},
  doi          = {10.1109/ICSME58846.2023.00080},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/AbuserriehA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"snWRoBYGb9FdNq3PN","bibbaseid":"abuserrieh-alalfi-securityandsafetyverificationiniotapps-2023","author_short":["Abuserrieh, L.","Alalfi, M. H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Lobna"],"propositions":[],"lastnames":["Abuserrieh"],"suffixes":[]},{"firstnames":["Manar","H."],"propositions":[],"lastnames":["Alalfi"],"suffixes":[]}],"title":"Security and Safety Verification in IoT Apps","booktitle":"IEEE International Conference on Software Maintenance and Evolution, ICSME 2023, Bogotá, Colombia, October 1-6, 2023","pages":"601–605","publisher":"IEEE","year":"2023","url":"https://doi.org/10.1109/ICSME58846.2023.00080","doi":"10.1109/ICSME58846.2023.00080","timestamp":"Mon, 03 Mar 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/icsm/AbuserriehA23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icsm/AbuserriehA23,\n author = {Lobna Abuserrieh and\n Manar H. Alalfi},\n title = {Security and Safety Verification in IoT Apps},\n booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,\n {ICSME} 2023, Bogot{\\'{a}}, Colombia, October 1-6, 2023},\n pages = {601--605},\n publisher = {{IEEE}},\n year = {2023},\n url = {https://doi.org/10.1109/ICSME58846.2023.00080},\n doi = {10.1109/ICSME58846.2023.00080},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icsm/AbuserriehA23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Abuserrieh, L.","Alalfi, M. H."],"key":"DBLP:conf/icsm/AbuserriehA23","id":"DBLP:conf/icsm/AbuserriehA23","bibbaseid":"abuserrieh-alalfi-securityandsafetyverificationiniotapps-2023","role":"author","urls":{"Paper":"https://doi.org/10.1109/ICSME58846.2023.00080"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/49/2794.bib","dataSources":["sruHQc7MdEddqHEe4"],"keywords":[],"search_terms":["security","safety","verification","iot","apps","abuserrieh","alalfi"],"title":"Security and Safety Verification in IoT Apps","year":2023}