Author of the publication

Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.

, , , , and . ISORC, page 556-560. IEEE Computer Society, (2008)

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.

 

Other publications of authors with the same name

Group Location Selection Queries over Uncertain Objects., , , , and . IEEE Trans. Knowl. Data Eng., 25 (12): 2796-2808 (2013)Differentially private histogram publication., , , , , and . VLDB J., 22 (6): 797-822 (2013)A Role and Context Based Access Control Model with UML., , , , and . ICYCS, page 1175-1180. IEEE Computer Society, (2008)Efficient fuzzy ranking queries in uncertain databases., , , , and . Appl. Intell., 37 (1): 47-59 (2012)Verifying global convergence for a digital phase-locked loop., , , and . FMCAD, page 113-120. IEEE, (2013)Performance comparison of two wide-tuning-range 13-GHz CMOS LC-VCOs., , and . ICECS, page 762-765. IEEE, (2014)New Response Time Bounds for Fixed Priority Multiprocessor Scheduling., , , and . RTSS, page 387-397. IEEE Computer Society, (2009)Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software., , , and . RTSS, page 339-349. IEEE Computer Society, (2010)A Real-Time Scheduling Algorithm with Buffer Optimization for Embedded Signal Processing Systems., , , and . AINA Workshops (1), page 772-777. IEEE Computer Society, (2007)Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking., , , , and . ISORC, page 556-560. IEEE Computer Society, (2008)