The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ruurd Kuiper: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Howard Barringer, Ruurd Kuiper
    Towards the Hierarchical, Temporal Logic, Specification. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:157-183 [Conf]
  2. Howard Barringer, Ruurd Kuiper
    Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:35-61 [Conf]
  3. Rob Gerth, Ruurd Kuiper, John Segers
    Interface Refinement in Reactive Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:77-93 [Conf]
  4. Ursula Goltz, Ruurd Kuiper, Wojciech Penczek
    Propositional Temporal Logics and Equivalences. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:222-236 [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. Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik
    Looking for Stability. [Citation Graph (0, 0)][DBLP]
    DDoPS, 2005, pp:31-44 [Conf]
  7. Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper
    A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. [Citation Graph (0, 0)][DBLP]
    DEON, 1996, pp:80-97 [Conf]
  8. Kees Huizing, Ruurd Kuiper
    Verification of Object Oriented Programs Using Class Invariants. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:208-221 [Conf]
  9. Ron Koymans, Ruurd Kuiper, Erik Zijstra
    Paradigms for Real-time Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1988, pp:159-174 [Conf]
  10. Frank Dignum, Ruurd Kuiper
    Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. [Citation Graph (0, 0)][DBLP]
    HICSS (5), 1997, pp:336-346 [Conf]
  11. Frank Dignum, Ruurd Kuiper
    Obligations and Dense Time for Specifying Deadlines. [Citation Graph (0, 0)][DBLP]
    HICSS (5), 1998, pp:186-195 [Conf]
  12. 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]
  13. Howard Barringer, Ruurd Kuiper, Amir Pnueli
    A Really Abstract Concurrent Model and its Temporal Logic. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:173-183 [Conf]
  14. Eduard Diepstraten, Ruurd Kuiper
    Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:208-238 [Conf]
  15. Howard Barringer, Ruurd Kuiper, Amir Pnueli
    Now You May Compose Temporal Logic Specifications [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:51-63 [Conf]
  16. Ruurd Kuiper
    Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:295-303 [Conf]
  17. Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers
    A Specification Model for Interface Suites. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:457-471 [Conf]
  18. Ella E. Roubtsova, Ruurd Kuiper
    Process Semantics for UML Component Specifications to Assess Inheritance. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
  19. Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik Luit
    Cooperation-based Invariants for OO Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:225-237 [Journal]
  20. 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]
  21. Ping Zhou, Jozef Hooman, Ruurd Kuiper
    Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:3, pp:294-323 [Journal]
  22. 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]
  23. 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]
  24. Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers
    Consistent specification of interface suites in UML. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2002, v:1, n:2, pp:98-112 [Journal]

  25. A Small Step for Mankind. [Citation Graph (, )][DBLP]


  26. Invariants for Non-Hierarchical Object Structures. [Citation Graph (, )][DBLP]


Search in 0.030secs, Finished in 0.031secs
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