The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ruurd Kuiper" ( http://dblp.L3S.de/Authors/Ruurd_Kuiper )

URL (Homepage):  http://www.win.tue.nl/~wsinruur/  Author page on DBLP  Author page in RDF  Community of Ruurd Kuiper in ASPL-2

Publication years (Num. hits)
1982-1995 (15) 1996-2008 (16) 2010-2021 (15)
Publication types (Num. hits)
article(12) incollection(2) inproceedings(32)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 14 keywords

Results
Found 47 publication records. Showing 46 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma 0001, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos A Structured (Java) Exercise Repository with Automated Feedback (SERF). Search on Bibsonomy CSERC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dan Zhang 0002, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs 0002, Ruurd Kuiper, Anton Wijs Dependency safety for Java - Implementing and testing failboxes. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lex Bijlsma 0001, Kees Huizing, Ruurd Kuiper, Harrie Passier, Harold Pootjes, Sjaak Smetsers Evaluation of a Structured Design Methodology for Concurrent Programming. Search on Bibsonomy CSERC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0002, Dragan Bosnacki, Ruurd Kuiper Modular Termination Verification of Single-Threaded and Multithreaded Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs 0002, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang 0002 Dependency Safety for Java: Implementing Failboxes. Search on Bibsonomy PPPJ The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dan Zhang 0002, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs 0002, Anton Wijs Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. Search on Bibsonomy MODELSWARD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dan Zhang 0002, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs 0002, Ruurd Kuiper, Anton Wijs Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. Search on Bibsonomy MODELSWARD (Revised Selected Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0002, Dragan Bosnacki, Ruurd Kuiper Modular Termination Verification. Search on Bibsonomy ECOOP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs 0002, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang 0002 Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. Search on Bibsonomy FACS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit Pandora's Box. Search on Bibsonomy HOWARD-60 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dan Zhang 0002, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs Towards Verified Java Code Generation from Concurrent State Machines. Search on Bibsonomy AMT@MoDELS The full citation details ... 2014 DBLP  BibTeX  RDF
1Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. Search on Bibsonomy Turing-100 The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon Visualization of Object-oriented (Java) Programs. Search on Bibsonomy CSEDU (1) The full citation details ... 2012 DBLP  BibTeX  RDF
1Cornelis Huizing, Ron Koymans, Ruurd Kuiper A Small Step for Mankind. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff Halting Still Standing - Programs versus Specifications. Search on Bibsonomy UTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit Specification and Verification of Invariants by Exploiting Layers in OO Designs. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2008 DBLP  BibTeX  RDF
1Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit Invariants for Non-Hierarchical Object Structures. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit Cooperation-based Invariants for OO Languages. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik Looking for Stability. Search on Bibsonomy DDoPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Ella E. Roubtsova, Ruurd Kuiper Process Semantics for UML Component Specifications to Assess Inheritance. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers Consistent specification of interface suites in UML. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Consistency of several views, Specification model, UML, Component specification
1Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers A Specification Model for Interface Suites. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper Improving Partial Order Reductions for Universal Branching Time Properties. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Kees Huizing, Ruurd Kuiper Verification of Object Oriented Programs Using Class Invariants. Search on Bibsonomy FASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek A Partial Order Approach to Branching Time Logic Model Checking. Search on Bibsonomy Inf. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Frank Dignum, Ruurd Kuiper Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic. Search on Bibsonomy Int. J. Electron. Commer. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper Partial-order Reduction Techniques for Real-time Model Checking. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Model checking, Verification, Real time, Covering, Partial-order reduction
1Frank Dignum, Ruurd Kuiper Obligations and Dense Time for Specifying Deadlines. Search on Bibsonomy HICSS (5) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Frank Dignum, Ruurd Kuiper Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. Search on Bibsonomy HICSS (5) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ping Zhou, Jozef Hooman, Ruurd Kuiper Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Frank Dignum, John-Jules Ch. Meyer, Roel J. Wieringa, Ruurd Kuiper A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. Search on Bibsonomy DEON The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Wojciech Penczek, Ruurd Kuiper Traces and Logic. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek A Partial Order Approach to Branching Time Logic Model Checking. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Shengzong Zhou, Rob Gerth, Ruurd Kuiper Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ursula Goltz, Ruurd Kuiper, Wojciech Penczek Propositional Temporal Logics and Equivalences. Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Rob Gerth, Ruurd Kuiper, John Segers Interface Refinement in Reactive Systems (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF interface change, leads to property, ?-automata, concurrency, temporal logic, refinement, transition systems
1Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever Formalising Dijkstra's Development Strategy within Stark's Formalism. Search on Bibsonomy Refine The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Jozef Hooman, Ruurd Kuiper, Ping Zhou A compositional proof system for real-time systems based on explicit clock temporal logic. Search on Bibsonomy IWSSD The full citation details ... 1991 DBLP  BibTeX  RDF
1Eduard Diepstraten, Ruurd Kuiper Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF ghost variables, history and prophecy variables, Temporal logic, simulation relations, refinement mappings, stuttering
1Ron Koymans, Ruurd Kuiper, Erik Zijstra Paradigms for Real-time Systems. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Ruurd Kuiper Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Howard Barringer, Ruurd Kuiper, Amir Pnueli A Really Abstract Concurrent Model and its Temporal Logic. Search on Bibsonomy POPL The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Howard Barringer, Ruurd Kuiper Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. Search on Bibsonomy Seminar on Concurrency The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Howard Barringer, Ruurd Kuiper, Amir Pnueli Now You May Compose Temporal Logic Specifications Search on Bibsonomy STOC The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Howard Barringer, Ruurd Kuiper Towards the Hierarchical, Temporal Logic, Specification. Search on Bibsonomy The Analysis of Concurrent Systems The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Ruurd Kuiper, Willem P. de Roever Fairness Assumptions for CSP in a Temporal Logic Framework. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
Displaying result #1 - #46 of 46 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license