Fairness Assumptions for CSP in a Temporal Logic Framework. - Ruurd Kuiper 001; Willem P. de Roever (Formal Description of Programming Concepts, 1982)

Towards the Hierarchical, Temporal Logic, Specification. - Howard Barringer; Ruurd Kuiper 001 (The Analysis of Concurrent Systems, 1983)

Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. - Howard Barringer; Ruurd Kuiper 001 (Seminar on Concurrency, 1984)

Now You May Compose Temporal Logic Specifications - Howard Barringer; Ruurd Kuiper 001; Amir Pnueli (STOC, 1984)

A Really Abstract Concurrent Model and its Temporal Logic. - Howard Barringer; Ruurd Kuiper 001; Amir Pnueli (POPL, 1986)

Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. - Ruurd Kuiper 001 (Temporal Logic in Specification, 1987)

Paradigms for Real-time Systems. - Ron Koymans; Ruurd Kuiper 001; Erik Zijstra (FTRTFT, 1988)

Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. - Eduard Diepstraten; Ruurd Kuiper 001 (REX Workshop, 1989)

A compositional proof system for real-time systems based on explicit clock temporal logic. - Jozef Hooman; Ruurd Kuiper 001; Ping Zhou (IWSSD, 1991)

Interface Refinement in Reactive Systems (Extended Abstract). - Rob Gerth; Ruurd Kuiper 001; John Segers (CONCUR, 1992)

Propositional Temporal Logics and Equivalences. - Ursula Goltz; Ruurd Kuiper 001; Wojciech Penczek (CONCUR, 1992)

Formalising Dijkstra's Development Strategy within Stark's Formalism. - Antonio Cau; Ruurd Kuiper 001; Willem-Paul de Roever (Refine, 1992)

Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). - Shengzong Zhou; Rob Gerth; Ruurd Kuiper 001 (CONCUR, 1993)

Traces and Logic. - Wojciech Penczek; Ruurd Kuiper 001 (The Book of Traces, 1995)

A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. - Frank Dignum; John-Jules Ch. Meyer; Roel J. Wieringa; Ruurd Kuiper 001 (DEON, 1996)

Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. - Ping Zhou; Jozef Hooman; Ruurd Kuiper 001 (Formal Aspects Comput., 1996)

Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. - Frank Dignum; Ruurd Kuiper 001 (HICSS (5), 1997)

Obligations and Dense Time for Specifying Deadlines. - Frank Dignum; Ruurd Kuiper 001 (HICSS (5), 1998)

Partial-order Reduction Techniques for Real-time Model Checking. - Dennis Dams; Rob Gerth; Bart Knaack; Ruurd Kuiper 001 (Formal Aspects Comput., 1998)

Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic. - Frank Dignum; Ruurd Kuiper 001 (Int. J. Electron. Commer., 1998)

A Partial Order Approach to Branching Time Logic Model Checking. - Rob Gerth; Ruurd Kuiper 001; Doron A. Peled; Wojciech Penczek (Inf. Comput., 1999)

Verification of Object Oriented Programs Using Class Invariants. - Kees Huizing; Ruurd Kuiper 001 (FASE, 2000)

Improving Partial Order Reductions for Universal Branching Time Properties. - Wojciech Penczek; Maciej Szreter; Rob Gerth; Ruurd Kuiper 001 (Fundam. Informaticae, 2000)

A Specification Model for Interface Suites. - Ella E. Roubtsova; Louis C. M. van Gool; Ruurd Kuiper 001; H. B. M. Jonkers (UML, 2001)

Process Semantics for UML Component Specifications to Assess Inheritance. - Ella E. Roubtsova; Ruurd Kuiper 001 (GT-VMT@ICGT, 2002)

Consistent specification of interface suites in UML. - Ella E. Roubtsova; Louis C. M. van Gool; Ruurd Kuiper 001; H. B. M. Jonkers (Softw. Syst. Model., 2002)

Looking for Stability. - Cornelis Huizing; Ruurd Kuiper 001; Teade Punter; Alexander Serebrenik (DDoPS, 2005)

