Ulf Kargén
Biträdande universitetslektor
Besök den engelska sidan för mer information.
Publikationer
2026
SceneGEMS: Scenario Generation and Execution Framework for the Safety Assurance of Maritime Autonomous Surface Vehicles
Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems, s. 219-223
(Konferensbidrag)
https://dx.doi.org/10.1145/3837062.3838872
Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface Vehicles
Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS 2026), s. 293-304
(Konferensbidrag)
https://dx.doi.org/10.1145/3822455.3830315
2024
Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface Vehicles
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, s. 249-256
(Konferensbidrag)
https://dx.doi.org/10.1145/3640310.3674098
2023
Characterizing the Use of Code Obfuscation in Malicious and Benign Android Apps
18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023, Artikel 27
(Konferensbidrag)
https://dx.doi.org/10.1145/3600160.3600194
desync-cc: A research tool for automatically applying disassembly desynchronization during compilation
Science of Computer Programming, Vol. 228, Artikel 102954
(Artikel i tidskrift)
https://dx.doi.org/10.1016/j.scico.2023.102954