Aarhus University Seal / Aarhus Universitets segl

Jalil Boudjadar

  1. 2021
  2. Published

    Stochastic Model Predictive Energy Management in Hybrid Emission-Free Modern Maritime Vessels. / Banaei, Mohsen; Boudjadar, Jalil; Khooban, Mohammad Hassan.

    In: IEEE Transactions on Industrial Informatics, Vol. 17, No. 8, 08.2021, p. 5430-5440.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  3. Published

    Reliability and Safety Improvement of Emission-Free Ships : Systemic Reliability Centered Maintenance. / Afshari-Igder, Mosayeb; Rafiei Foroushani, Mehdi; Boudjadar, Jalil; Khooban, Mohammad Hassan.

    In: IEEE Transactions on Transportation Electrification, Vol. 7, No. 1, 9220168, 03.2021, p. 256-266.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  4. Published

    Energy Management of a Zero-Emission Ferry Boat with a Fuel Cell-Based Hybrid Energy System: Feasibility Assessment. / Rafiei Foroushani, Mehdi; Boudjadar, Jalil; Khooban, Mohammad Hassan.

    In: IEEE Transactions on Industrial Electronics, Vol. 68, No. 2, 02.2021, p. 1739-1748.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  5. Published

    Impacts of large-scale penetration of wind power on day-ahead electricity markets and forward contracts. / Banaei, Mohsen; Raouf-Sheybani, Hani; Oloomi-Buygi, Majid; Boudjadar, Jalil.

    In: International Journal of Electrical Power and Energy Systems, Vol. 125, 106450, 02.2021.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  6. Published

    A Novel Method for Stabilizing Buck-Boost Converters with CPL using Model Prediction Control. / Boudjadar, Jalil; Khooban, Mohammad Hassan.

    2021. Paper presented at IEEE International Conference on Industrial Technology, Croatia.

    Research output: Contribution to conferencePaperResearchpeer-review

  7. Published

    Deep Learning-Based Energy Management of an All-electric City Bus with Wireless Power Transfer. / Rafiei Foroushani, Mehdi; Griffiths, Matthew Peter; Boudjadar, Jalil; Khooban, Mohammad Hassan.

    In: IEEE Access, Vol. 9, 2021.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  8. Published

    Energy Efficient Real-time Calibration of Wireless Sensor Networks for Smart Buildings. / Beck, Mads Mørk; Boudjadar, Jalil.

    2021. Paper presented at International Symposium on Intelligent and Autonomous Systems, Tallinn, Estonia.

    Research output: Contribution to conferencePaperResearchpeer-review

  9. Accepted/In press

    Formally Verified Credentials Management for Industrial Control Systems. / Kulik, Tomas; Boudjadar, Jalil; Aranha, Diego F.

    FormaliSE@ICSE. 2021.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  10. Published

    Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. / Boudjadar, Jalil; Beck, Mads Mørk.

    2021. Paper presented at Intelligent Systems Conference , Amsterdam, Netherlands.

    Research output: Contribution to conferencePaperResearchpeer-review

  11. 2020
  12. Published

    Towards Formally Verified Key Management for Industrial Control Systems. / Kulik, Tomas; Boudjadar, Jalil; Aranha, Diego F.

    2020. 119-129 Paper presented at 8th International Conference on Formal Methods in Software Engineering, Seoul, Korea, Republic of.

    Research output: Contribution to conferencePaperResearchpeer-review

  13. Published

    A New Nonlinear Controller for Multilevel DC/DC Boost Converter. / Andalibi, Milad; Hajihosseini, Mojtaba; Gheisarnejad, Meysam; Boudjadar, Jalil; Khooban, Mohammad Hassan; Dragicevic, Tomislav.

    2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020. IEEE, 2020. p. 276-280 9244399 (2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  14. Published

    A Cost-effective Scheduling Control for a Safety Critical Hybrid Power System. / Boudjadar, Jalil; Khooban, Mohammad Hassan.

    Proceedings of the 2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2020. ed. / Dusan Maga; Jiri Hajek. IEEE, 2020. 9213541.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  15. Published

    Cost Effective Operation of a Hybrid Zero-Emission Ferry Ship. / Banaei, Mohsen; Boudjadar, Jalil; Dragicevic, Tomislav; Khooban, Mohammad Hassan.

    2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020. IEEE, 2020. p. 23-28 9244456 (2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  16. Published

    Model predictive energy management in hybrid ferry grids. / Vafamand, Navid; Boudjadar, Jalil; Khooban, Mohammad Hassan.

    In: Energy Reports, Vol. 6, No. Supplement 2, 02.2020, p. 550-557.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  17. Published

    Techno-economic potential gains of electric springs in distribution networks operations. / Askarpour, Mohammad; Boudjadar, Jalil; Niknam, Taher .

    In: IET Generation, Transmission & Distribution, Vol. 14, No. 1 , 01.2020, p. 98 - 107.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  18. Published

    A Comparative Analysis of Optimal Operation Scenarios in Hybrid Emission-Free Ferry Ships. / Banaei, Mohsen; Rafiei Foroushani, Mehdi; Boudjadar, Jalil; Khooban, Mohammad Hassan.

    In: IEEE Transactions on Transportation Electrification, Vol. 6, No. 1, 8976275, 2020, p. 318-333.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  19. Published

    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.

    In: IEEE Transactions on Power Electronics, Vol. 35, No. 6, 8890831, 2020, p. 5832-5841.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  20. Published

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

    In: IEEE Transactions on Circuits and Systems II: Express Briefs, Vol. 67, No. 2, 8668570, 2020, p. 320-324.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  21. Published

    A Study of the Trade-off Energy Consumption-Performance-Schedulability for DVFS Multicore Systems. / Boudjadar, Jalil.

    In: International Journal of Computer and Information Engineering, Vol. 14, No. 11, 2020, p. 380-391.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  22. Published

    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.

    In: IEEE Systems Journal, Vol. 14, No. 1, 8771151, 2020, p. 1058-1068.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  23. Published

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

    In: Complexity, Vol. 2020, 6487873, 2020.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  24. Published

    Energy Management of Hybrid Diesel/Battery Ships in Multidisciplinary Emission Policy Areas. / Banaei, Mohsen; Ghanami, Fatemeh; Rafiei Foroushani, Mehdi; Boudjadar, Jalil; Khooban, Mohammad Hassan.

    In: Energies, Vol. 13, No. 16, 4179, 2020.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  25. Published

    On the Design of a New Software Engineering Curriculum in Computer Engineering. / Hallerstede, Stefan; Larsen, Peter Gorm; Boudjadar, Jalil; Schultz, Carl Peter Leslie; Esterle, Lukas.

    Frontiers in Software Engineering Education: FISEE 2019. ed. / Jean-Michel Bruel; Alfredo Capozucca; Manuel Mazzara; Bertrand Meyer; Alexandr Naumchev; Andrey Sadovykh. Cham : Springer, 2020. p. 178-195 (Lecture Notes in Computer Science, Vol. 12271).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  26. Published

    QoS-Aware Service Provisioning in Fog Computing. / Murtaza, Faizan; Akhunzada, Adnan; Islam, Saif ul; Boudjadar, Jalil; Buyya, Rajkumar.

    In: Journal of Network and Computer Applications, Vol. 165, 102674, 2020.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  27. Published

    Security Verification of Industrial Control Systems using Partial Model Checking. / Kulik, Tomas; Boudjadar, Jalil; Tran-Jørgensen, Peter Würtz Vinther.

    FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software Engineering. New York : Association for Computing Machinery, 2020. p. 98-108.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  28. Published

    Simultaneous energy management and optimal components sizing of a zero-emission ferry boat. / Letafat, Armin; Rafiei Foroushani, Mehdi; Sheikh, Morteza; Afshari-Igder, Mosayeb; Banaei, Mohsen; Boudjadar, Jalil; Khooban, Mohammad Hassan.

    In: Journal of Energy Storage, Vol. 28, 101215, 2020.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  29. 2019
  30. Published

    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.

    In: Future Generation Computer Systems, Vol. 101, 12.2019, p. 1112-1121.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  31. Published

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

    In: IEEE Systems Journal, Vol. 13, No. 4, 12.2019, p. 4281-4291.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  32. Published

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

    In: IEEE Transactions on Power Electronics, Vol. 34, No. 11, 11.2019, p. 11300-11308.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  33. Published

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

    In: Complexity (Print), Vol. 2019, 5358316, 11.2019.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  34. Published

    Security analysis of cloud-connected industrial control systems using combinatorial testing. / Tran-Jørgensen, Peter Würtz Vinther; Kulik, Tomas; Boudjadar, Jalil; Larsen, Peter Gorm.

    MEMOCODE '19: : Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. New York : Association for Computing Machinery, 2019. p. 1-11 13.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  35. Published

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

    In: IEEE Systems Journal, Vol. 13, No. 3, 09.2019, p. 3233-3241.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  36. Accepted/In press

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

    2019. Paper presented at International Conference on Control and Optimization of Renewable Energy Systems, Anaheim, United States.

    Research output: Contribution to conferencePaperResearchpeer-review

  37. Accepted/In press

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

    2019. Paper presented at IEEE 5th International Forum on Research and Technology for Society and Industry, Firenze, Italy.

    Research output: Contribution to conferencePaperResearchpeer-review

  38. Published

    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.

    In: IEEE Transactions on Intelligent Vehicles, Vol. 4, No. 2, 06.2019, p. 255-264.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  39. Accepted/In press

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

    2019. Paper presented at The 6th International Conference on Power and Energy Systems Engineering, Okinawa, Japan.

    Research output: Contribution to conferencePaperResearchpeer-review

  40. Published

    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. ed. / J. L. Lanet; C. Toma. Vol. 11359 Springer, 2019. p. 71-84 (Lecture Notes in Computer Science, Vol. 11359).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  41. Published

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

    In: IEEE Sensors Journal, Vol. 19, No. 20, 2019, p. 9081-9089.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  42. Published

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

    2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT): Proceedings. IEEE, 2019.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  43. Published

    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.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  44. Published

    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.

    In: IET Power Electronics, Vol. 12, No. 9, 2019, p. 2155-2160.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  45. Published

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

    In: IEEE Sensors Journal, Vol. 19, No. 23, 2019, p. 11656-11665.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  46. Published

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

    IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 2019. p. 4063-4067 (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  47. 2018
  48. Published

    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. p. 89-97.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  49. Published

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

    In: Journal of Computers, Vol. 13, No. 10, 2018, p. 1202-1215.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  50. Published

    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. p. 51-58.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  51. Published

    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.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  52. 2017
  53. Published

    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. ed. / O. Kouchnarenko; R. Khosravi. Vol. 10231 Springer, 2017. p. 153-171 (Lecture Notes in Computer Science, Vol. 10231).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  54. Published

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

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

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  55. Published

    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.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  56. 2016
  57. Published

    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.

    In: Science of Computer Programming, Vol. 127, 01.10.2016, p. 103-130.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  58. Published

    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. p. 69-84 (Communications in Computer and Information Science, Vol. 596).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  59. Published

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

    In: IEEE Transactions on Industrial Informatics Journal, 2016.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  60. Published

    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. p. 105-114.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  61. Published

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

    CASPeR 2016. 2016.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  62. 2015
  63. Published

    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.

    In: Science of Computer Programming, Vol. 113, No. 3, 01.12.2015, p. 236-260.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  64. Published

    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. p. 91-100.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  65. Published

    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. p. 74-83.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  66. Published

    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. p. 209-227 (Lecture Notes in Computer Science, Vol. 8997).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  67. Published

    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.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  68. 2014
  69. Published

    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. Vol. 1294 ceur workshop proceedings, 2014. p. 140-147.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  70. Published

    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. p. 126-130.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  71. Published

    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. p. 51-60.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  72. Published

    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.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  73. 2013
  74. Published

    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. p. 61-78 (Lecture Notes in Computer Science, Vol. 8348).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  75. Published

    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. ed. / F. Arbab; M. Sirjani. Springer-Verlag, 2013. p. 111-132.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  76. 2012
  77. Published

    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.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  78. Published

    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. p. 57-64.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  79. Published

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

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

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  80. 2011
  81. Published

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

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

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review