Jalil Boudjadar
Jalil Boudjadar
Assistant Professor, Aarhus University Denmark
Verified email at eng.au.dk
Title
Cited by
Cited by
Year
Hierarchical scheduling framework based on compositional analysis using uppaal
A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ...
International Conference on Formal Aspects of Component Software, 61-78, 2013
422013
Robust non-fragile fuzzy control of uncertain DC microgrids feeding constant power loads
N Vafamand, MH Khooban, T Dragičević, F Blaabjerg, J Boudjadar
IEEE Transactions on Power Electronics 34 (11), 11300-11308, 2019
282019
Robust frequency regulation in mobile microgrids: HIL implementation
MH Khooban, M Gheisarnejad, N Vafamand, M Jafari, S Mobayen, ...
IEEE Systems Journal 13 (4), 4281-4291, 2019
242019
Time-delayed stabilizing secondary load frequency control of shipboard microgrids
N Vafamand, MH Khooban, T Dragičević, J Boudjadar, MH Asemani
IEEE Systems Journal 13 (3), 3233-3241, 2019
202019
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems
A Boudjadar, F Vaandrager, JP Bodeveix, M Filali
Fundamentals of Software Engineering FSEN´13, 111-132, 2013
192013
Statistical and exact schedulability analysis of hierarchical scheduling systems
AS Abdeldjalil Boudjadar , Alexandre David , Jin Hyun Kim , Kim G. Larsen ...
Journal of Science of Computer Programming, 2016
16*2016
A new intelligent hybrid control approach for DC–DC converters in zero-emission ferry ships
MH Khooban, M Gheisarnejad, H Farsizadeh, A Masoudian, J Boudjadar
Ieee Transactions on Power Electronics 35 (6), 5832-5841, 2019
152019
Electric Vehicle Power Propulsion System Control Based on Time-Varying Fractional Calculus: Implementation and Experimental Results
MH Khooban, M Gheisarnejad, N Vafamand, J Boudjadar
IEEE Transactions on Intelligent Vehicles 4 (2), 255-264, 2019
152019
Compositional Schedulability Analysis of An Avionics System Using UPPAAL
J Boudjadar, KG Larsen, JH Kim, U Nyman
International Conference on Advanced Aspects of Software Engineering, 2014
152014
Widening the Schedulability Hierarchical Scheduling Systems
J Boudjadar, A David, JH Kim, KG Larsen, U Nyman, M Mikucionis, ...
The 11th International Symposium on Formal Aspects of Component Software, 2014
152014
Energy and performance aware fog computing : A case of DVFS and green renewable energy
A Toor, S Islam, N Sohail, A Akhunzada, J Boudjadar, HA Khattak, IU Din, ...
Future Generation Computer Systems Journal 101 (12.2019), 1112 - 1121, 2019
142019
Degree of schedulability of mixed-criticality real-time systems with probabilistic sporadic tasks
AJ Boudjadar, A David, JH Kim, KG Larsen, M Mikucionis, U Nyman, ...
2014 Theoretical Aspects of Software Engineering Conference, 126-130, 2014
142014
Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems
J Boudjadar, A David, JH Kim, KG Larsen, U Nyman, A Skou
ERTS´14, Embedded Real Time Systems and Software, 2014
142014
An alternative definition for timed automata composition
JP Bodeveix, A Boudjadar, M Filali
Automated Technology for Verification and Analysis ATVA´11, 105-119, 2011
122011
A Comparative Analysis of Optimal Operation Scenarios in Hybrid Emission-Free Ferry Ships
M Banaei, M Rafiei, J Boudjadar, MH Khooban
IEEE Transactions on Transportation Electrification 6 (1), 318-333, 2020
102020
Simultaneous energy management and optimal components sizing of a zero-emission ferry boat
A Letafat, M Rafiei, M Sheikh, M Afshari-Igder, M Banaei, J Boudjadar, ...
Journal of Energy Storage 28, 101215, 2020
92020
Active power sharing and frequency recovery control in an islanded microgrid with nonlinear load and nondispatchable DG
M Gheisarnejad, H Mohammadi-Moghadam, J Boudjadar, MH Khooban
IEEE Systems Journal 14 (1), 1058-1068, 2019
92019
A New Adaptive Type-II Fuzzy-Based Deep Reinforcement Learning Control: Fuel Cell Air-Feed Sensors Control
M Gheisarnejad, J Boudjadar, MH Khooban
Ieee Sensors Journal 19 (20), 9081-9089, 2019
92019
A framework for threat-driven cyber security verification of iot systems
T Kulik, PWV Tran-Jørgensen, J Boudjadar, C Schultz
2018 IEEE International Conference on Software Testing, Verification and …, 2018
82018
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling
A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ...
Science of Computer Programming 113, 236-260, 2015
82015
The system can't perform the operation now. Try again later.
Articles 1–20