| 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 | 47 | 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 | 32 | 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 | 25 | 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 | 23 | 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 | 22 | 2013 |
| 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 | 21 | 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 | 19 | 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 | 16 | 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 | 16* | 2016 |
| An alternative definition for timed automata composition JP Bodeveix, A Boudjadar, M Filali Automated Technology for Verification and Analysis ATVA´11, 105-119, 2011 | 16 | 2011 |
| 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 | 15 | 2014 |
| 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 | 15 | 2014 |
| 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 | 14 | 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 | 14 | 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 | 13 | 2020 |
| 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 | 12 | 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 | 11 | 2019 |
| 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 | 9 | 2019 |
| 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 | 9 | 2018 |
| Tracking Control for Hydrogen Fuel Cell Systems in Zero-Emission Ferry Ships MH Khooban, N Vafamand, J Boudjadar Complexity 2019, 2019 | 8 | 2019 |
