An Alternative Definition for Timed Automata Composition. - Jean-Paul Bodeveix; Abdeldjalil Boudjadar; Mamoun Filali (ATVA, 2011)

Revising and Extending the Uppaal Communication Mechanism. - Abdeldjalil Boudjadar; Jean-Paul Bodeveix; Mamoun Filali (SC@TOOLS, 2012)

Compositional Refinement for Real-Time Systems with Priorities. - Abdeldjalil Boudjadar; Jean-Paul Bodeveix; Mamoun Filali (TIME, 2012)

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim Guldstrand Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (FACS, 2013)

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. - Abdeldjalil Boudjadar; Frits W. Vaandrager; Jean-Paul Bodeveix; Mamoun Filali (FSEN, 2013)

Model Checking Process Algebra of Communicating Resources for Real-Time Systems. - Abdeldjalil Boudjadar; Jin Hyun Kim; Kim G. Larsen; Ulrik Nyman (ECRTS, 2014)

Widening the Schedulability of Hierarchical Scheduling Systems. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim Guldstrand Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (FACS, 2014)

Compositional Schedulability Analysis of An Avionics System Using UPPAAL. - Abdeldjalil Boudjadar; Jin Hyun Kim; Kim Guldstrand Larsen; Ulrik Nyman (ICAASE, 2014)

Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim G. Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (TASE, 2014)

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. - Jin Hyun Kim; Abdeldjalil Boudjadar; Ulrik Nyman; Marius Mikucionis; Kim G. Larsen; Arne Skou; Insup Lee 001; Linh Thi Xuan Phan (CBSE, 2015)

Compositional Predictability Analysis of Mixed Critical Real Time Systems. - Abdeldjalil Boudjadar; Juergen Dingel; Boris Madzar; Jin Hyun Kim (FTSCS, 2015)

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. - Abdeldjalil Boudjadar; Jin Hyun Kim; Alexandre David; Kim G. Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou; Insup Lee 001; Linh Thi Xuan Phan (ISORC, 2015)

A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim G. Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (Sci. Comput. Program., 2015)

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. - Boris Madzar; Jalil Boudjadar; Juergen Dingel; Thomas E. Fuhrman; S. Ramesh 002 (FACS, 2016)

Performance-aware scheduling of multicore time-critical systems. - Jalil Boudjadar; Jin Hyun Kim; Simin Nadjm-Tehrani (MEMOCODE, 2016)

Connectivity-optimal shortest paths using crowdsourced data. - Tim Hultman; Abdeldjalil Boudjadar; Mikael Asplund (PerCom Workshops, 2016)

Statistical and exact schedulability analysis of hierarchical scheduling systems. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim G. Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (Sci. Comput. Program., 2016)

Optimizing the resource requirements of hierarchical scheduling systems. - Jin Hyun Kim; Axel Legay; Louis-Marie Traonouez; Abdeldjalil Boudjadar; Ulrik Nyman; Kim G. Larsen; Insup Lee 001; Jin-Young Choi (SIGBED Rev., 2016)

A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures. - Jin Hyun Kim; Inhye Kang; Sungwon Kang; Abdeldjalil Boudjadar (IEEE Trans. Ind. Informatics, 2016)

An efficient energy-driven scheduling of DVFS-multicore systems with a hierarchy of shared memories. - Jalil Boudjadar (DS-RT, 2017)

Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems. - Jalil Boudjadar; Simin Nadjm-Tehrani (ICPE, 2017)

Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems. - Jalil Boudjadar; Hugo Daniel Macedo (DS-RT, 2018)

A Framework for Threat-Driven Cyber Security Verification of IoT Systems. - Tomas Kulik; Peter W. V. Tran-Jørgensen; Jalil Boudjadar; Carl Schultz 001 (ICST Workshops, 2018)

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. - Jalil Boudjadar; Jin Hyun Kim; Linh Thi Xuan Phan; Insup Lee 001; Kim G. Larsen; Ulrik Nyman (ISORC, 2018)

Formal Security Analysis of Cloud-Connected Industrial Control Systems. - Tomas Kulik; Peter W. V. Tran-Jørgensen; Jalil Boudjadar (SecITC, 2018)

Compositional Schedulability Analysis of Multicore Modular Avionic Architectures. - Jalil Boudjadar (J. Comput., 2018)

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems. - Jalil Boudjadar; Saravanan Ramanathan; Arvind Easwaran; Ulrik Nyman (DS-RT, 2019)

On the Design of a New Software Engineering Curriculum in Computer Engineering. - Stefan Hallerstede; Peter Gorm Larsen; Jalil Boudjadar; Carl Schultz 001; Lukas Esterle (FISEE, 2019)

Compliance verification of a cyber security standard for Cloud-connected SCADA. - Tomas Kulik; Peter W. V. Tran-Jørgensen; Jalil Boudjadar (GIoTS, 2019)

