{"id":468,"date":"2026-04-17T13:37:22","date_gmt":"2026-04-17T17:37:22","guid":{"rendered":"https:\/\/carleton.ca\/rads\/?page_id=468"},"modified":"2026-04-17T13:45:52","modified_gmt":"2026-04-17T17:45:52","slug":"publications-2023-2024","status":"publish","type":"page","link":"https:\/\/carleton.ca\/rads\/publications-2023-2024\/","title":{"rendered":"Publications 2023-2024"},"content":{"rendered":"\n
\n
\n\n
\n
\n
\n

\n Publications 2023-2024\n <\/h1>\n \n \n <\/header>\n\n <\/div>\n\n <\/div>\n\n <\/div>\n<\/section>\n\n\n\n

2023-2024<\/h2>\n\n\n\n

Conference Publications<\/h2>\n\n\n\n
    \n
  1. M. Abu Issa, A. Eldosouky, M. Ibnkahla, Jason Jaskolka, and A. Matrawy, \u201cIntegrating medical and wearable devices with e-health systems using horizontal IoT platforms,\u201d in 2023 IEEE Sensors Applications Symposium (SAS), (Ottawa, ON, Canada), pp. 1\u20136, 2023.<\/li>\n\n\n\n
  2. A. Jawad and J. Jaskolka, \u201cSingle and combined cyberattack impact on industrial wastewater systems,\u201d in 10th International Conference on Dependable Systems and Their Applications, DSA 2023, (Tokyo, Japan), pp. 272\u2013281, 2023.<\/li>\n\n\n\n
  3. Q. Rouland, S. Gjorcheski, and J. Jaskolka, \u201cEliciting a security architecture requirements baseline from standards and regulations,\u201d in 2023 IEEE 31st International Requirements Engineering Conference Workshops, REW, (Hannover, Germany), pp. 224\u2013229, 2023.<\/li>\n\n\n\n
  4. Q. Rouland, S. Gjorcheski, and J. Jaskolka, \u201cA security compliance-by-design framework utilizing reusable formal models,\u201d in 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2023, (Chiang Mai, Thailand), pp. 186\u2013195, 2023.<\/li>\n\n\n\n
  5. L. Thierry, J. Jaskolka, B. Hamid, and J.-P. Bodeveix, \u201cSpecification and verification of communication paradigms for CBSE in Event B,\u201d in 27th International Conference on Engineering of Complex Computer Systems, ICECSS 2023, (Toulouse, France), pp. 157\u2013166, 2023.<\/li>\n\n\n\n
  6. M. Zeroual, B. Hamid, M. Adedjouma, and J. Jaskolka, \u201cFormal model-based argument patterns for security cases,\u201d in The 28th European Conference on Pattern Languages of Programs, EuroPLoP 2023, (Kloster Irsee, Germany), pp. 1\u201312, 2023.<\/li>\n\n\n\n
  7. M. Zeroual, B. Hamid, M. Adedjouma, and J. Jaskolka, \u201cConstructing security cases based on formal verification of security requirements in Alloy,\u201d in Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops (J. Guiochet, S. Tonetta, E. Schoitsch, M. Roy, and F. Bitsch, eds.), (Cham), pp. 15\u201325, Springer Nature Switzerland, 2023.<\/li>\n\n\n\n
  8. M. Zeroual, B. Hamid, M. Adedjouma, and J. Jaskolka, \u201cSecurity argument patterns for deep neural network development,\u201d in The 30th Conference on Pattern Languages of Programs, PLoP 2023, (Monticello, IL, USA), pp. 1\u201318, 2023.<\/li>\n\n\n\n
  9. J. Baak, Q. Rouland, and J. Jaskolka, \u201cA formal metamodel with composite components,\u201d in Model and Data Engineering, MEDI 2023 (M. Mosbah, T. Kechadi, L. Bellatreche, and F. Gargouri, eds.), vol. 14396 of Lecture Notes in Computer Science, (Cham), pp. 15\u201329, Springer Nature Switzerland, 2024.<\/li>\n\n\n\n
  10. J. Breton, J. Jaskolka, and G Yee, \u201cHardening systems against data corruption attacks at design time,\u201d in 16th International Symposium on Foundations & Practice of Security (M. Mosbah, F. S\u00e8des, N. Tawbi, T. Ahmed, N. Boulahia-Cuppens, and J. Garcia-Alfaro, eds.), vol. 14551 of Lecture Notes in Computer Science, (Cham), pp. 391\u2013407, 2024.<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"

    2023-2024 Conference Publications<\/p>\n","protected":false},"author":496,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"_cu_dining_location_slug":"","footnotes":"","_links_to":"","_links_to_target":""},"cu_page_type":[28],"class_list":["post-468","page","type-page","status-publish","hentry","cu_page_type-publications"],"acf":{"cu_post_thumbnail":""},"_links":{"self":[{"href":"https:\/\/carleton.ca\/rads\/wp-json\/wp\/v2\/pages\/468","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/carleton.ca\/rads\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/carleton.ca\/rads\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/rads\/wp-json\/wp\/v2\/users\/496"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/rads\/wp-json\/wp\/v2\/comments?post=468"}],"version-history":[{"count":4,"href":"https:\/\/carleton.ca\/rads\/wp-json\/wp\/v2\/pages\/468\/revisions"}],"predecessor-version":[{"id":478,"href":"https:\/\/carleton.ca\/rads\/wp-json\/wp\/v2\/pages\/468\/revisions\/478"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/rads\/wp-json\/wp\/v2\/media?parent=468"}],"wp:term":[{"taxonomy":"cu_page_type","embeddable":true,"href":"https:\/\/carleton.ca\/rads\/wp-json\/wp\/v2\/cu_page_type?post=468"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}