Följ
Ruurd Kuiper
Ruurd Kuiper
Okänd anknytning
Verifierad e-postadress på tue.nl
Titel
Citeras av
Citeras av
År
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
3761984
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
2371986
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
2351999
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
851996
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
681997
Verification of object oriented programs using class invariants
K Huizing, R Kuiper, SOOP
Fundamental Approaches to Software Engineering: Third International …, 2000
662000
Propositional temporal logics and equivalences
U Goltz, R Kuiper, W Penczek
International Conference on Concurrency Theory, 222-236, 1992
661992
Hierarchical development of concurrent systems in a temporal logic framework
H Barringer, R Kuiper
International Conference on Concurrency, 35-61, 1984
571984
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
501998
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
462000
Fairness assumptions for CSP in a temporal logic framework
R Kuiper, WP de Roever
Mathematisch Centrum, Afdeling Informatica, 1982
441982
Traces and logic
W Penczek, R Kuiper
Technische Universiteit Eindhoven, 1994
371994
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
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1988
311988
Interface refinement in reactive systems
R Gerth, R Kuiper, J Segers
CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992
261992
Partial order reductions preserving simulations
W Penczek, R Gerth, R Kuiper, M Szreter
Submitted for publication, 1999
251999
An operational semantics for bonded nondeterminism equivalent to a denotational one
R Kuiper
251981
Invariants for non-hierarchical object structures
R Middelkoop, C Huizing, R Kuiper, EJ Luit
Electronic Notes in Theoretical Computer Science 195, 211-229, 2008
242008
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
172018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20