The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard Gerber: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tevfik Bultan, Richard Gerber, William Pugh
    Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:400-411 [Conf]
  2. Patrice Brémond-Grégoire, Insup Lee, Richard Gerber
    ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:417-431 [Conf]
  3. Richard Gerber, Insup Lee
    CCSR: A Calculus for Communicating Shared Resources. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:263-277 [Conf]
  4. Dong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth
    Techniques for Automating Distributed Real-Time Applications Design. [Citation Graph (0, 0)][DBLP]
    HPDC, 1999, pp:- [Conf]
  5. Tevfik Bultan, Jeffrey Fischer, Richard Gerber
    Compositional Verification by Model Checking for Counter-Examples. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:224-238 [Conf]
  6. Tevfik Bultan, Richard Gerber, Christopher League
    Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:113-123 [Conf]
  7. Dong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth, Manas Saksena
    A Software Synthesis Tool for Distributed Embedded System Design. [Citation Graph (0, 0)][DBLP]
    Workshop on Languages, Compilers, and Tools for Embedded Systems, 1999, pp:87-95 [Conf]
  8. Richard Gerber, Steven W. K. Tjiang, David B. Whalley, David Wilner, Michael Wolfe
    Appropriate Interfaces Between Design Tools, Languages, Compilers and Runtimes in Real-Time Systems (Panel). [Citation Graph (0, 0)][DBLP]
    Workshop on Languages, Compilers, & Tools for Real-Time Systems, 1995, pp:124- [Conf]
  9. Seongsoo Hong, Richard Gerber
    Compiling Real-Time Programs into Schedulable Code. [Citation Graph (0, 0)][DBLP]
    PLDI, 1993, pp:166-176 [Conf]
  10. Richard Gerber, Insup Lee
    Specification and Analysis of Resource-Bound Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:371-396 [Conf]
  11. Dong-In Kang, Richard Gerber, Manas Saksena
    Performance-Based Design Of Distributed Real-Time System. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 1997, pp:2-13 [Conf]
  12. Richard Gerber, Seongsoo Hong, Manas Saksena
    Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1994, pp:192-203 [Conf]
  13. Richard Gerber, Insup Lee
    Communicating Shared Resources: A Model for Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1989, pp:68-78 [Conf]
  14. Richard Gerber, Ladan Gharai
    Experiments with Digital Video Playback. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1996, pp:210-221 [Conf]
  15. Richard Gerber, Elsa L. Gunter, Insup Lee
    Implementing a Real-Time Process Algebra in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:144-154 [Conf]
  16. Richard Gerber, Insup Lee
    A Resource-Based Prioritized Bisimulation for Real-Time Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:113, n:1, pp:102-142 [Journal]
  17. 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). [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1994, v:29, n:12, pp:11-17 [Journal]
  18. Richard Gerber, William Pugh, Manas Saksena
    Parametric Dispatching of Hard Real-Time Tasks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1995, v:44, n:3, pp:471-479 [Journal]
  19. Dong-In Kang, Richard Gerber, Manas Saksena
    Parametric Design Synthesis of Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2000, v:49, n:11, pp:1155-1169 [Journal]
  20. Tevfik Bultan, Richard Gerber, William Pugh
    Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:4, pp:747-789 [Journal]
  21. Richard Gerber, Seongsoo Hong
    Slicing Real-Time Programs for Enhanced Schedulability. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:3, pp:525-555 [Journal]
  22. Tevfik Bultan, Richard Gerber, Christopher League
    Composite model-checking: verification with type-specific symbolic representations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:1, pp:3-50 [Journal]
  23. Richard Gerber, Seongsoo Hong
    Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:5, pp:389-404 [Journal]
  24. Richard Gerber, Seongsoo Hong, Manas Saksena
    Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:7, pp:579-592 [Journal]
  25. Richard Gerber, Insup Lee
    A Layered Approach to Automating the Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:9, pp:768-784 [Journal]

Search in 0.031secs, Finished in 0.032secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002