Björn B. Brandenburg

95 papers A* 3A 45B 24Misc 3Journal 16Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	LiME: The Linux Real-Time Task Model Extractor. RTAS Björn B. Brandenburg, Cédric Courtaud, Filip Markovic, Bite Ye
2025	J	`jnl`	RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers. Proc. ACM Program. Lang. Kimaya Bedarkar, Laila Elbeheiry, Michael Sammler, Lennard Gäher, Björn B. Brandenburg, Derek Dreyer, Deepak Garg
2025	A	`conf`	SPR: Shielded Processor Reservations with Bounded Management Overhead. RTAS Esma Kökten, Gabriel Parmer, Björn B. Brandenburg
2025	J	`jnl`	Transfer Schedulability in Periodic Real-Time Systems. ACM Trans. Embed. Comput. Syst. Lars Willemsen, Mario Günzel, Björn B. Brandenburg, Georg von der Brüggen, Ching-Chi Lin, Jian-Jia Chen
2024	A	`conf`	A Distribution-Agnostic and Correlation-Aware Analysis of Periodic Tasks. RTSS Filip Markovic, Georg von der Brüggen, Mario Günzel, Jian-Jia Chen, Björn B. Brandenburg
2024	A	`conf`	In Search of Butterflies: Exceedance Analysis for Real-Time Systems under Transient Overload. RTSS Matteo Zini, Filip Markovic, Daniel Casini, Alessandro Biondi, Björn B. Brandenburg
2023	A	`conf`	CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks. RTSS Filip Markovic, Pierre Roux, Sergey Bozhko, Alessandro V. Papadopoulos, Björn B. Brandenburg
2023	A	`conf`	G(IP) RTAS Cédric Courtaud, Björn B. Brandenburg
2023	A	`conf`	What Really is pWCET? A Rigorous Axiomatic Proposal. RTSS Sergey Bozhko, Filip Markovic, Georg von der Brüggen, Björn B. Brandenburg
2022	J	`jnl`	Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact). Dagstuhl Artifacts Ser. Marco Maida, Sergey Bozhko, Björn B. Brandenburg
2022	B	`conf`	Foundational Response-Time Analysis as Explainable Evidence of Timeliness. ECRTS Marco Maida, Sergey Bozhko, Björn B. Brandenburg
2022	A	`conf`	From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. RTSS Kimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida, Björn B. Brandenburg
2022	A	`conf`	In-ConcReTeS: Interactive Consistency meets Distributed Real-Time Systems, Again! RTSS Arpan Gujarati, Ningfeng Yang, Björn B. Brandenburg
2022	—	`ch.`	Multiprocessor Real-Time Locking Protocols. Handbook of Real-Time Computing Björn B. Brandenburg
2022	A*	`conf`	Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud. USENIX Security Symposium Aastha Mehta, Mohamed Alzayat, Roberta De Viti, Björn B. Brandenburg, Peter Druschel, Deepak Garg
2022	A	`conf`	Work in Progress: Automatic Response-Time Analysis for Arbitrary Real-Time Linux Workloads. RTAS Marco Perronet, Marco Maida, Cédric Courtaud, Björn B. Brandenburg
2021	B	`ed.`	33rd Euromicro Conference on Real-Time Systems, ECRTS 2021, Virtual Conference, July 5-9, 2021 ECRTS Björn B. Brandenburg
2021	A	`conf`	A ROS 2 Response-Time Analysis Exploiting Starvation Freedom and Execution-Time Variance. RTSS Tobias Blaß, Daniel Casini, Sergey Bozhko, Björn B. Brandenburg
2021	A	`conf`	Automatic Latency Management for ROS 2: Benefits, Challenges, and Open Problems. RTAS Tobias Blaß, Arne Hamann, Ralph Lange, Dirk Ziegenbein, Björn B. Brandenburg
2021	A	`conf`	Efficiently Approximating the Worst-Case Deadline Failure Probability Under EDF. RTSS Georg von der Brüggen, Nico Piatkowski, Kuan-Hsun Chen, Jian-Jia Chen, Katharina Morik, Björn B. Brandenburg
2021	A	`conf`	Monte Carlo Response-Time Analysis. RTSS Sergey Bozhko, Georg von der Brüggen, Björn B. Brandenburg
2021	A	`conf`	Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness. RTSS Marco Maida, Sergey Bozhko, Björn B. Brandenburg
2020	J	`jnl`	Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle (Artifact). Dagstuhl Artifacts Ser. Sergey Bozhko, Björn B. Brandenburg
2020	B	`conf`	Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. ECRTS Sergey Bozhko, Björn B. Brandenburg
2020	B	`conf`	Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking. ECRTS James Robb, Björn B. Brandenburg
2020	A	`conf`	Real-Time Replica Consistency over Ethernet with Reliability Bounds. RTAS Arpan Gujarati, Sergey Bozhko, Björn B. Brandenburg
2020	A	`conf`	Response-Time Analysis for Non-Preemptive Global Scheduling with FIFO Spin Locks. RTSS Suhail Nogd, Geoffrey Nelissen, Mitra Nasri, Björn B. Brandenburg
2019	A	`ed.`	25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019, Montreal, QC, Canada, April 16-18, 2019 RTAS Björn B. Brandenburg
2019	—	`conf`	Achal: building highly reliable networked control systems. EMSOFT Companion Arpan Gujarati, Malte Appel, Björn B. Brandenburg
2019	A	`conf`	An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks. DATE Beyazit Yalcinkaya, Mitra Nasri, Björn B. Brandenburg
2019	J	`jnl`	Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling. Real Time Syst. Arpan Gujarati, Felipe Cerqueira, Björn B. Brandenburg, Geoffrey Nelissen
2019	A	`conf`	From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C. RTSS Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen
2019	B	`conf`	From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems. ECRTS Arpan Gujarati, Mitra Nasri, Rupak Majumdar, Björn B. Brandenburg
2019	J	`jnl`	Many suspensions, many problems: a review of self-suspending tasks in real-time systems. Real Time Syst. Jian-Jia Chen, Geoffrey Nelissen, Wen-Hung Huang, Maolin Yang, Björn B. Brandenburg, Konstantinos Bletsas, Cong Liu, Pascal Richard, Frédéric Ridouard, Neil C. Audsley, Raj Rajkumar, Dionisio de Niz, Georg von der Brüggen
2019	J	`jnl`	Multiprocessor Real-Time Locking Protocols: A Systematic Review. CoRR Björn B. Brandenburg
2019	J	`jnl`	Pacer: Network Side-Channel Mitigation in the Cloud. CoRR Aastha Mehta, Mohamed Alzayat, Roberta De Viti, Björn B. Brandenburg, Peter Druschel, Deepak Garg
2019	B	`conf`	Response-Time Analysis of Limited-Preemptive Parallel DAG Tasks Under Global Scheduling. ECRTS Mitra Nasri, Geoffrey Nelissen, Björn B. Brandenburg
2019	J	`jnl`	Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling (Artifact). Dagstuhl Artifacts Ser. Daniel Casini, Tobias Blaß, Ingo Lütkebohle, Björn B. Brandenburg
2019	B	`conf`	Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling. ECRTS Daniel Casini, Tobias Blaß, Ingo Lütkebohle, Björn B. Brandenburg
2018	B	`conf`	A Response-Time Analysis for Non-Preemptive Job Sets under Global Scheduling. ECRTS Mitra Nasri, Geoffrey Nelissen, Björn B. Brandenburg
2018	A	`conf`	FIFO with Offsets: High Schedulability with Low Overheads. RTAS Mitra Nasri, Robert I. Davis, Björn B. Brandenburg
2018	B	`conf`	On Strong and Weak Sustainability, with an Application to Self-Suspending Real-Time Tasks. ECRTS Felipe Cerqueira, Geoffrey Nelissen, Björn B. Brandenburg
2018	Misc	`ed.`	Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 5, 2018 EMSOFT Björn B. Brandenburg, Sriram Sankaranarayanan
2018	B	`conf`	Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems. ECRTS Arpan Gujarati, Mitra Nasri, Björn B. Brandenburg
2018	A	`conf`	Scalable Memory Reclamation for Multi-Core, Real-Time Systems. RTAS Yuxin Ren, Guyue Liu, Gabriel Parmer, Björn B. Brandenburg
2018	A	`conf`	Tableau: a high-throughput and predictable VM scheduler for high-density workloads. EuroSys Manohar Vanga, Arpan Gujarati, Björn B. Brandenburg
2017	J	`jnl`	A Note on the Period Enforcer Algorithm for Self-Suspending Tasks. Leibniz Trans. Embed. Syst. Jian-Jia Chen, Björn B. Brandenburg
2017	A	`conf`	An Exact and Sustainable Analysis of Non-preemptive Scheduling. RTSS Mitra Nasri, Björn B. Brandenburg
2017	A	`conf`	Offline Equivalence: A Non-preemptive Scheduling Technique for Resource-Constrained Embedded Real-Time Systems (Outstanding Paper). RTAS Mitra Nasri, Björn B. Brandenburg
2017	Misc	`conf`	Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS. RTNS Manohar Vanga, Andrea Bastoni, Henrik Theiling, Björn B. Brandenburg
2017	A	`conf`	Swayam: distributed autoscaling to meet SLAs of machine learning inference services with resource efficiency. Middleware Arpan Gujarati, Sameh Elnikety, Yuxiong He, Kathryn S. McKinley, Björn B. Brandenburg
2017	A	`conf`	TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference (Outstanding Paper). RTAS Pratyush Patel, Manohar Vanga, Björn B. Brandenburg
2016	A	`conf`	A Blocking Bound for Nested FIFO Spin Locks. RTSS Alessandro Biondi, Björn B. Brandenburg, Alexander Wieder
2016	J	`jnl`	A Note on the Period Enforcer Algorithm for Self-Suspending Tasks. CoRR Jian-Jia Chen, Björn B. Brandenburg
2016	A	`conf`	Global Scheduling Not Required: Simple, Near-Optimal Multiprocessor Real-Time Scheduling with Semi-Partitioned Reservations. RTSS Björn B. Brandenburg, Mahircan Gul
2016	B	`conf`	Lightweight Real-Time Synchronization under P-EDF on Symmetric and Asymmetric Multiprocessors. ECRTS Alessandro Biondi, Björn B. Brandenburg
2016	B	`conf`	Multiprocessor Real-Time Scheduling with Hierarchical Processor Affinities. ECRTS Vincenzo Bonifaci, Björn B. Brandenburg, Gianlorenzo D'Angelo, Alberto Marchetti-Spaccamela
2016	B	`conf`	PROSA: A Case for Readable Mechanized Schedulability Analysis. ECRTS Felipe Cerqueira, Felix Stutz, Björn B. Brandenburg
2015	A	`conf`	Global Real-Time Semaphore Protocols: A Survey, Unified Analysis, and Comparison. RTSS Maolin Yang, Alexander Wieder, Björn B. Brandenburg
2015	J	`jnl`	Multiprocessor real-time scheduling with arbitrary processor affinities: from practice to theory. Real Time Syst. Arpan Gujarati, Felipe Cerqueira, Björn B. Brandenburg
2015	A	`conf`	When Is CAN the Weakest Link? A Bound on Failures-in-Time in CAN-Based Real-Time Systems. RTSS Arpan Gujarati, Björn B. Brandenburg
2015	A*	`conf`	iThreads: A Threading Library for Parallel Incremental Computation. ASPLOS Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Björn B. Brandenburg, Rodrigo Rodrigues
2014	A	`conf`	A Synchronous IPC Protocol for Predictable Access to Shared Resources in Mixed-Criticality Systems. RTSS Björn B. Brandenburg
2014	A	`conf`	Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT. RTSS Roy Spliet, Manohar Vanga, Björn B. Brandenburg, Sven Dziadek
2014	A	`conf`	Linux's Processor Affinity API, Refined: Shifting Real-Time Tasks Towards Higher Schedulability. RTSS Felipe Cerqueira, Arpan Gujarati, Björn B. Brandenburg
2014	A	`conf`	On the Complexity of Worst-Case Blocking Analysis of Nested Critical Sections. RTSS Alexander Wieder, Björn B. Brandenburg
2014	A*	`conf`	SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. OSDI Pedro Fonseca, Rodrigo Rodrigues, Björn B. Brandenburg
2014	A	`conf`	Scaling global scheduling with message passing. RTAS Felipe Cerqueira, Manohar Vanga, Björn B. Brandenburg
2014	B	`conf`	The FMLP+: An Asymptotically Optimal Real-Time Locking Protocol for Suspension-Aware Analysis. ECRTS Björn B. Brandenburg
2013	B	`conf`	A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications. ECRTS Björn B. Brandenburg
2013	J	`jnl`	An asymptotically optimal real-time locking protocol for clustered scheduling under suspension-aware analysis. SIGBED Rev. Björn B. Brandenburg
2013	—	`conf`	Efficient partitioning of sporadic real-time tasks with shared resources and spin locks. SIES Alexander Wieder, Björn B. Brandenburg
2013	A	`conf`	Improved analysis and evaluation of real-time semaphore protocols for P-FP scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium Björn B. Brandenburg
2013	A	`conf`	Multiprocessor Feasibility Analysis of Recurrent Task Systems with Specified Processor Affinities. RTSS Sanjoy K. Baruah, Björn B. Brandenburg
2013	A	`conf`	On Spin Locks in AUTOSAR: Blocking Analysis of FIFO, Unordered, and Priority-Ordered Spin Locks. RTSS Alexander Wieder, Björn B. Brandenburg
2013	B	`conf`	Outstanding Paper Award: Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities. ECRTS Arpan Gujarati, Felipe Cerqueira, Björn B. Brandenburg
2013	J	`jnl`	The OMLP family of optimal multiprocessor real-time locking protocols. Des. Autom. Embed. Syst. Björn B. Brandenburg, James H. Anderson
2011	J	`jnl`	An overview of interrupt accounting techniques for multiprocessor real-time systems. J. Syst. Archit. Björn B. Brandenburg, Hennadiy Leontyev, James H. Anderson
2011	B	`conf`	Is Semi-Partitioned Scheduling Practical? ECRTS Andrea Bastoni, Björn B. Brandenburg, James H. Anderson
2011	Misc	`conf`	Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks. EMSOFT Björn B. Brandenburg, James H. Anderson
2011	—	`—`	Scheduling and locking in multiprocessor real-time operating systems. Björn B. Brandenburg
2011	A	`conf`	Soft Real-Time on Multiprocessors: Are Analysis-Based Schedulers Really Worth It? RTSS Christopher J. Kenna, Jonathan L. Herman, Björn B. Brandenburg, Alex F. Mills, James H. Anderson
2010	A	`conf`	An Empirical Comparison of Global, Partitioned, and Clustered Multiprocessor EDF Schedulers. RTSS Andrea Bastoni, Björn B. Brandenburg, James H. Anderson
2010	A	`conf`	Optimality Results for Multiprocessor Real-Time Locking. RTSS Björn B. Brandenburg, James H. Anderson
2010	J	`jnl`	Spin-based reader-writer synchronization for multiprocessor real-time systems. Real Time Syst. Björn B. Brandenburg, James H. Anderson
2009	B	`conf`	Accounting for Interrupts in Multiprocessor Real-Time Systems. RTCSA Björn B. Brandenburg, Hennadiy Leontyev, James H. Anderson
2009	A	`conf`	On the Implementation of Global Real-Time Schedulers. RTSS Björn B. Brandenburg, James H. Anderson
2009	B	`conf`	Reader-Writer Synchronization for Shared-Memory Multiprocessor Real-Time Systems. ECRTS Björn B. Brandenburg, James H. Anderson
2008	B	`conf`	A Comparison of the M-PCP, D-PCP, and FMLPon LITMUSRT. OPODIS Björn B. Brandenburg, James H. Anderson
2008	B	`conf`	An Adaptive Framework for Multiprocessor Real-Time System. ECRTS Aaron Block, Björn B. Brandenburg, James H. Anderson, Stephen Quint
2008	B	`conf`	An Implementation of the PCP, SRP, D-PCP, M-PCP, and FMLP Real-Time Synchronization Protocols in LITMUS RTCSA Björn B. Brandenburg, James H. Anderson
2008	A	`conf`	On the Scalability of Real-Time Scheduling Algorithms on Multicore Platforms: A Case Study. RTSS Björn B. Brandenburg, John M. Calandrino, James H. Anderson
2008	A	`conf`	Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin? IEEE Real-Time and Embedded Technology and Applications Symposium Björn B. Brandenburg, John M. Calandrino, Aaron Block, Hennadiy Leontyev, James H. Anderson
2007	B	`conf`	A Flexible Real-Time Locking Protocol for Multiprocessors. RTCSA Aaron Block, Hennadiy Leontyev, Björn B. Brandenburg, James H. Anderson
2007	B	`conf`	Integrating Hard/Soft Real-Time Tasks and Best-Effort Jobs on Multiprocessors. ECRTS Björn B. Brandenburg, James H. Anderson