Shipboard Secondary Load Frequency Control Based on PPLs and Communication Degradations. - Meysam Gheisarnejad; Mohammad Hassan Khooban; Tomislav Dragicevic; Jalil Boudjadar (IECON, 2019)

Security analysis of cloud-connected industrial control systems using combinatorial testing. - Peter W. V. Tran-Jørgensen; Tomas Kulik; Jalil Boudjadar; Peter Gorm Larsen (MEMOCODE, 2019)

Adaptive Network Based Fuzzy Inference System for Frequency Regulation in Modern Maritime Power Systems. - Meysam Gheisarnejad; Mohammad Hassan Khooban; Jalil Boudjadar (RTSI, 2019)

Tracking Control for Hydrogen Fuel Cell Systems in Zero-Emission Ferry Ships. - Mohammad Hassan Khooban; Navid Vafamand; Jalil Boudjadar (Complex., 2019)

Energy and performance aware fog computing: A case of DVFS and green renewable energy. - Asfa Toor; Saif ul Islam; Nimra Sohail; Adnan Akhunzada; Jalil Boudjadar; Hasan Ali Khattak; Ikram Ud Din; Joel J. P. C. Rodrigues (Future Gener. Comput. Syst., 2019)

Robust Frequency Regulation in Mobile Microgrids: HIL Implementation. - Mohammad Hassan Khooban; Meysam Gheisarnejad; Navid Vafamand; Mohammad Jafari 002; Saleh Mobayen; Tomislav Dragicevic; Jalil Boudjadar (IEEE Syst. J., 2019)

Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard Microgrids. - Navid Vafamand; Mohammad Hassan Khooban; Tomislav Dragicevic; Jalil Boudjadar; Mohammad Hassan Asemani (IEEE Syst. J., 2019)

Electric Vehicle Power Propulsion System Control Based on Time-Varying Fractional Calculus: Implementation and Experimental Results. - Mohammad Hassan Khooban; Meysam Gheisarnejad; Navid Vafamand; Jalil Boudjadar (IEEE Trans. Intell. Veh., 2019)

A Cost-effective Scheduling Control for a Safety Critical Hybrid Power System. - Jalil Boudjadar; Mohammad Hassan Khooban (DS-RT, 2020)

Towards Formally Verified Key Management for Industrial Control Systems. - Tomas Kulik; Jalil Boudjadar; Diego F. Aranha (FormaliSE@ICSE, 2020)

Security Verification of Industrial Control Systems using Partial Model Checking. - Tomas Kulik; Jalil Boudjadar; Peter W. V. Tran-Jørgensen (FormaliSE@ICSE, 2020)

An Efficient and Cost-Effective Power Scheduling in Zero-Emission Ferry Ships. - Armin Letafat; Mehdi Rafiei; Masoud Ardeshiri; Morteza Sheikh; Mohsen Banaei; Jalil Boudjadar; Mohammad Hassan Khooban (Complex., 2020)

QoS-aware service provisioning in fog computing. - Faizan Murtaza; Adnan Akhunzada; Saif ul Islam; Jalil Boudjadar; Rajkumar Buyya (J. Netw. Comput. Appl., 2020)

Active Power Sharing and Frequency Recovery Control in an Islanded Microgrid With Nonlinear Load and Nondispatchable DG. - Meysam Gheisarnejad; Hooman Mohammadi-Moghadam; Jalil Boudjadar; Mohammad Hassan Khooban (IEEE Syst. J., 2020)

A Novel Approach to Overcome the Limitations of Reliability Centered Maintenance Implementation on the Smart Grid Distance Protection System. - Mehdi Rafiei; Mohammad Hassan Khooban; Mosayeb Afshari Igder; Jalil Boudjadar (IEEE Trans. Circuits Syst. II Express Briefs, 2020)

A Novel Method for Stabilizing Buck-Boost Converters with CPL using Model Prediction Control. - Milad Andalibi; Mojtaba Hajihosseini; Meysam Gheisarnejad; Mohammad Hassan Khooban; Jalil Boudjadar (ICIT, 2021)

Formally Verified Credentials Management for Industrial Control Systems. - Tomas Kulik; Jalil Boudjadar; Diego F. Aranha (FormaliSE@ICSE, 2021)

Optimal Control Strategies of Fuel cell/Battery Based Zero-Emission Ships: A Survey. - Mohsen Banaei; Jalil Boudjadar; Razgar Ebrahimy; Henrik Madsen (IECON, 2021)

Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. - Jalil Boudjadar; Mads Mørk Beck (IntelliSys (2), 2021)

Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings. - Mads Mørk Beck; Jalil Boudjadar; Yousra Chougui (MEDI Workshops, 2021)

Cost-effective control of Roll-on/Roll-off Emission-Free Ships. - Mohsen Banaei; Fatemeh Ghanami; Mohammad Hassan Khooban; Jalil Boudjadar (MMAR, 2021)

