R. Gerber

University of Maryland, College Park, University of Pennsylvania

Papers

Total Citations

H-Index

About

R. Gerber’s research centers on the specification, verification, and compilation of real-time systems—a field where timing is as critical as correctness. In his most influential work, Gerber introduced a layered approach to automating the verification of real-time systems (1992, 51 citations), providing a structured method for specifying and verifying complex timing behaviors such as timeouts, deadlines, and interrupts. He further advanced the field with the Communicating Shared Resources (CSR) model (2003, 36 citations), a formal framework that integrates timing constraints and resource contention resolution through event priority, offering a denotational semantics for distributed real-time systems. Gerber also explored compiler support for real-time programs (1995), addressing the challenge of balancing functional and temporal requirements. His contributions have provided foundational tools for engineers and researchers tackling the rigorous demands of real-time computing. With a career spanning over a decade of impactful work, Gerber’s models and verification techniques remain essential references for those designing reliable, time-critical systems.