Cooperation-based Invariants for OO Languages. - Ronald Middelkoop; Cornelis Huizing; Ruurd Kuiper 001; Erik J. Luit (FACS, 2005)

Invariants for Non-Hierarchical Object Structures. - Ronald Middelkoop; Cornelis Huizing; Ruurd Kuiper 001; Erik J. Luit (SBMF, 2006)

Specification and Verification of Invariants by Exploiting Layers in OO Designs. - Ronald Middelkoop; Cornelis Huizing; Ruurd Kuiper 001; Erik J. Luit (Fundam. Informaticae, 2008)

A Small Step for Mankind. - Cornelis Huizing; Ron Koymans; Ruurd Kuiper 001 (Concurrency, Compositionality, and Correctness, 2010)

Halting Still Standing - Programs versus Specifications. - Cornelis Huizing; Ruurd Kuiper 001; Tom Verhoeff (UTP, 2010)

Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. - Cornelis Huizing; Ruurd Kuiper 001; Tom Verhoeff (Turing-100, 2012)

Visualization of Object-oriented (Java) Programs. - Cornelis Huizing; Ruurd Kuiper 001; Christian Luijten; Vincent Vandalon (CSEDU (1), 2012)

Pandora's Box. - Ronald Middelkoop; Cornelis Huizing; Ruurd Kuiper 001; Erik J. Luit (HOWARD-60, 2014)

Towards Verified Java Code Generation from Concurrent State Machines. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Luc Engelen; Cornelis Huizing; Ruurd Kuiper 001; Anton Wijs (AMT@MoDELS, 2014)

Modular Termination Verification. - Bart Jacobs 002; Dragan Bosnacki; Ruurd Kuiper 001 (ECOOP, 2015)

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. - Dragan Bosnacki; Mark van den Brand; Joost Gabriels; Bart Jacobs 002; Ruurd Kuiper 001; Sybren Roede; Anton Wijs; Dan Zhang 002 (FACS, 2015)

Towards a Proof Method for Paradigm. - L. P. J. Groenewegen; Ruurd Kuiper 001; Erik P. de Vink (Theory and Practice of Formal Methods, 2016)

Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs (MODELSWARD (Revised Selected Papers), 2016)

Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Cornelis Huizing; Ruurd Kuiper 001; Bart Jacobs 002; Anton Wijs (MODELSWARD, 2016)

Dependency Safety for Java: Implementing Failboxes. - Dragan Bosnacki; Mark van den Brand; Philippe Denissen; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs; Maciej Wilkowski; Dan Zhang 002 (PPPJ, 2016)

Modular Termination Verification of Single-Threaded and Multithreaded Programs. - Bart Jacobs 002; Dragan Bosnacki; Ruurd Kuiper 001 (ACM Trans. Program. Lang. Syst., 2018)

Evaluation of a Structured Design Methodology for Concurrent Programming. - Lex Bijlsma 001; Kees Huizing; Ruurd Kuiper 001; Harrie Passier; Harold Pootjes; Sjaak Smetsers (CSERC, 2019)

Dependency safety for Java - Implementing and testing failboxes. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs (Sci. Comput. Program., 2019)

A Structured (Java) Exercise Repository with Automated Feedback (SERF). - Harrie Passier; Cornelis Huizing; Arjan J. F. Kok; Ruurd Kuiper 001; Lex Bijlsma 001; Erik Scheffers; Stefano Schivo; Tanja E. J. Vos (CSERC, 2021)

Guided Object-Oriented Development. - Harrie Passier; Lex Bijlsma 001; Ruurd Kuiper 001; Kees Huizing (CoRR, 2024)

A Feedback Toolkit and Procedural Guidance for Teaching Thorough Testing. - Steffen Dick; Christoph Bockisch; Harrie Passier; Lex Bijlsma 001; Ruurd Kuiper 001 (CoRR, 2024)

Analysis and Evaluation of a Searchable Exercise Repository for Training Java Programming. - Arjan J. F. Kok; Lex Bijlsma 001; Cornelis Huizing; Ruurd Kuiper 001; Harrie Passier (Informatics Educ., 2024)