Ruurd Kuiper - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 46 from 46

2021

A Structured (Java) Exercise Repository with Automated Feedback (SERF)Harrie Passier, Cornelis Huizing, Arjan Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos. cserc 2021: 68-69 [doi]

2019

Dependency safety for Java - Implementing and testing failboxesDan Zhang 0002, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs 0002, Ruurd Kuiper, Anton Wijs. SCP, 184, 2019. [doi]

Evaluation of a Structured Design Methodology for Concurrent ProgrammingLex Bijlsma, Kees Huizing, Ruurd Kuiper, Harrie Passier, Harold Pootjes, Sjaak Smetsers. cserc 2019: 58-65 [doi]

2018

Modular Termination Verification of Single-Threaded and Multithreaded ProgramsBart Jacobs 0002, Dragan Bosnacki, Ruurd Kuiper. TOPLAS, 40(3), 2018. [doi]

2016

2015

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL ModelsDragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs 0002, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang. facs2 2016: 141-160 [doi]

Modular Termination VerificationBart Jacobs, Dragan Bosnacki, Ruurd Kuiper. ECOOP 2015: 664-688 [doi]

2014

Pandora's BoxRonald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit. BIRTHDAY 2014: 258-270 [doi]

Towards Verified Java Code Generation from Concurrent State MachinesDan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs. MoDELS 2014: 64-69 [doi]

2012

Visualization of Object-oriented (Java) ProgramsCornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon. csedu 2012: 65-72

Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable FormalismsCornelis Huizing, Ruurd Kuiper, Tom Verhoeff. BIRTHDAY 2012: 168-180 [doi]

2010

Halting Still Standing - Programs versus SpecificationsCornelis Huizing, Ruurd Kuiper, Tom Verhoeff. utp 2010: 226-233 [doi]

A Small Step for MankindCornelis Huizing, Ron Koymans, Ruurd Kuiper. BIRTHDAY 2010: 66-73 [doi]

2008

Invariants for Non-Hierarchical Object StructuresRonald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit. ENTCS, 195:211-229, 2008. [doi]

Specification and Verification of Invariants by Exploiting Layers in OO DesignsRonald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit. FUIN, 85(1-4):377-398, 2008. [doi]

2006

Cooperation-based Invariants for OO LanguagesRonald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit. ENTCS, 160:225-237, 2006. [doi]

2005

Looking for StabilityCornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik. ddops 2005: 31-44

2003

Process Semantics for UML Component Specifications to Assess InheritanceElla E. Roubtsova, Ruurd Kuiper. ENTCS, 72(3):145-159, 2003. [doi]

2002

Consistent specification of interface suites in UMLElla E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers. SoSyM, 1(2):98-112, 2002. [doi]

2001

A Specification Model for Interface SuitesElla E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers. uml 2001: 457-471 [doi]

2000

Verification of Object Oriented Programs Using Class InvariantsKees Huizing, Ruurd Kuiper. FASE 2000: 208-221 [doi]

Improving Partial Order Reductions for Universal Branching Time PropertiesWojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper. FUIN, 43(1-4):245-267, 2000.

1999

A Partial Order Approach to Branching Time Logic Model CheckingRob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek. iandc, 150(2):132-152, 1999.

1998

Partial-order Reduction Techniques for Real-time Model CheckingDennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper. fac, 10(5-6):469-482, 1998. [doi]

Specifying Deadlines with Continuous Time Using Deontic and Temporal LogicFrank Dignum, Ruurd Kuiper. ijecommerce, 3(2):67-85, 1998. [doi]

Obligations and Dense Time for Specifying DeadlinesFrank Dignum, Ruurd Kuiper. hicss 1998: 186-195 [doi]

1997

Combining Dynamic Deontic Logic and Temporal Logic for the Specification of DeadlinesFrank Dignum, Ruurd Kuiper. hicss 1997: 336-346 [doi]

1996

A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields ObligationFrank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper. deon 1996: 80-97

Compositional Verification of Real-Time Systems with Explicit Clock Temporal LogicPing Zhou, Jozef Hooman, Ruurd Kuiper. fac, 8(3):294-323, 1996.

1995

A Partial Order Approach to Branching Time Logic Model CheckingRob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek. istcs 1995: 130-139

Traces and LogicWojciech Penczek, Ruurd Kuiper. In Volker Diekert, Grzegorz Rozenberg, editors, The Book of Traces. pages 307-390, World Scientific, 1995. [doi]

1993

Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract)Shengzong Zhou, Rob Gerth, Ruurd Kuiper. concur 1993: 353-367

1992

Formalising Dijkstra's Development Strategy within Stark's FormalismAntonio Cau, Ruurd Kuiper, Willem-Paul de Roever. Refine 1992: 4-42 [doi]

Interface Refinement in Reactive Systems (Extended Abstract)Rob Gerth, Ruurd Kuiper, John Segers. concur 1992: 77-93

Propositional Temporal Logics and EquivalencesUrsula Goltz, Ruurd Kuiper, Wojciech Penczek. concur 1992: 222-236

1991

A compositional proof system for real-time systems based on explicit clock temporal logicJozef Hooman, Ruurd Kuiper, Ping Zhou. iwssd 1991: 110-117 [doi]

1989

Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement MappingsEduard Diepstraten, Ruurd Kuiper. rex 1990: 208-238

1988

Paradigms for Real-time SystemsRon Koymans, Ruurd Kuiper, Erik Zijstra. ftrtft 1988: 159-174

1987

Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using HidingRuurd Kuiper. tls 1989: 295-303

1986

A Really Abstract Concurrent Model and its Temporal LogicHoward Barringer, Ruurd Kuiper, Amir Pnueli. POPL 1986: 173-183

1984

Hierarchical Development of Cncurrent Systems in a Temporal Logic FrameworkHoward Barringer, Ruurd Kuiper. concur 1985: 35-61

Now You May Compose Temporal Logic SpecificationsHoward Barringer, Ruurd Kuiper, Amir Pnueli. stoc 1984: 51-63

1983

Towards the Hierarchical, Temporal Logic, SpecificationHoward Barringer, Ruurd Kuiper. acs 1985: 157-183

1982

Fairness Assumptions for CSP in a Temporal Logic FrameworkRuurd Kuiper, Willem P. de Roever. ifip2 1983: 159-170

Sign in or sign up to see more results.

runs on WebDSL