Deep Learning-Based Energy Management of an All-Electric City Bus With Wireless Power Transfer. - Mehdi Rafiei; Jalil Boudjadar; Matthew P. Griffiths; Mohammad Hassan Khooban (IEEE Access, 2021)

Energy Management of a Zero-Emission Ferry Boat With a Fuel-Cell-Based Hybrid Energy System: Feasibility Assessment. - Mehdi Rafiei; Jalil Boudjadar; Mohammad Hassan Khooban (IEEE Trans. Ind. Electron., 2021)

Stochastic Model Predictive Energy Management in Hybrid Emission-Free Modern Maritime Vessels. - Mohsen Banaei; Jalil Boudjadar; Mohammad Hassan Khooban (IEEE Trans. Ind. Informatics, 2021)

Formal Model In-The-Loop for Secure Industrial Control Networks. - Laurynas Ubys; Valeriu Nicolas Vancea; Tomas Kulik; Peter Gorm Larsen; Jalil Boudjadar; Diego F. Aranha (FACS, 2022)

A Digital Twin Setup for Safety-aware Optimization of a Cyber-physical System. - Jalil Boudjadar; Martin Tomko (ICINCO, 2022)

A Flexible Implementation Model for Neural Networks on FPGAs. - Jesper Jakobsen; Mikkel Jensen; Iman Sharifirad; Jalil Boudjadar (ISDA (3), 2022)

Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability Enhancement in Multi Machine System. - Bushra Saleem; Rabiah Badar; Awais Manzoor; Malik Ali Judge; Jalil Boudjadar; Saif ul Islam (IEEE Access, 2022)

Advanced Acceleration and Implementation of Convolutional Neural Networks on FPGAs. - Mikkel Jensen; Jesper Jakobsen; Iman Sharifirad; Jalil Boudjadar (HPCC/DSS/SmartCity/DependSys, 2023)

A Knowledge-Based Proactive Intelligent System for Buildings Occupancy Monitoring. - Marie Unmack Baerentzen; Jalil Boudjadar; Saif ul Islam; Carl Peter Leslie Schultz (ICSOFT, 2023)

AgriScanNet-18: A Robust Multilayer CNN for Identification of Potato Plant Diseases. - Shahinza Manzoor; Shahram Hamza Manzoor; Saif ul Islam; Jalil Boudjadar (IntelliSys (2), 2023)

A Mobile-Based System for Detecting Ginger Leaf Disorders Using Deep Learning. - Waheed Ali H. M. Ghanem; Waseem Akram 001; Saif ul Islam; Abdul Hadi; Jalil Boudjadar; Noureen Zafar (Future Internet, 2023)

Design and Simulation-Based Optimization of an Intelligent Autonomous Cruise Control System. - Milad Andalibi; Alireza Shourangizhaghighi; Mojtaba Hajihosseini; Seyed Saeed Madani; Carlos Ziebert; Jalil Boudjadar (Comput., 2023)

Optimal Design of Wireless Charging Electric Buses-Based Machine Learning: A Case Study of Nguyen-Dupuis Network. - Arman Fathollahi; Meysam Gheisarnejad; Jalil Boudjadar; Maryam Homayounzadeh; Mohammad Hassan Khooban (IEEE Trans. Veh. Technol., 2023)

Enhancing and Validating Simulator Data Generation Integrity Through Frequency-Based Analysis. - Iman Sharifirad; Jalil Boudjadar; Peter Gorm Larsen (BCD, 2024)

Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty. - Joakim Schack Betzer; Jalil Boudjadar; Mirgita Frasheri; Prasad Talasila (DS-RT, 2024)

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 (ICSOFT, 2024)

Highly Accurate Anomaly Detection for the Combustion System of a Marine Engine Using Multivariate Transformers. - Iman Sharifirad; Jalil Boudjadar; Peter Gorm Larsen (SISY, 2024)

Cilium and VDM - Towards Formal Analysis of Cilium Policies. - Tomas Kulik; Jalil Boudjadar (CoRR, 2024)

Cascaded TinyML-Based Reduction for the Anomaly Detection Model of an Industrial Combustion System. - Iman Sharifirad; Jalil Boudjadar; Peter Gorm Larsen (ICPS, 2025)

Validating the Optimization of a Building Occupancy Monitoring Software System. - Jalil Boudjadar; Simon Thrane Hansen (ICSOFT, 2025)

Dynamic FPGA reconfiguration for scalable embedded artificial intelligence (AI): A co-design methodology for convolutional neural networks (CNN) acceleration. - Jalil Boudjadar; Saif ul Islam; Rajkumar Buyya (Future Gener. Comput. Syst., 2025)

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models. - Hassan Sartaj; Jalil Boudjadar; Mirgita Frasheri; Shaukat Ali 001; Peter Gorm Larsen (CoRR, 2025)