Now you may compose temporal logic specifications H Barringer, R Kuiper, A Pnueli Proceedings of the sixteenth annual ACM symposium on Theory of computing, 51-63, 1984 | 379 | 1984 |
A partial order approach to branching time logic model checking R Gerth, R Kuiper, D Peled, W Penczek Information and Computation 150 (2), 132-152, 1999 | 242 | 1999 |
A really abstract concurrent model and its temporal logic H Barringer, R Kuiper, A Pnueli Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986 | 238 | 1986 |
A modal approach to intentions, commitments and obligations: Intention plus commitment yields obligation F Dignum, JJC Meyer, RJ Wieringa, R Kuiper Deontic Logic, Agency and Normative Systems: ΔEON’96: Third International …, 1996 | 88 | 1996 |
Combining dynamic deontic logic and temporal logic for the specification of deadlines F Dignum, R Kuiper Proceedings of the Thirtieth Hawaii International Conference on System …, 1997 | 70 | 1997 |
Verification of object oriented programs using class invariants K Huizing, R Kuiper, SOOP Fundamental Approaches to Software Engineering: Third International …, 2000 | 68 | 2000 |
Propositional temporal logics and equivalences U Goltz, R Kuiper, W Penczek International Conference on Concurrency Theory, 222-236, 1992 | 65 | 1992 |
Hierarchical development of concurrent systems in a temporal logic framework H Barringer, R Kuiper International Conference on Concurrency, 35-61, 1984 | 57 | 1984 |
Partial-order reduction techniques for real-time model checking D Dams, R Gerth, B Knaack, R Kuiper Formal Aspects of Computing 10, 469-482, 1998 | 54 | 1998 |
A Compositional Approach to a CSP-like Language H Barringer, R Kuiper, A Pnueli host publication, 207-227, 1985 | 50 | 1985 |
Improving partial order reductions for universal branching time properties W Penczek, M Szreter, R Gerth, R Kuiper Fundamenta Informaticae 43 (1-4), 245-267, 2000 | 47 | 2000 |
Fairness assumptions for CSP in a temporal logic framework R Kuiper, WP de Roever Mathematisch Centrum, Afdeling Informatica, 1982 | 43 | 1982 |
Traces and logic W Penczek, R Kuiper Technische Universiteit Eindhoven, 1994 | 38 | 1994 |
Specifying deadlines with continuous time using deontic and temporal logic F Dignum, R Kuiper International Journal of Electronic Commerce 3 (2), 67-85, 1998 | 34 | 1998 |
Paradigms for real-time systems R Koymans, R Kuiper, E Zijlstra International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1988 | 32 | 1988 |
Interface refinement in reactive systems R Gerth, R Kuiper, J Segers CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992 | 26 | 1992 |
Partial order reductions preserving simulations W Penczek, R Gerth, R Kuiper, M Szreter Submitted for publication, 1999 | 25 | 1999 |
An operational semantics for bonded nondeterminism equivalent to a denotational one R Kuiper | 25 | 1981 |
Invariants for non-hierarchical object structures R Middelkoop, C Huizing, R Kuiper, EJ Luit Electronic Notes in Theoretical Computer Science 195, 211-229, 2008 | 24 | 2008 |
Modular termination verification of single-threaded and multithreaded programs B Jacobs, D Bosnacki, R Kuiper ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (3), 1-59, 2018 | 19 | 2018 |