Jalil Boudjadar
Jalil Boudjadar
Associate Professor, Aarhus University Denmark
Verified email at eng.au.dk
Cited by
Cited by
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
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
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
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
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
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
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
A Biere, R Bloem
Springer, 2014
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
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
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
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
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
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
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
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
An alternative definition for timed automata composition
JP Bodeveix, A Boudjadar, M Filali
Automated Technology for Verification and Analysis ATVA“11, 105-119, 2011
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
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
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
QoS-Aware Service Provisioning in Fog Computing
F Murtaza, A Akhunzada, S Islam, J Boudjadar, R Buyya
Journal of Network and Computer Applications, 2020
The system can't perform the operation now. Try again later.
Articles 1–20