@inproceedings{DBLP:conf/serp4iot/AbuserriehA24,
  author       = {Lobna Abuserrieh and
                  Manar H. Alalfi},
  title        = {Towards an {MDRE} Approach to Verify Security and Safety of Heterogeneous
                  IoT Apps},
  booktitle    = {6th {IEEE/ACM} International Workshop on Software Engineering Research
                  {\&} Practices for the IoT, SERP4IoT@ICSE 2024, Lisbon, Portugal,
                  April 20, 2024},
  pages        = {65--72},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3643794.3648289},
  doi          = {10.1145/3643794.3648289},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/serp4iot/AbuserriehA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"KdgFMqmSCmrg7ifKQ","bibbaseid":"abuserrieh-alalfi-towardsanmdreapproachtoverifysecurityandsafetyofheterogeneousiotapps-2024","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":"Towards an MDRE Approach to Verify Security and Safety of Heterogeneous IoT Apps","booktitle":"6th IEEE/ACM International Workshop on Software Engineering Research & Practices for the IoT, SERP4IoT@ICSE 2024, Lisbon, Portugal, April 20, 2024","pages":"65–72","publisher":"IEEE","year":"2024","url":"https://doi.org/10.1145/3643794.3648289","doi":"10.1145/3643794.3648289","timestamp":"Sun, 19 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/serp4iot/AbuserriehA24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/serp4iot/AbuserriehA24,\n author = {Lobna Abuserrieh and\n Manar H. Alalfi},\n title = {Towards an {MDRE} Approach to Verify Security and Safety of Heterogeneous\n IoT Apps},\n booktitle = {6th {IEEE/ACM} International Workshop on Software Engineering Research\n {\\&} Practices for the IoT, SERP4IoT@ICSE 2024, Lisbon, Portugal,\n April 20, 2024},\n pages = {65--72},\n publisher = {{IEEE}},\n year = {2024},\n url = {https://doi.org/10.1145/3643794.3648289},\n doi = {10.1145/3643794.3648289},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/serp4iot/AbuserriehA24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Abuserrieh, L.","Alalfi, M. H."],"key":"DBLP:conf/serp4iot/AbuserriehA24","id":"DBLP:conf/serp4iot/AbuserriehA24","bibbaseid":"abuserrieh-alalfi-towardsanmdreapproachtoverifysecurityandsafetyofheterogeneousiotapps-2024","role":"author","urls":{"Paper":"https://doi.org/10.1145/3643794.3648289"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/49/2794.bib","dataSources":["sruHQc7MdEddqHEe4"],"keywords":[],"search_terms":["towards","mdre","approach","verify","security","safety","heterogeneous","iot","apps","abuserrieh","alalfi"],"title":"Towards an MDRE Approach to Verify Security and Safety of Heterogeneous IoT Apps","year":2024}