Richard Gerber

Publication Activity (10 Years)

Years Active: 1989-2018
Publications (10 Years): 1

Top Topics

User Preferences

Monitoring System

Abnormal Events

Top Venues

Publications

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, Steve Leak, Mike Mason, Kevin T. Pedretti, Jean-Guillaume Piccinali, Jason Repik, Jim Rogers, Susanna Salminen, Mike Showerman, Cary Whitney, Jim Williams
Large-Scale System Monitoring Experiences and Recommendations. CLUSTER (2018)
Dong-In Kang, Richard Gerber, Manas Saksena
Parametric Design Synthesis of Distributed Embedded Systems. IEEE Trans. Computers 49 (11) (2000)
Tevfik Bultan, Richard Gerber, Christopher League
Composite model-checking: verification with type-specific symbolic representations. ACM Trans. Softw. Eng. Methodol. 9 (1) (2000)
Dong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth
Techniques for Automating Distributed Real-Time Applications Design. HPDC (1999)
Tevfik Bultan, Richard Gerber, William Pugh
Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Trans. Program. Lang. Syst. 21 (4) (1999)
Dong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth, Manas Saksena
A Software Synthesis Tool for Distributed Embedded System Design. Workshop on Languages, Compilers, and Tools for Embedded Systems (1999)
Tevfik Bultan, Richard Gerber, Christopher League
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. ISSTA (1998)
Tevfik Bultan, Richard Gerber, William Pugh
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. CAV (1997)
Richard Gerber, Seongsoo Hong
Slicing Real-Time Programs for Enhanced Schedulability. ACM Trans. Program. Lang. Syst. 19 (3) (1997)
Dong-In Kang, Richard Gerber, Manas Saksena
Performance-Based Design Of Distributed Real-Time System. IEEE Real Time Technology and Applications Symposium (1997)
Tevfik Bultan, Jeffrey Fischer, Richard Gerber
Compositional Verification by Model Checking for Counter-Examples. ISSTA (1996)
Richard Gerber, Ladan Gharai
Experiments with Digital Video Playback. SIGMETRICS (1996)
Richard Gerber, William Pugh, Manas Saksena
Parametric Dispatching of Hard Real-Time Tasks. IEEE Trans. Computers 44 (3) (1995)
Richard Gerber, Seongsoo Hong, Manas Saksena
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes. IEEE Trans. Software Eng. 21 (7) (1995)
Richard Gerber, Seongsoo Hong
Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion. IEEE Trans. Software Eng. 21 (5) (1995)
Richard Gerber, Steven W. K. Tjiang, David B. Whalley, David N. Wilner, Michael Wolfe
Appropriate Interfaces Between Design Tools, Languages, Compilers and Runtimes in Real-Time Systems (Panel). Workshop on Languages, Compilers, & Tools for Real-Time Systems (1995)
Richard Gerber, Insup Lee
A Resource-Based Prioritized Bisimulation for Real-Time Systems Inf. Comput. 113 (1) (1994)
Azer Bestavros, Richard Gerber, Stephen P. Masticola
ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, 1994 (Summary of the Workshop). ACM SIGPLAN Notices 29 (12) (1994)
Richard Gerber, Seongsoo Hong, Manas Saksena
Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes. RTSS (1994)
Patrice Brémond-Grégoire, Insup Lee, Richard Gerber
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. CONCUR (1993)
Richard Gerber, Seongsoo Hong
Semantics-based compiler transformations for enhanced schedulability. RTSS (1993)
Seongsoo Hong, Richard Gerber
Compiling Real-Time Programs into Schedulable Code. PLDI (1993)
Richard Gerber, Insup Lee
A Layered Approach to Automating the Verification of Real-Time Systems. IEEE Trans. Software Eng. 18 (9) (1992)
Richard Gerber, Elsa L. Gunter, Insup Lee
Implementing a Real-Time Process Algebra in HOL. TPHOLs (1991)
Richard Gerber, Insup Lee
Specification and Analysis of Resource-Bound Real-Time Systems. REX Workshop (1991)
Richard Gerber, Insup Lee
CCSR: A Calculus for Communicating Shared Resources. CONCUR (1990)
Richard Gerber, Insup Lee
Communicating Shared Resources: A Model for Distributed Real-Time Systems. RTSS (1989)