Felipe Cerqueira

Felipe Cerqueira

Max Planck Institut für Software Systeme - Kaiserslautern / Germany
Others
AD Scientific Index ID: 5664665
Max Planck Institute for Software Systems
person_outline Felipe Cerqueira's MOST POPULAR ARTICLES
1-) A comparison of scheduling latency in linux, preempt-rt, and litmus rtF Cerqueira, B Brandenburg9th Annual workshop on operating systems platforms for embedded real-time …, 2013842013
2-) PROSA: A case for readable mechanized schedulability analysisF Cerqueira, F Stutz, BB Brandenburg2016 28th Euromicro Conference on Real-Time Systems (ECRTS), 273-284, 2016512016
3-) Outstanding paper award: Schedulability analysis of the linux push and pull scheduler with arbitrary processor affinitiesA Gujarati, F Cerqueira, BB Brandenburg2013 25th Euromicro Conference on Real-Time Systems, 69-79, 2013382013
4-) Scaling global scheduling with message passingF Cerqueira, M Vanga, BB Brandenburg2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014372014
5-) Multiprocessor real-time scheduling with arbitrary processor affinities: from practice to theoryA Gujarati, F Cerqueira, BB BrandenburgReal-Time Systems 51 (4), 440-483, 2015312015