Ruurd Kuiper

  • Eindhoven University of Technology, Netherlands

According to our database1, Ruurd Kuiper authored at least 46 papers between 1982 and 2021.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:



A Structured (Java) Exercise Repository with Automated Feedback (SERF).
Proceedings of the CSERC '21: The 10th Computer Science Education Research Conference, Virtual Event, The Netherlands, November 22, 2021

Dependency safety for Java - Implementing and testing failboxes.
Sci. Comput. Program., 2019

Evaluation of a Structured Design Methodology for Concurrent Programming.
Proceedings of the CSERC '19: The 8th Computer Science Education Research Conference, 2019

Modular Termination Verification of Single-Threaded and Multithreaded Programs.
ACM Trans. Program. Lang. Syst., 2018

Dependency Safety for Java: Implementing Failboxes.
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.
Proceedings of the MODELSWARD 2016, 2016

Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations.
Proceedings of the Model-Driven Engineering and Software Development, 2016

Towards a Proof Method for Paradigm.
Proceedings of the Theory and Practice of Formal Methods, 2016

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Modular Termination Verification.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Towards Verified Java Code Generation from Concurrent State Machines.
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.
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

Visualization of Object-oriented (Java) Programs.
Proceedings of the CSEDU 2012, 2012

Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms.
Proceedings of the Turing-100, 2012

Halting Still Standing - Programs versus Specifications.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

A Small Step for Mankind.
Proceedings of the Concurrency, 2010

Specification and Verification of Invariants by Exploiting Layers in OO Designs.
Fundam. Informaticae, 2008

Invariants for Non-Hierarchical Object Structures.
Proceedings of the Brazilian Symposium on Formal Methods, 2006

Cooperation-based Invariants for OO Languages.
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Looking for Stability.
Proceedings of the Development and Deployment of Product Software, 2005

Consistent specification of interface suites in UML.
Softw. Syst. Model., 2002

Process Semantics for UML Component Specifications to Assess Inheritance.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

A Specification Model for Interface Suites.
Proceedings of the «UML» 2001, 2001

Improving Partial Order Reductions for Universal Branching Time Properties.
Fundam. Informaticae, 2000

Verification of Object Oriented Programs Using Class Invariants.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

A Partial Order Approach to Branching Time Logic Model Checking.
Inf. Comput., 1999

Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic.
Int. J. Electron. Commer., 1998

Partial-order Reduction Techniques for Real-time Model Checking.
Formal Aspects Comput., 1998

Obligations and Dense Time for Specifying Deadlines.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic.
Formal Aspects Comput., 1996

A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation.
Proceedings of the Deontic Logic, Agency and Normative Systems, 1996

Traces and Logic.
Proceedings of the Book of Traces, 1995

Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract).
Proceedings of the CONCUR '93, 1993

Formalising Dijkstra's Development Strategy within Stark's Formalism.
Proceedings of the 5th Refinement Workshop, 1992

Propositional Temporal Logics and Equivalences.
Proceedings of the CONCUR '92, 1992

Interface Refinement in Reactive Systems (Extended Abstract).
Proceedings of the CONCUR '92, 1992

A compositional proof system for real-time systems based on explicit clock temporal logic.
Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Paradigms for Real-time Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding.
Proceedings of the Temporal Logic in Specification, 1987

A Really Abstract Concurrent Model and its Temporal Logic.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

Now You May Compose Temporal Logic Specifications
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework.
Proceedings of the Seminar on Concurrency, 1984

Towards the Hierarchical, Temporal Logic, Specification.
Proceedings of the Analysis of Concurrent Systems, 1983

Fairness Assumptions for CSP in a Temporal Logic Framework.
Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982