PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Boudjadar, Jalil"

Author of the publication

copydeleteadd this publication to your clipboard
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems.

, , , , , and . ISORC, page 51-58. IEEE Computer Society, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Boudjadar, Jalil
add a person with the name Boudjadar, Jalil
 

Other publications of authors with the same name

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems., , , , , and . ISORC, page 51-58. IEEE Computer Society, (2018)Compositional Schedulability Analysis of Multicore Modular Avionic Architectures.. JCP, 13 (10): 1202-1215 (2018)Electric Vehicle Power Propulsion System Control Based on Time-Varying Fractional Calculus: Implementation and Experimental Results., , , and . IEEE Trans. Intelligent Vehicles, 4 (2): 255-264 (2019)Robust Frequency Regulation in Mobile Microgrids: HIL Implementation., , , , , , and . IEEE Systems Journal, 13 (4): 4281-4291 (2019)Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems., and . DS-RT, page 37-46. IEEE Computer Society, (2018)Formal Security Analysis of Cloud-Connected Industrial Control Systems., , and . SecITC, volume 11359 of Lecture Notes in Computer Science, page 71-84. Springer, (2018)Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard Microgrids., , , , and . IEEE Systems Journal, 13 (3): 3233-3241 (2019)Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems., , , , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 153-171. (2016)Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems., and . ICPE, page 263-274. ACM, (2017)Compliance verification of a cyber security standard for Cloud-connected SCADA., , and . GIoTS, page 1-6. IEEE, (2019)