Felipe Cerqueira

Statistics

Publications

Citations

133

H-Index

Active since

2013

Affiliations

Max Planck Institute for Software Systems(Current)

Max Planck Society

Felipe Cerqueira is an author at Max Planck Institute for Software Systems specializing in parallel computing, computer engineering, and real-time systems.

Top concepts

EngineeringComputer ScienceReal-time SystemsParallel ComputingSystems EngineeringComputer EngineeringComputer ArchitectureParallel ProgrammingSystem SoftwareOperating Systems

Publications per year

2013–2016

Publications

A Comparison of Scheduling Latency in Linux, PREEMPT-RT, and LITMUS RT

Felipe Cerqueira, Björn B. Brandenburg · 2013 · 37 citations · Full text

PROSA: A Case for Readable Mechanized Schedulability Analysis

Felipe Cerqueira, Felix Stutz, Björn B. Brandenburg · 2016 · 34 citations

Proven Schedulability, Engineering, Computer Architecture +17

Scaling global scheduling with message passing

Felipe Cerqueira, Manohar Vanga, Björn B. Brandenburg · 2014 · 20 citations

Sched Deadline, Cluster Computing, Engineering +18

Multiprocessor real-time scheduling with arbitrary processor affinities: from practice to theory

Arpan Gujarati, Felipe Cerqueira, Björn B. Brandenburg · Real-Time Systems · 2014 · 19 citations

Engineering, Real-time Algorithm, Scheduling Analysis +13

Outstanding Paper Award: Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities

Arpan Gujarati, Felipe Cerqueira, Björn B. Brandenburg · 2013 · 13 citations

Engineering, Computer Architecture, Arbitrary Processor Affinity +23

1–5 of 6