Publications 2023-2024

2023-2024

Conference Publications

1. M. Abu Issa, A. Eldosouky, M. Ibnkahla, Jason Jaskolka, and A. Matrawy, “Integrating medical and wearable devices with e-health systems using horizontal IoT platforms,” in 2023 IEEE Sensors Applications Symposium (SAS), (Ottawa, ON, Canada), pp. 1–6, 2023.
2. A. Jawad and J. Jaskolka, “Single and combined cyberattack impact on industrial wastewater systems,” in 10th International Conference on Dependable Systems and Their Applications, DSA 2023, (Tokyo, Japan), pp. 272–281, 2023.
3. Q. Rouland, S. Gjorcheski, and J. Jaskolka, “Eliciting a security architecture requirements baseline from standards and regulations,” in 2023 IEEE 31st International Requirements Engineering Conference Workshops, REW, (Hannover, Germany), pp. 224–229, 2023.
4. Q. Rouland, S. Gjorcheski, and J. Jaskolka, “A security compliance-by-design framework utilizing reusable formal models,” in 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2023, (Chiang Mai, Thailand), pp. 186–195, 2023.
5. L. Thierry, J. Jaskolka, B. Hamid, and J.-P. Bodeveix, “Specification and verification of communication paradigms for CBSE in Event B,” in 27th International Conference on Engineering of Complex Computer Systems, ICECSS 2023, (Toulouse, France), pp. 157–166, 2023.
6. M. Zeroual, B. Hamid, M. Adedjouma, and J. Jaskolka, “Formal model-based argument patterns for security cases,” in The 28th European Conference on Pattern Languages of Programs, EuroPLoP 2023, (Kloster Irsee, Germany), pp. 1–12, 2023.
7. M. Zeroual, B. Hamid, M. Adedjouma, and J. Jaskolka, “Constructing security cases based on formal verification of security requirements in Alloy,” in Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops (J. Guiochet, S. Tonetta, E. Schoitsch, M. Roy, and F. Bitsch, eds.), (Cham), pp. 15–25, Springer Nature Switzerland, 2023.
8. M. Zeroual, B. Hamid, M. Adedjouma, and J. Jaskolka, “Security argument patterns for deep neural network development,” in The 30th Conference on Pattern Languages of Programs, PLoP 2023, (Monticello, IL, USA), pp. 1–18, 2023.
9. J. Baak, Q. Rouland, and J. Jaskolka, “A formal metamodel with composite components,” 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–29, Springer Nature Switzerland, 2024.
10. J. Breton, J. Jaskolka, and G Yee, “Hardening systems against data corruption attacks at design time,” in 16th International Symposium on Foundations & Practice of Security (M. Mosbah, F. Sèdes, N. Tawbi, T. Ahmed, N. Boulahia-Cuppens, and J. Garcia-Alfaro, eds.), vol. 14551 of Lecture Notes in Computer Science, (Cham), pp. 391–407, 2024.