Aarhus University Seal / Aarhus Universitets segl

Jalil Boudjadar

  1. 2019
  2. Udgivet

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

    I: Future Generation Computer Systems, Bind 101, 12.2019, s. 1112-1121.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  3. Udgivet

    Robust Non-Fragile Fuzzy Control of Uncertain DC Microgrids Feeding Constant Power Loads. / Vafamand, Navid; Khooban, Mohammad Hassan; Dragicevic, Tomislav; Blaabjerg, Frede; Boudjadar, Jalil.

    I: IEEE Transactions on Power Electronics, Bind 34, Nr. 11, 11.2019, s. 11300-11308.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  4. Accepteret/In press

    Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems. / Boudjadar, Jalil; Ramanathan, Saravanan; Easwaran, Arvind; Nyman, Ulrik Mathias.

    Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems. 2019.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  5. Accepteret/In press

    Shipboard Secondary Load Frequency Control Based on PPLs and Communication Degradations. / Gheisarnejad, Meysam; Khooban, Mohammad Hassan; Dragicevic, Tomislav; Boudjadar, Jalil.

    Shipboard Secondary Load Frequency Control Based on PPLs and Communication Degradations. IEEE Xplore, 2019.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  6. Accepteret/In press

    Virtual Inertia Control Based-Superconducting Magnetic Energy Storage in Modern AC Stand-Alone Grids. / Khooban, Mohammad Hassan; Boudjadar, Jalil.

    2019. Paper præsenteret ved International Conference on Control and Optimization of Renewable Energy Systems, Anaheim, USA.

    Publikation: KonferencebidragPaperForskningpeer review

  7. Accepteret/In press

    Real-Time Cellular Wireless Sensor Testbed for Frequency Regulation in Smart Grids. / Gheisarnezhad , Meysam; Karimaghaee, Paknoosh; Boudjadar, Jalil; Khooban, Mohammad Hassan.

    I: IEEE Sensors Journal, 08.2019.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  8. Accepteret/In press

    Active Power Sharing and Frequency Recovery Control in an Islanded Microgrid with Nonlinear load and Non-Dispatchable DG. / Gheisarnejad, Meysam; Moghadam, Mohammadi; Boudjadar, Jalil; Khooban, Mohammad Hassan.

    I: IEEE Systems Journal, 07.2019.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  9. Accepteret/In press

    Adaptive Network Based Fuzzy Inference System for Frequency Regulation in Modern Maritime Power Systems. / Khooban, Mohammad Hassan; Boudjadar, Jalil.

    2019. Paper præsenteret ved IEEE 5th International Forum on Research and Technology for Society and Industry, Firenze, Italien.

    Publikation: KonferencebidragPaperForskningpeer review

  10. Udgivet

    Electric Vehicle Power Propulsion System Control Based on Time-Varying Fractional Calculus: Implementation and Experimental Results. / Khooban, Mohammad Hassan; Gheisarnezhad , Meysam; Vafamand, Navid; Boudjadar, Jalil.

    I: IEEE Transactions on Intelligent Vehicles, Bind 4, Nr. 2, 06.2019, s. 255-264.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  11. Accepteret/In press

    Model Predictive Control for Energy Management in Hybrid Ferry Grids. / Vafamand, Navid; Boudjadar, Jalil; Khooban, Mohammad Hassan.

    2019. Paper præsenteret ved The 6th International Conference on Power and Energy Systems Engineering, Okinawa, Japan.

    Publikation: KonferencebidragPaperForskningpeer review

  12. E-pub ahead of print

    Robust Frequency Regulation in Mobile Microgrids: HIL Implementation. / Khooban, Mohammad Hassan; Gheisarnejad, Meysam; Vafamand, Navid; Jafari, Mohammad; Mobayen, Saleh; Dragicevic, Tomislav; Boudjadar, Jalil.

    I: IEEE Systems Journal, 23.05.2019, s. 1-11.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  13. E-pub ahead of print

    A Novel Approach to Overcome the Limitations of Reliability Centered Maintenance Implementation on the Smart Grid Distance Protection System. / Rafiei, Mehdi; Khooban, Mohammad Hassan; Afshari-Igder, Mosayeb; Boudjadar, Jalil.

    I: IEEE Transactions on Circuits and Systems II: Express Briefs, 18.03.2019.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  14. E-pub ahead of print

    Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard Microgrids. / Vafamand, Navid; Khooban, Mohammad Hassan; Boudjadar, Jalil; Dragicevic, Tomislav; Asemani, Mohammad Hassan.

    I: IEEE Systems Journal, 11.02.2019.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  15. Udgivet

    Formal Security Analysis of Cloud-Connected Industrial Control Systems. / Kulik, Tomas; Tran-Jørgensen, Peter Würtz Vinther; Boudjadar, Jalil.

    Innovative Security Solutions for Information Technology and Communications: SECITC 2018 - International Conference on Security for Information Technology and Communications. red. / J. L. Lanet; C. Toma. Bind 11359 Springer, 2019. s. 71-84 (Lecture Notes in Computer Science, Bind 11359).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  16. Udgivet

    A New Adaptive Type-II Fuzzy-Based Deep Reinforcement Learning Control : Fuel Cell Air-Feed Sensors Control. / Gheisarnejad, Meysam; Boudjadar, Jalil; Khooban, Mohammad Hassan.

    I: IEEE Sensors Journal, Bind 19, Nr. 20, 2019, s. 9081-9089.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  17. Udgivet

    A New Intelligent Hybrid Control Approach for DC/DC Converters in Zero-Emission Ferry Ships. / Khooban, Mohammad Hassan; Gheisarnejad, Meysam; Farsizadeh, Hamed; Masoudian, Ali; Boudjadar, Jalil.

    I: IEEE Transactions on Power Electronics, 2019, s. 1.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  18. Udgivet

    Compliance verification of a cyber security standard for Cloud-connected SCADA. / Kulik, Tomas; Tran-Jørgensen, Peter Würtz Vinther; Boudjadar, Jalil.

    2019 Global IoT Summit (GIoTS) . IEEE, 2019.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  19. Udgivet

    Pulsed power load effect mitigation in DC shipboard microgrids : A constrained model predictive approach. / Vafamand, Navid; Mardani, Mohammad Mehdi; Khooban, Mohammad Hassan; Blaabjerg, Frede; Boudjadar, Jalil.

    I: IET Power Electronics, Bind 12, Nr. 9, 2019, s. 2155-2160.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  20. 2018
  21. Udgivet

    A Framework for Threat-Driven Cyber Security Verification of IoT Systems. / Kulik, Tomas; Tran-Jørgensen, Peter Würtz Vinther; Boudjadar, Jalil; Schultz, Carl Peter Leslie.

    2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018): Proceedings. IEEE, 2018. s. 89-97.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  22. Udgivet

    Compositional Schedulability Analysis of Multicore Modular Avionic Architectures. / Boudjadar, Jalil.

    I: Journal of Computers, Bind 13, Nr. 10, 2018, s. 1202-1215.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  23. Udgivet

    Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. / Boudjadar, Jalil; Hyun Kim, Jin; Thi Xuan Phan, Linh; Lee, Insup; G. Larsen, Kim ; Nyman, Ulrik Mathias.

    2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC): Proceedings. IEEE, 2018. s. 51-58.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  24. Udgivet

    Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems. / Boudjadar, Jalil; Macedo, Hugo Daniel.

    2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications (DS-RT) . IEEE, 2018.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  25. 2017
  26. Udgivet

    Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. / Madzar, Boris; Boudjadar, Jalil; Dingel, Juergen ; Fuhrman, Thomas; S, Ramesh.

    Formal Aspects of Component Software: FACS 2016. red. / O. Kouchnarenko; R. Khosravi. Bind 10231 Springer, 2017. s. 153-171 (Lecture Notes in Computer Science, Bind 10231).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  27. Udgivet

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

    2017. Abstract fra the 8th ACM/SPEC International Conference on Performance Engineering, L'Aquila, Italien.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningpeer review

  28. Udgivet

    An Efficient Energy-driven Scheduling of DVFS-Multicore Systems with a Hierarchy of Shared Memories. / Boudjadar, Jalil.

    Proceedings of the 2017 21st IEEE/ACM 20th International Symposium on Distributed Simulation and Real Time Applications: DS-RT 2017. IEEE, 2017.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  29. 2016
  30. Udgivet

    Statistical and exact Schedulability analysis of Hierarchical Scheduling Systems. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; Larsen, Kim Guldstrand; Mikucionis, Marius; Nyman, Ulrik Mathias; Skou, Arne Joachim.

    I: Science of Computer Programming, Bind 127, 01.10.2016, s. 103-130.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  31. Udgivet

    Compositional Predictability Analysis of mixed-critical Real Time Systems. / Boudjadar, Jalil; Dingel, Juergen ; Madzar, Boris; Hyun Kim, Jin.

    Formal Techniques for Safety-Critical Systems. Springer, 2016. s. 69-84 (Communications in Computer and Information Science, Bind 596).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  32. Udgivet

    A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Sofware Architectures. / Hyun Kim, Jin; Kang, Sungwon; Boudjadar, Jalil.

    I: IEEE Transactions on Industrial Informatics Journal, 2016.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  33. Udgivet

    Performance-aware Scheduling of Multicore Time-critical Systems. / Boudjadar, Jalil; Kim, Hyun Jin; Nadjm-Tehrani, Simin.

    Formal Methods and Models for System Design (MEMOCODE), 2016 ACM/IEEE International Conference on. IEEE, 2016. s. 105-114.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  34. Udgivet

    Workshop on Crowd Assisted Sensing, Pervacsive systems and Communications. / Hultman, Tim; Boudjadar, Jalil; Asplund, Mikael.

    CASPeR 2016. 2016.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  35. 2015
  36. Udgivet

    A Reconfigurable Framework for Compositional Schedulability and Power Analysis of Hierarchical Scheduling Systems with Frequency Scaling. / Boudjadar, Jalil; David, Alexandre; Hyun Kim, Jin; G. Larsen, Kim; Mikucionis, Marius; Nyman, Ulrik Mathias; Skou, Arne.

    I: Science of Computer Programming, Bind 113, Nr. 3, 01.12.2015, s. 236-260.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  37. Udgivet

    Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. / Hyun Kim, Jin; Boudjadar, Jalil; Nyman, Ulrik Mathias; Mikucionis, Marius; G. Larsen, Kim; Skou, Arne; Lee, Insup; Thi Xuan Phan, Linh.

    Component-Based Software Engineering (CBSE), 2015 18th International ACM SIGSOFT Symposium on. IEEE, 2015. s. 91-100.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  38. Udgivet

    Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. / Boudjadar, Jalil; David, Alexandre; Hyun Kim, Jin; G. Larsen, Kim; Mikucionis, Marius; Nyman, Ulrik Mathias; Skou, Arne; Lee, Insup; Thi Xuan Phan, Linh.

    2015 IEEE 18th International Symposium on Real-Time Distributed Computing. IEEE Computer Society, 2015. s. 74-83.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  39. Udgivet

    Widening the Schedulability of Hierarchical Scheduling Systems. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; G. Larsen, Kim; Mikucionis, Marius; Nyman, Ulrik Mathias; Skou, Arne.

    Formal Aspects of Component Software. Springer Link, 2015. s. 209-227 (Lecture Notes in Computer Science, Bind 8997).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  40. Udgivet

    Optimizing the Resource Requirements of Hierarchical Scheduling Systems. / Boudjadar, Jalil; Hyun Kim, Jin; Legay, Axel; Choi, Jin-Young.

    8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems. 2015.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  41. 2014
  42. Udgivet

    Compositional Schedulability Analysis of An Avionics System Using UPPAAL. / Boudjadar, Jalil; Kim, Jin Hyun; G. Larsen, Kim; Nyman, Ulrik Mathias.

    Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering. Bind 1294 ceur workshop proceedings, 2014. s. 140-147.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  43. Udgivet

    Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; G. Larsen, Kim; Mikucionis, Marius; Nyman, Ulrik Mathias; Skou, Arne.

    2014 Theoretical Aspects of Software Engineering Conference. IEEE, 2014. s. 126-130.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  44. Udgivet

    Model Checking Process Algebra of Communicating Resources for Real-time Systems. / Boudjadar, Jalil; Kim, Jin Hyun; G. Larsen, Kim; Nyman, Ulrik Mathias.

    2014 26th Euromicro Conference on Real-Time Systems. 2014. s. 51-60.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  45. Udgivet

    Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; G. Larsen, Kim; Nyman, Ulrik Mathias; Skou, Arne.

    Proceedings of ERTS2 2014. 2014.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  46. 2013
  47. Udgivet

    Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; G. Larsen, Kim; Mikucionis, Marius; Nyman, Ulrik Mathias; Skou, Arne.

    Formal Aspects of Component Software. Springer Link, 2013. s. 61-78 (Lecture Notes in Computer Science, Bind 8348).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  48. Udgivet

    Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. / Boudjadar, Jalil; Vaandrager, Fritz; Bodeveix, Jean-Paul; Filali, Mamoun.

    5th IPM International Conference on Fundamentals of Software Engineering. red. / F. Arbab; M. Sirjani. Springer-Verlag, 2013. s. 111-132.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  49. 2012
  50. Udgivet

    Callable timed automata: Adding process creation and process calls to UPPAAL. / Boudjadar, Jalil; Vaandrager, Fritz; Bodeveix, Jean-Paul; Filali, Mamoun.

    12th International Workshop on Automated Verification of Critical Systems. 2012.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  51. Udgivet

    Compositional Refinement for Real-Time Systems with Priorities. / Boudjadar, Jalil; Bodeveix, Jean-Paul; Filali, Mamoun.

    Temporal Representation and Reasoning (TIME), 2012 19th International Symposium on. IEEE, 2012. s. 57-64.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  52. Udgivet

    Revising and Extending the Uppaal Communication Mechanism. / Boudjadar, Jalil; Bodeveix, Jean-Paul; Filali, Mamoun.

    Software Composition. Springer Berlin Heidelberg, 2012. s. 114-131 (Lecture Notes in Computer Science, Bind 7306).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  53. 2011
  54. Udgivet

    An Alternative Definition for Timed Automata Composition. / Bodeveix, Jean-Paul; Boudjadar, Jalil; Filali, Mamoun.

    Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2011. s. 105-119 (Lecture Notes in Computer Science, Bind 6996).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review