Ruurd Kuiper

According to our database, Ruurd Kuiper authored at least 47 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Analysis and Evaluation of a Searchable Exercise Repository for Training Java Programming.

Arjan J. F. Kok, Lex Bijlsma, Cornelis Huizing, Ruurd Kuiper, Harrie Passier

Informatics Educ., 2024

2021

A Structured (Java) Exercise Repository with Automated Feedback (SERF).

Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos

Proceedings of the CSERC '21: The 10th Computer Science Education Research Conference, Virtual Event, The Netherlands, November 22, 2021

2019

Dependency safety for Java - Implementing and testing failboxes.

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs

Sci. Comput. Program., 2019

Evaluation of a Structured Design Methodology for Concurrent Programming.

Lex Bijlsma, Kees Huizing, Ruurd Kuiper, Harrie Passier, Harold Pootjes, Sjaak Smetsers

Proceedings of the CSERC '19: The 8th Computer Science Education Research Conference, 2019

2018

Modular Termination Verification of Single-Threaded and Multithreaded Programs.

Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper

ACM Trans. Program. Lang. Syst., 2018

2016

Dependency Safety for Java: Implementing Failboxes.

Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang

Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code.

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs

Proceedings of the MODELSWARD 2016, 2016

Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations.

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs

Proceedings of the Model-Driven Engineering and Software Development, 2016

Towards a Proof Method for Paradigm.

L. P. J. Groenewegen, Ruurd Kuiper, Erik P. de Vink

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.

Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Modular Termination Verification.

Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Towards Verified Java Code Generation from Concurrent State Machines.

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Pandora's Box.

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2012

Visualization of Object-oriented (Java) Programs.

Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon

Proceedings of the CSEDU 2012, 2012

Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms.

Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff

Proceedings of the Turing-100, 2012

2010

Halting Still Standing - Programs versus Specifications.

Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

A Small Step for Mankind.

Cornelis Huizing, Ron Koymans, Ruurd Kuiper

Proceedings of the Concurrency, 2010

2008

Specification and Verification of Invariants by Exploiting Layers in OO Designs.

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit

Fundam. Informaticae, 2008

2006

Invariants for Non-Hierarchical Object Structures.

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit

Proceedings of the Brazilian Symposium on Formal Methods, 2006

2005

Cooperation-based Invariants for OO Languages.

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Looking for Stability.

Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik

Proceedings of the Development and Deployment of Product Software, 2005

2002

Consistent specification of interface suites in UML.

Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers

Softw. Syst. Model., 2002

Process Semantics for UML Component Specifications to Assess Inheritance.

Ella E. Roubtsova, Ruurd Kuiper

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

2001

A Specification Model for Interface Suites.

Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers

Proceedings of the «UML» 2001, 2001

2000

Improving Partial Order Reductions for Universal Branching Time Properties.

Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper

Fundam. Informaticae, 2000

Verification of Object Oriented Programs Using Class Invariants.

Kees Huizing, Ruurd Kuiper

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

A Partial Order Approach to Branching Time Logic Model Checking.

Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek

Inf. Comput., 1999

1998

Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic.

Frank Dignum, Ruurd Kuiper

Int. J. Electron. Commer., 1998

Partial-order Reduction Techniques for Real-time Model Checking.

Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper

Formal Aspects Comput., 1998

Obligations and Dense Time for Specifying Deadlines.

Frank Dignum, Ruurd Kuiper

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines.

Frank Dignum, Ruurd Kuiper

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic.

Ping Zhou, Jozef Hooman, Ruurd Kuiper

Formal Aspects Comput., 1996

A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation.

Frank Dignum, John-Jules Ch. Meyer, Roel J. Wieringa, Ruurd Kuiper

Proceedings of the Deontic Logic, Agency and Normative Systems, 1996

1995

Traces and Logic.

Wojciech Penczek, Ruurd Kuiper

Proceedings of the Book of Traces, 1995

1993

Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract).

Shengzong Zhou, Rob Gerth, Ruurd Kuiper

Proceedings of the CONCUR '93, 1993

1992

Formalising Dijkstra's Development Strategy within Stark's Formalism.

Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever

Proceedings of the 5th Refinement Workshop, 1992

Propositional Temporal Logics and Equivalences.

Ursula Goltz, Ruurd Kuiper, Wojciech Penczek

Proceedings of the CONCUR '92, 1992

Interface Refinement in Reactive Systems (Extended Abstract).

Rob Gerth, Ruurd Kuiper, John Segers

Proceedings of the CONCUR '92, 1992

1991

A compositional proof system for real-time systems based on explicit clock temporal logic.

Jozef Hooman, Ruurd Kuiper, Ping Zhou

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

1989

Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings.

Eduard Diepstraten, Ruurd Kuiper

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

1988

Paradigms for Real-time Systems.

Ron Koymans, Ruurd Kuiper, Erik Zijstra

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987

Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding.

Ruurd Kuiper

Proceedings of the Temporal Logic in Specification, 1987

1986

A Really Abstract Concurrent Model and its Temporal Logic.

Howard Barringer, Ruurd Kuiper, Amir Pnueli

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1984

Now You May Compose Temporal Logic Specifications

Howard Barringer, Ruurd Kuiper, Amir Pnueli

Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework.

Howard Barringer, Ruurd Kuiper

Proceedings of the Seminar on Concurrency, 1984

1983

Towards the Hierarchical, Temporal Logic, Specification.

Howard Barringer, Ruurd Kuiper

Proceedings of the Analysis of Concurrent Systems, 1983

1982

Fairness Assumptions for CSP in a Temporal Logic Framework.

Ruurd Kuiper, Willem P. de Roever

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982