Ruurd Kuiper

Publication Activity (10 Years)

Years Active: 1982-2021
Publications (10 Years): 7

Top Topics

Design Methodology

Concurrent Programming

Development Environment

Top Venues

Sci. Comput. Program.

Publications

Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos
A Structured (Java) Exercise Repository with Automated Feedback (SERF). CSERC (2021)
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs
Dependency safety for Java - Implementing and testing failboxes. Sci. Comput. Program. 184 (2019)
Lex Bijlsma, Kees Huizing, Ruurd Kuiper, Harrie Passier, Harold Pootjes, Sjaak Smetsers
Evaluation of a Structured Design Methodology for Concurrent Programming. CSERC (2019)
Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper
Modular Termination Verification of Single-Threaded and Multithreaded Programs. ACM Trans. Program. Lang. Syst. 40 (3) (2018)
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)
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)
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)
Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper
Modular Termination Verification. ECOOP (2015)
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)
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)
Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. Turing-100 (2012)
Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon
Visualization of Object-oriented (Java) Programs. CSEDU (1) (2012)
Cornelis Huizing, Ron Koymans, Ruurd Kuiper
A Small Step for Mankind. Concurrency, Compositionality, and Correctness (2010)
Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
Halting Still Standing - Programs versus Specifications. UTP (2010)
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
Specification and Verification of Invariants by Exploiting Layers in OO Designs. Fundam. Informaticae 85 (1-4) (2008)
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
Invariants for Non-Hierarchical Object Structures. Electron. Notes Theor. Comput. Sci. 195 (2008)
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
Cooperation-based Invariants for OO Languages. Electron. Notes Theor. Comput. Sci. 160 (2006)
Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik
Looking for Stability. DDoPS (2005)
Ella E. Roubtsova, Ruurd Kuiper
Process Semantics for UML Component Specifications to Assess Inheritance. Electron. Notes Theor. Comput. Sci. 72 (3) (2003)
Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers
Consistent specification of interface suites in UML. Softw. Syst. Model. 1 (2) (2002)
Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers
A Specification Model for Interface Suites. UML (2001)
Kees Huizing, Ruurd Kuiper
Verification of Object Oriented Programs Using Class Invariants. FASE (2000)
Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper
Improving Partial Order Reductions for Universal Branching Time Properties. Fundam. Informaticae 43 (1-4) (2000)
Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
A Partial Order Approach to Branching Time Logic Model Checking. Inf. Comput. 150 (2) (1999)
Frank Dignum, Ruurd Kuiper
Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic. Int. J. Electron. Commer. 3 (2) (1998)
Frank Dignum, Ruurd Kuiper
Obligations and Dense Time for Specifying Deadlines. HICSS (5) (1998)
Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper
Partial-order Reduction Techniques for Real-time Model Checking. Formal Aspects Comput. 10 (5-6) (1998)
Frank Dignum, Ruurd Kuiper
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. HICSS (5) (1997)
Frank Dignum, John-Jules Ch. Meyer, Roel J. Wieringa, Ruurd Kuiper
A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. DEON (1996)
Ping Zhou, Jozef Hooman, Ruurd Kuiper
Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. Formal Aspects Comput. 8 (3) (1996)
Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
A Partial Order Approach to Branching Time Logic Model Checking. ISTCS (1995)
Shengzong Zhou, Rob Gerth, Ruurd Kuiper
Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). CONCUR (1993)
Rob Gerth, Ruurd Kuiper, John Segers
Interface Refinement in Reactive Systems (Extended Abstract). CONCUR (1992)
Ursula Goltz, Ruurd Kuiper, Wojciech Penczek
Propositional Temporal Logics and Equivalences. CONCUR (1992)
Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever
Formalising Dijkstra's Development Strategy within Stark's Formalism. Refine (1992)
Jozef Hooman, Ruurd Kuiper, Ping Zhou
A compositional proof system for real-time systems based on explicit clock temporal logic. IWSSD (1991)
Eduard Diepstraten, Ruurd Kuiper
Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. REX Workshop (1989)
Ron Koymans, Ruurd Kuiper, Erik Zijstra
Paradigms for Real-time Systems. FTRTFT (1988)
Ruurd Kuiper
Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. Temporal Logic in Specification (1987)
Howard Barringer, Ruurd Kuiper, Amir Pnueli
A Really Abstract Concurrent Model and its Temporal Logic. POPL (1986)
Howard Barringer, Ruurd Kuiper, Amir Pnueli
Now You May Compose Temporal Logic Specifications STOC (1984)
Howard Barringer, Ruurd Kuiper
Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. Seminar on Concurrency (1984)
Howard Barringer, Ruurd Kuiper
Towards the Hierarchical, Temporal Logic, Specification. The Analysis of Concurrent Systems (1983)
Ruurd Kuiper, Willem P. de Roever
Fairness Assumptions for CSP in a Temporal Logic Framework. Formal Description of Programming Concepts (1982)