Jalil Boudjadar

60 papers B 1C 15Misc 2Journal 23Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Identifying Uncertainty in Self-Adaptive Robotics With Large Language Models. IEEE Softw. Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri, Shaukat Ali, Peter Gorm Larsen
2025	—	`conf`	A Digital Twin Enabled Runtime Analysis and Mitigation for Autonomous Robots Under Uncertainties. ICINCO (2) Jalil Boudjadar, Mirgita Frasheri
2025	—	`conf`	Cascaded TinyML-Based Reduction for the Anomaly Detection Model of an Industrial Combustion System. ICPS Iman Sharifirad, Jalil Boudjadar, Peter Gorm Larsen
2025	J	`jnl`	Dynamic FPGA reconfiguration for scalable embedded artificial intelligence (AI): A co-design methodology for convolutional neural networks (CNN) acceleration. Future Gener. Comput. Syst. Jalil Boudjadar, Saif ul Islam, Rajkumar Buyya
2025	J	`jnl`	Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models. CoRR Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri, Shaukat Ali, Peter Gorm Larsen
2025	C	`conf`	Ontology-Driven Simulations for Quantified Service Discovery in Manufacturing Ecosystems. DS-RT Milan Vathoopan, Jalil Boudjadar, Michael M. Hertwig, Joachim Lentes
2025	C	`conf`	Validating the Optimization of a Building Occupancy Monitoring Software System. ICSOFT Jalil Boudjadar, Simon Thrane Hansen
2024	C	`conf`	A Lightweight, Computation-Efficient CNN Framework for an Optimization-Driven Detection of Maize Crop Disease. ICSOFT Shahinza Manzoor, Muhammad Rizwan Mughal, Syed Ali Irtaza, Saif ul Islam, Jalil Boudjadar
2024	J	`jnl`	Cilium and VDM - Towards Formal Analysis of Cilium Policies. CoRR Tomas Kulik, Jalil Boudjadar
2024	C	`conf`	Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty. DS-RT Joakim Schack Betzer, Jalil Boudjadar, Mirgita Frasheri, Prasad Talasila
2024	J	`jnl`	Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty. CoRR Joakim Schack Betzer, Jalil Boudjadar, Mirgita Frasheri, Prasad Talasila
2024	—	`conf`	Enhancing and Validating Simulator Data Generation Integrity Through Frequency-Based Analysis. BCD Iman Sharifirad, Jalil Boudjadar, Peter Gorm Larsen
2024	Misc	`conf`	Highly Accurate Anomaly Detection for the Combustion System of a Marine Engine Using Multivariate Transformers. SISY Iman Sharifirad, Jalil Boudjadar, Peter Gorm Larsen
2023	C	`conf`	A Knowledge-Based Proactive Intelligent System for Buildings Occupancy Monitoring. ICSOFT Marie Unmack Baerentzen, Jalil Boudjadar, Saif ul Islam, Carl Peter Leslie Schultz
2023	J	`jnl`	A Mobile-Based System for Detecting Ginger Leaf Disorders Using Deep Learning. Future Internet Waheed Ali H. M. Ghanem, Waseem Akram, Saif ul Islam, Abdul Hadi, Jalil Boudjadar, Noureen Zafar
2023	—	`conf`	Advanced Acceleration and Implementation of Convolutional Neural Networks on FPGAs. HPCC/DSS/SmartCity/DependSys Mikkel Jensen, Jesper Jakobsen, Iman Sharifirad, Jalil Boudjadar
2023	—	`conf`	AgriScanNet-18: A Robust Multilayer CNN for Identification of Potato Plant Diseases. IntelliSys (2) Shahinza Manzoor, Shahram Hamza Manzoor, Saif ul Islam, Jalil Boudjadar
2023	J	`jnl`	Design and Simulation-Based Optimization of an Intelligent Autonomous Cruise Control System. Comput. Milad Andalibi, Alireza Shourangizhaghighi, Mojtaba Hajihosseini, Seyed Saeed Madani, Carlos Ziebert, Jalil Boudjadar
2023	J	`jnl`	Optimal Design of Wireless Charging Electric Buses-Based Machine Learning: A Case Study of Nguyen-Dupuis Network. IEEE Trans. Veh. Technol. Arman Fathollahi, Meysam Gheisarnejad, Jalil Boudjadar, Maryam Homayounzadeh, Mohammad Hassan Khooban
2022	C	`conf`	A Digital Twin Setup for Safety-aware Optimization of a Cyber-physical System. ICINCO Jalil Boudjadar, Martin Tomko
2022	—	`conf`	A Flexible Implementation Model for Neural Networks on FPGAs. ISDA (3) Jesper Jakobsen, Mikkel Jensen, Iman Sharifirad, Jalil Boudjadar
2022	—	`conf`	Formal Model In-The-Loop for Secure Industrial Control Networks. FACS Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha
2022	J	`jnl`	Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability Enhancement in Multi Machine System. IEEE Access Bushra Saleem, Rabiah Badar, Awais Manzoor, Malik Ali Judge, Jalil Boudjadar, Saif ul Islam
2021	—	`conf`	A Novel Method for Stabilizing Buck-Boost Converters with CPL using Model Prediction Control. ICIT Milad Andalibi, Mojtaba Hajihosseini, Meysam Gheisarnejad, Mohammad Hassan Khooban, Jalil Boudjadar
2021	Misc	`conf`	Cost-effective control of Roll-on/Roll-off Emission-Free Ships. MMAR Mohsen Banaei, Fatemeh Ghanami, Mohammad Hassan Khooban, Jalil Boudjadar
2021	J	`jnl`	Deep Learning-Based Energy Management of an All-Electric City Bus With Wireless Power Transfer. IEEE Access Mehdi Rafiei, Jalil Boudjadar, Matthew P. Griffiths, Mohammad Hassan Khooban
2021	—	`conf`	Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings. MEDI Workshops Mads Mørk Beck, Jalil Boudjadar, Yousra Chougui
2021	J	`jnl`	Energy Management of a Zero-Emission Ferry Boat With a Fuel-Cell-Based Hybrid Energy System: Feasibility Assessment. IEEE Trans. Ind. Electron. Mehdi Rafiei, Jalil Boudjadar, Mohammad Hassan Khooban
2021	—	`conf`	Formally Verified Credentials Management for Industrial Control Systems. FormaliSE@ICSE Tomas Kulik, Jalil Boudjadar, Diego F. Aranha
2021	—	`conf`	Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. IntelliSys (2) Jalil Boudjadar, Mads Mørk Beck
2021	C	`conf`	Optimal Control Strategies of Fuel cell/Battery Based Zero-Emission Ships: A Survey. IECON Mohsen Banaei, Jalil Boudjadar, Razgar Ebrahimy, Henrik Madsen
2021	J	`jnl`	Stochastic Model Predictive Energy Management in Hybrid Emission-Free Modern Maritime Vessels. IEEE Trans. Ind. Informatics Mohsen Banaei, Jalil Boudjadar, Mohammad Hassan Khooban
2020	C	`conf`	A Cost-effective Scheduling Control for a Safety Critical Hybrid Power System. DS-RT Jalil Boudjadar, Mohammad Hassan Khooban
2020	J	`jnl`	A Novel Approach to Overcome the Limitations of Reliability Centered Maintenance Implementation on the Smart Grid Distance Protection System. IEEE Trans. Circuits Syst. II Express Briefs Mehdi Rafiei, Mohammad Hassan Khooban, Mosayeb Afshari Igder, Jalil Boudjadar
2020	J	`jnl`	Active Power Sharing and Frequency Recovery Control in an Islanded Microgrid With Nonlinear Load and Nondispatchable DG. IEEE Syst. J. Meysam Gheisarnejad, Hooman Mohammadi-Moghadam, Jalil Boudjadar, Mohammad Hassan Khooban
2020	J	`jnl`	An Efficient and Cost-Effective Power Scheduling in Zero-Emission Ferry Ships. Complex. Armin Letafat, Mehdi Rafiei, Masoud Ardeshiri, Morteza Sheikh, Mohsen Banaei, Jalil Boudjadar, Mohammad Hassan Khooban
2020	J	`jnl`	Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems. CoRR Jalil Boudjadar, Saravanan Ramanathan, Arvind Easwaran, Ulrik Nyman
2020	J	`jnl`	QoS-aware service provisioning in fog computing. J. Netw. Comput. Appl. Faizan Murtaza, Adnan Akhunzada, Saif ul Islam, Jalil Boudjadar, Rajkumar Buyya
2020	—	`conf`	Security Verification of Industrial Control Systems using Partial Model Checking. FormaliSE@ICSE Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jørgensen
2020	—	`conf`	Towards Formally Verified Key Management for Industrial Control Systems. FormaliSE@ICSE Tomas Kulik, Jalil Boudjadar, Diego F. Aranha
2019	—	`conf`	Adaptive Network Based Fuzzy Inference System for Frequency Regulation in Modern Maritime Power Systems. RTSI Meysam Gheisarnejad, Mohammad Hassan Khooban, Jalil Boudjadar
2019	C	`conf`	Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems. DS-RT Jalil Boudjadar, Saravanan Ramanathan, Arvind Easwaran, Ulrik Nyman
2019	—	`conf`	Compliance verification of a cyber security standard for Cloud-connected SCADA. GIoTS Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar
2019	J	`jnl`	Electric Vehicle Power Propulsion System Control Based on Time-Varying Fractional Calculus: Implementation and Experimental Results. IEEE Trans. Intell. Veh. Mohammad Hassan Khooban, Meysam Gheisarnejad, Navid Vafamand, Jalil Boudjadar
2019	J	`jnl`	Energy and performance aware fog computing: A case of DVFS and green renewable energy. Future Gener. Comput. Syst. Asfa Toor, Saif ul Islam, Nimra Sohail, Adnan Akhunzada, Jalil Boudjadar, Hasan Ali Khattak, Ikram Ud Din, Joel J. P. C. Rodrigues
2019	—	`conf`	On the Design of a New Software Engineering Curriculum in Computer Engineering. FISEE Stefan Hallerstede, Peter Gorm Larsen, Jalil Boudjadar, Carl Schultz, Lukas Esterle
2019	J	`jnl`	Robust Frequency Regulation in Mobile Microgrids: HIL Implementation. IEEE Syst. J. Mohammad Hassan Khooban, Meysam Gheisarnejad, Navid Vafamand, Mohammad Jafari, Saleh Mobayen, Tomislav Dragicevic, Jalil Boudjadar
2019	C	`conf`	Security analysis of cloud-connected industrial control systems using combinatorial testing. MEMOCODE Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen
2019	C	`conf`	Shipboard Secondary Load Frequency Control Based on PPLs and Communication Degradations. IECON Meysam Gheisarnejad, Mohammad Hassan Khooban, Tomislav Dragicevic, Jalil Boudjadar
2019	J	`jnl`	Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard Microgrids. IEEE Syst. J. Navid Vafamand, Mohammad Hassan Khooban, Tomislav Dragicevic, Jalil Boudjadar, Mohammad Hassan Asemani
2019	J	`jnl`	Tracking Control for Hydrogen Fuel Cell Systems in Zero-Emission Ferry Ships. Complex. Mohammad Hassan Khooban, Navid Vafamand, Jalil Boudjadar
2018	—	`conf`	A Framework for Threat-Driven Cyber Security Verification of IoT Systems. ICST Workshops Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar, Carl Schultz
2018	J	`jnl`	Compositional Schedulability Analysis of Multicore Modular Avionic Architectures. J. Comput. Jalil Boudjadar
2018	—	`conf`	Formal Security Analysis of Cloud-Connected Industrial Control Systems. SecITC Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar
2018	C	`conf`	Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. ISORC Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman
2018	C	`conf`	Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems. DS-RT Jalil Boudjadar, Hugo Daniel Macedo
2017	C	`conf`	An efficient energy-driven scheduling of DVFS-multicore systems with a hierarchy of shared memories. DS-RT Jalil Boudjadar
2017	B	`conf`	Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems. ICPE Jalil Boudjadar, Simin Nadjm-Tehrani
2016	—	`conf`	Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. FACS Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh
2016	C	`conf`	Performance-aware scheduling of multicore time-critical systems. MEMOCODE Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani