The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rob Gerth: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Cornelis Huizing, Rob Gerth, Willem P. de Roever
    Modeling Statecharts Behaviour in a Fully Abstract Way. [Citation Graph (1, 0)][DBLP]
    CAAP, 1988, pp:271-294 [Conf]
  2. Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann
    Model Checking Using Adaptive State and Data Abstraction. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:455-467 [Conf]
  3. Dennis Dams, Orna Grumberg, Rob Gerth
    Generation of Reduced Models for Checking Fragments of CTL. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:479-490 [Conf]
  4. Rob Gerth, Ruurd Kuiper, John Segers
    Interface Refinement in Reactive Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:77-93 [Conf]
  5. Shengzong Zhou, Rob Gerth, Ruurd Kuiper
    Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:353-367 [Conf]
  6. Rob Gerth, Liuba Shrira
    On Proving Communication Closedness of Distributed Layers. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1986, pp:330-343 [Conf]
  7. Marly Roncken, Rob Gerth, Willem P. de Roever
    A Proof System for Brinch Hansen's Distributed Processes. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:88-95 [Conf]
  8. Rob Gerth
    A Sound and Complete Hoare Axiomatization of the Ada-Rendevous. [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:252-264 [Conf]
  9. Rob Gerth, Andy Boucher
    A Timed Failures Model for Extended Communicating Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:95-114 [Conf]
  10. Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek
    A Partial Order Approach to Branching Time Logic Model Checking. [Citation Graph (0, 0)][DBLP]
    ISTCS, 1995, pp:130-139 [Conf]
  11. Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Y. Shapiro
    Fully Abstract Denotational Semantics for Flat Concurrent Prolog [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:320-335 [Conf]
  12. Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
    Compositional Semantics for Real-time Distributed Computing. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:167-189 [Conf]
  13. Frank S. de Boer, J. Coenen, Rob Gerth
    Exception Handling in Process Algebra. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:86-100 [Conf]
  14. Cornelis Huizing, Rob Gerth, Willem P. de Roever
    Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:223-237 [Conf]
  15. Rob Gerth, Willem P. de Roever, Marly Roncken
    Procedures and concurrency: A study in proof. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:132-163 [Conf]
  16. Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper
    Simple on-the-fly automatic verification of linear temporal logic. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:3-18 [Conf]
  17. Rob Gerth
    Foundations of Compositional Program Refinement - Safety Properties. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:777-807 [Conf]
  18. Cornelis Huizing, Rob Gerth
    Semantics of Reactive Systems in Abstract Time. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:291-314 [Conf]
  19. Rob Gerth
    Model Checking (Abstract). [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:39- [Conf]
  20. Rob Gerth
    Model Checking if Your Life Depends on It a View from Intel's Trenches. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:15- [Conf]
  21. Henk Schepers, Rob Gerth
    A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1993, pp:34-43 [Conf]
  22. Rob Gerth
    Transition Logic: How to Reason About Temporal Properties in a Compositional Way [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:39-50 [Conf]
  23. Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
    The ForSpec Temporal Logic: A New Temporal Property-Specification Language. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:296-211 [Conf]
  24. Rob Gerth
    Sequential Consistency and the Lazy Caching Algorithm. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1999, v:12, n:2-3, pp:57-59 [Journal]
  25. Dennis Dams, Rob Gerth
    The bounded retransmission protocol revisited. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:9, n:, pp:- [Journal]
  26. Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper
    Partial-order Reduction Techniques for Real-time Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:5-6, pp:469-482 [Journal]
  27. Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper
    Improving Partial Order Reductions for Universal Branching Time Properties. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:245-267 [Journal]
  28. Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek
    A Partial Order Approach to Branching Time Logic Model Checking. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:150, n:2, pp:132-152 [Journal]
  29. Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
    Compositional Semantics for Real-Time Distributed Computing [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1988, v:79, n:3, pp:210-256 [Journal]
  30. Frank A. Stomp, Willem P. de Roever, Rob Gerth
    The upsilon-Calculus as an Assertion-Language for Fairness Arguments [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:82, n:3, pp:278-322 [Journal]
  31. Rob Gerth, Willem P. de Roever
    A Proof System for Concurrent ADA Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1984, v:4, n:2, pp:159-204 [Journal]
  32. Dennis Dams, Rob Gerth, Orna Grumberg
    Abstract Interpretation of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:2, pp:253-291 [Journal]

Search in 0.019secs, Finished in 0.021secs
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