| 2025 | ICINCO | A Digital Twin Enabled Runtime Analysis and Mitigation for Autonomous Robots Under Uncertainties. | Jalil Boudjadar, Mirgita Frasheri |
| 2025 | ICSoft | Validating the Optimization of a Building Occupancy Monitoring Software System. | Jalil Boudjadar, Simon Thrane Hansen |
| 2024 | ICSoft | A Lightweight, Computation-Efficient CNN Framework for an Optimization-Driven Detection of Maize Crop Disease. | Shahinza Manzoor, Muhammad Rizwan Mughal, Syed Ali Irtaza, Saif ul Islam, Jalil Boudjadar |
| 2024 | SISY | Highly Accurate Anomaly Detection for the Combustion System of a Marine Engine Using Multivariate Transformers. | Iman Sharifirad, Jalil Boudjadar, Peter Gorm Larsen |
| 2023 | HPCC | Advanced Acceleration and Implementation of Convolutional Neural Networks on FPGAs. | Mikkel Jensen, Jesper Jakobsen, Iman Sharifirad, Jalil Boudjadar |
| 2023 | ICSoft | A Knowledge-Based Proactive Intelligent System for Buildings Occupancy Monitoring. | Marie Unmack Baerentzen, Jalil Boudjadar, Saif ul Islam, Carl Peter Leslie Schultz |
| 2022 | ICINCO | A Digital Twin Setup for Safety-aware Optimization of a Cyber-physical System. | Jalil Boudjadar, Martin Tomko |
| 2022 | ISDA | A Flexible Implementation Model for Neural Networks on FPGAs. | Jesper Jakobsen, Mikkel Jensen, Iman Sharifirad, Jalil Boudjadar |
| 2021 | ICSE | Formally Verified Credentials Management for Industrial Control Systems. | Tomas Kulik, Jalil Boudjadar, Diego F. Aranha |
| 2021 | IECON | Optimal Control Strategies of Fuel cell/Battery Based Zero-Emission Ships: A Survey. | Mohsen Banaei, Jalil Boudjadar, Razgar Ebrahimy, Henrik Madsen |
| 2021 | MEDI | Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings. | Mads Mrk Beck, Jalil Boudjadar, Yousra Chougui |
| 2021 | MMAR | Cost-effective control of Roll-on/Roll-off Emission-Free Ships. | Mohsen Banaei, Fatemeh Ghanami, Mohammad Hassan Khooban, Jalil Boudjadar |
| 2020 | ICSE | Towards Formally Verified Key Management for Industrial Control Systems. | Tomas Kulik, Jalil Boudjadar, Diego F. Aranha |
| 2020 | ICSE | Security Verification of Industrial Control Systems using Partial Model Checking. | Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jrgensen |
| 2019 | IECON | Shipboard Secondary Load Frequency Control Based on PPLs and Communication Degradations. | Meysam Gheisarnejad, Mohammad Hassan Khooban, Tomislav Dragicevic, Jalil Boudjadar |
| 2019 | MEMOCODE | Security analysis of cloud-connected industrial control systems using combinatorial testing. | Peter W. V. Tran-Jrgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen |
| 2018 | ICST | A Framework for Threat-Driven Cyber Security Verification of IoT Systems. | Tomas Kulik, Peter W. V. Tran-Jrgensen, Jalil Boudjadar, Carl Schultz |
| 2018 | ISORC | Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. | Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman |
| 2016 | MEMOCODE | Performance-aware scheduling of multicore time-critical systems. | Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani |