Ruurd Kuiper
Person information
- affiliation: Eindhoven University of Technology, Netherlands
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j11]Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper:
Modular Termination Verification of Single-Threaded and Multithreaded Programs. ACM Trans. Program. Lang. Syst. 40(3): 12:1-12:59 (2018) - 2016
- [c28]Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs:
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. MODELSWARD (Revised Selected Papers) 2016: 249-273 - [c27]Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs:
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. MODELSWARD 2016: 578-588 - [c26]Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang:
Dependency Safety for Java: Implementing Failboxes. PPPJ 2016: 15:1-15:6 - 2015
- [c25]
- [c24]Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang:
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. FACS 2015: 141-160 - 2014
- [c23]Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs:
Towards Verified Java Code Generation from Concurrent State Machines. AMT@MoDELS 2014: 64-69 - [p1]Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Pandora's Box. HOWARD-60 2014: 258-270 - 2012
- [c22]Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff:
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. Turing-100 2012: 168-180 - [c21]Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon:
Visualization of Object-oriented (Java) Programs. CSEDU (1) 2012: 65-72 - 2010
- [c20]Cornelis Huizing, Ron Koymans, Ruurd Kuiper:
A Small Step for Mankind. Concurrency, Compositionality, and Correctness 2010: 66-73 - [c19]Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff:
Halting Still Standing - Programs versus Specifications. UTP 2010: 226-233
2000 – 2009
- 2008
- [j10]Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Invariants for Non-Hierarchical Object Structures. Electr. Notes Theor. Comput. Sci. 195: 211-229 (2008) - [j9]Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Specification and Verification of Invariants by Exploiting Layers in OO Designs. Fundam. Inform. 85(1-4): 377-398 (2008) - 2006
- [j8]Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Cooperation-based Invariants for OO Languages. Electr. Notes Theor. Comput. Sci. 160: 225-237 (2006) - 2005
- [c18]Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik:
Looking for Stability. DDoPS 2005: 31-44 - 2003
- [j7]Ella E. Roubtsova, Ruurd Kuiper:
Process Semantics for UML Component Specifications to Assess Inheritance. Electr. Notes Theor. Comput. Sci. 72(3): 145-159 (2003) - 2002
- [j6]Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers:
Consistent specification of interface suites in UML. Software and System Modeling 1(2): 98-112 (2002) - 2001
- [c17]Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers:
A Specification Model for Interface Suites. UML 2001: 457-471 - 2000
- [j5]Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper:
Improving Partial Order Reductions for Universal Branching Time Properties. Fundam. Inform. 43(1-4): 245-267 (2000) - [c16]Kees Huizing, Ruurd Kuiper:
Verification of Object Oriented Programs Using Class Invariants. FASE 2000: 208-221
1990 – 1999
- 1999
- [j4]Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek:
A Partial Order Approach to Branching Time Logic Model Checking. Inf. Comput. 150(2): 132-152 (1999) - 1998
- [j3]Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper:
Partial-order Reduction Techniques for Real-time Model Checking. Formal Asp. Comput. 10(5-6): 469-482 (1998) - [j2]Frank Dignum, Ruurd Kuiper:
Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic. Int. J. Electronic Commerce 3(2): 67-85 (1998) - [c15]Frank Dignum, Ruurd Kuiper:
Obligations and Dense Time for Specifying Deadlines. HICSS (5) 1998: 186-195 - 1997
- [c14]Frank Dignum, Ruurd Kuiper:
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. HICSS (5) 1997: 336-346 - 1996
- [j1]Ping Zhou, Jozef Hooman, Ruurd Kuiper:
Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. Formal Asp. Comput. 8(3): 294-323 (1996) - [c13]Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper:
A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. DEON 1996: 80-97 - 1995
- [c12]Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek:
A Partial Order Approach to Branching Time Logic Model Checking. ISTCS 1995: 130-139 - 1993
- [c11]Shengzong Zhou, Rob Gerth, Ruurd Kuiper:
Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). CONCUR 1993: 353-367 - 1992
- [c10]Rob Gerth, Ruurd Kuiper, John Segers:
Interface Refinement in Reactive Systems (Extended Abstract). CONCUR 1992: 77-93 - [c9]Ursula Goltz, Ruurd Kuiper, Wojciech Penczek:
Propositional Temporal Logics and Equivalences. CONCUR 1992: 222-236
1980 – 1989
- 1989
- [c8]Eduard Diepstraten, Ruurd Kuiper:
Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. REX Workshop 1989: 208-238 - 1988
- [c7]
- 1987
- [c6]Ruurd Kuiper:
Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. Temporal Logic in Specification 1987: 295-303 - 1986
- [c5]Howard Barringer, Ruurd Kuiper, Amir Pnueli:
A Really Abstract Concurrent Model and its Temporal Logic. POPL 1986: 173-183 - 1984
- [c4]Howard Barringer, Ruurd Kuiper:
Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. Seminar on Concurrency 1984: 35-61 - [c3]Howard Barringer, Ruurd Kuiper, Amir Pnueli:
Now You May Compose Temporal Logic Specifications. STOC 1984: 51-63 - 1983
- [c2]Howard Barringer, Ruurd Kuiper:
Towards the Hierarchical, Temporal Logic, Specification. The Analysis of Concurrent Systems 1983: 157-183 - 1982
- [c1]Ruurd Kuiper, Willem P. de Roever:
Fairness Assumptions for CSP in a Temporal Logic Framework. Formal Description of Programming Concepts 1982: 159-170
Coauthor Index
Cornelis Huizing
aka: Kees Huizing
aka: Kees Huizing
last updated on 2019-01-16 22:33 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint