팔로우
Ruurd Kuiper
Ruurd Kuiper
소속을 알 수 없음
tue.nl의 이메일 확인됨
제목
인용
인용
연도
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
3721984
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
2341999
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
2341986
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
871996
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
651997
Propositional temporal logics and equivalences
U Goltz, R Kuiper, W Penczek
CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992
651992
Verification of object oriented programs using class invariants
K Huizing, R Kuiper, SOOP
Fundamental Approaches to Software Engineering: Third International …, 2000
632000
Hierarchical development of concurrent systems in a temporal logic framework
H Barringer, R Kuiper
Seminar on Concurrency 197, 35-61, 1985
571985
A Compositional Approach to a CSP-like Language
H Barringer, R Kuiper, A Pnueli
host publication, 207-227, 1985
501985
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
482000
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
471998
Fairness assumptions for CSP in a temporal logic framework
R Kuiper, WP de Roever
Mathematisch Centrum, Afdeling Informatica, 1982
471982
Traces and logic
W Penczek, R Kuiper
The book of Traces, 307-390, 1995
371995
Specifying deadlines with continuous time using deontic and temporal logic
F Dignum, R Kuiper
International Journal of Electronic Commerce 3 (2), 67-85, 1998
341998
Paradigms for real-time systems
R Koymans, R Kuiper, E Zijlstra
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a …, 1988
291988
Interface refinement in reactive systems
R Gerth, R Kuiper, J Segers
CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992
261992
Specifying message passing and real-time systems with real-time temporal logic
R Koymxms, R Kuiper, E Zijlstra
ESPRIT'87 Achievements and Impact, 311, 1987
261987
An operational semantics for bonded nondeterminism equivalent to a denotational one
R Kuiper
261981
Partial order reductions preserving simulations
W Penczek, R Gerth, R Kuiper, M Szreter
Submitted for publication, 1999
241999
Invariants for non-hierarchical object structures
R Middelkoop, C Huizing, R Kuiper, EJ Luit
Electronic Notes in Theoretical Computer Science 195, 211-229, 2008
222008
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20