Richard Gerber
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
1989–2018
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CLUSTER | Large-Scale System Monitoring Experiences and Recommendations. | Ville Ahlgren, Stefan Andersson, Jim M. Brandt, Nicholas Cardo, Sudheer Chunduri, Jeremy Enos, Parks Fields, Ann C. Gentile, Richard Gerber, Michael Gienger, Joe Greenseid, Annette Greiner, Bilel Hadri, Yun He, Dennis Hoppe, Urpo Kaila, Kaki Kelly, Mark Klein, Alex Kristiansen, Stephen Leak, Mike Mason, Kevin T. Pedretti, Jean-Guillaume Piccinali, Jason Repik, Jim Rogers, Susanna Salminen, Mike Showerman, Cary Whitney, Jim Williams |
| 1999 | HPDC | Techniques for Automating Distributed Real-Time Applications Design. | Dong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth |
| 1998 | ISSTA | Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. | Tevfik Bultan, Richard Gerber, Christopher League |
| 1997 | CAV | Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. | Tevfik Bultan, Richard Gerber, William W. Pugh |
| 1997 | RTAS | Performance-Based Design Of Distributed Real-Time System. | Dong-In Kang, Richard Gerber, Manas Saksena |
| 1996 | ISSTA | Compositional Verification by Model Checking for Counter-Examples. | Tevfik Bultan, Jeffrey Fischer, Richard Gerber |
| 1996 | SIGMETRICS | Experiments with Digital Video Playback. | Richard Gerber, Ladan Gharai |
| 1994 | RTSS | Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes. | Richard Gerber, Seongsoo Hong, Manas Saksena |
| 1993 | CONCUR | ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. | Patrice Brmond-Grgoire, Insup Lee, Richard Gerber |
| 1993 | PLDI | Compiling Real-Time Programs into Schedulable Code. | Seongsoo Hong, Richard Gerber |
| 1993 | RTSS | Semantics-based compiler transformations for enhanced schedulability. | Richard Gerber, Seongsoo Hong |
| 1990 | CONCUR | CCSR: A Calculus for Communicating Shared Resources. | Richard Gerber, Insup Lee |
| 1990 | RTSS | A Proof System for Communicating Shared Resources. | Richard Gerber, Insup Lee |
| 1989 | RTSS | Communicating Shared Resources: A Model for Distributed Real-Time Systems. | Richard Gerber, Insup Lee |