default search action
Ruurd Kuiper 0001
Person information
- affiliation: Eindhoven University of Technology, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c36]Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos:
A Structured (Java) Exercise Repository with Automated Feedback (SERF). CSERC 2021: 68-69
2010 – 2019
- 2019
- [j9]Dan Zhang, Dragan Bosnacki, Mark van den Brand
, Cornelis Huizing, Bart Jacobs
Dependency safety for Java - Implementing and testing failboxes. Sci. Comput. Program. 184 (2019) - [c35]Lex Bijlsma, Kees Huizing, Ruurd Kuiper, Harrie Passier, Harold Pootjes, Sjaak Smetsers:
Evaluation of a Structured Design Methodology for Concurrent Programming. CSERC 2019: 58-65 - 2018
- [j8]Bart Jacobs
Modular Termination Verification of Single-Threaded and Multithreaded Programs. ACM Trans. Program. Lang. Syst. 40(3): 12:1-12:59 (2018) - 2016
- [c34]L. P. J. Groenewegen, Ruurd Kuiper, Erik P. de Vink:
Towards a Proof Method for Paradigm. Theory and Practice of Formal Methods 2016: 242-260 - [c33]Dan Zhang, Dragan Bosnacki, Mark van den Brand
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. MODELSWARD (Revised Selected Papers) 2016: 249-273 - [c32]Dan Zhang, Dragan Bosnacki, Mark van den Brand
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. MODELSWARD 2016: 578-588 - [c31]Dragan Bosnacki, Mark van den Brand
Dependency Safety for Java: Implementing Failboxes. PPPJ 2016: 15:1-15:6 - 2015
- [c30]Bart Jacobs
Modular Termination Verification. ECOOP 2015: 664-688 - [c29]Dragan Bosnacki, Mark van den Brand
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. FACS 2015: 141-160 - 2014
- [c28]Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs:
Towards Verified Java Code Generation from Concurrent State Machines. AMT@MoDELS 2014: 64-69 - [p2]Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Pandora's Box. HOWARD-60 2014: 258-270 - 2012
- [c27]Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff:
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. Turing-100 2012: 168-180 - [c26]Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon:
Visualization of Object-oriented (Java) Programs. CSEDU (1) 2012: 65-72 - 2010
- [c25]Cornelis Huizing, Ron Koymans, Ruurd Kuiper:
A Small Step for Mankind. Concurrency, Compositionality, and Correctness 2010: 66-73 - [c24]Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
Halting Still Standing - Programs versus Specifications. UTP 2010: 226-233
2000 – 2009
- 2008
- [j7]Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Specification and Verification of Invariants by Exploiting Layers in OO Designs. Fundam. Informaticae 85(1-4): 377-398 (2008) - 2006
- [c23]Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Invariants for Non-Hierarchical Object Structures. SBMF 2006: 211-229 - 2005
- [c22]Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik:
Looking for Stability. DDoPS 2005: 31-44 - [c21]Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Cooperation-based Invariants for OO Languages. FACS 2005: 225-237 - 2002
- [j6]Ella E. Roubtsova
Consistent specification of interface suites in UML. Softw. Syst. Model. 1(2): 98-112 (2002) - [c20]Ella E. Roubtsova
Process Semantics for UML Component Specifications to Assess Inheritance. GT-VMT@ICGT 2002: 145-159 - 2001
- [c19]Ella E. Roubtsova
A Specification Model for Interface Suites. UML 2001: 457-471 - 2000
- [j5]Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper:
Improving Partial Order Reductions for Universal Branching Time Properties. Fundam. Informaticae 43(1-4): 245-267 (2000) - [c18]Kees Huizing, Ruurd Kuiper:
Verification of Object Oriented Programs Using Class Invariants. FASE 2000: 208-221
1990 – 1999
- 1999
- [j4]Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
A Partial Order Approach to Branching Time Logic Model Checking. Inf. Comput. 150(2): 132-152 (1999) - 1998
- [j3]Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper:
Partial-order Reduction Techniques for Real-time Model Checking. Formal Aspects Comput. 10(5-6): 469-482 (1998) - [j2]Frank Dignum, Ruurd Kuiper:
Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic. Int. J. Electron. Commer. 3(2): 67-85 (1998) - [c17]Frank Dignum, Ruurd Kuiper:
Obligations and Dense Time for Specifying Deadlines. HICSS (5) 1998: 186-195 - 1997
- [c16]Frank Dignum, Ruurd Kuiper:
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. HICSS (5) 1997: 336-346 - 1996
- [j1]Ping Zhou, Jozef Hooman, Ruurd Kuiper:
Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. Formal Aspects Comput. 8(3): 294-323 (1996) - [c15]Frank Dignum, John-Jules Ch. Meyer, Roel J. Wieringa, Ruurd Kuiper:
A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. DEON 1996: 80-97 - 1995
- [c14]Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
A Partial Order Approach to Branching Time Logic Model Checking. ISTCS 1995: 130-139 - [p1]Wojciech Penczek, Ruurd Kuiper:
Traces and Logic. The Book of Traces 1995: 307-390 - 1993
- [c13]Shengzong Zhou, Rob Gerth, Ruurd Kuiper:
Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). CONCUR 1993: 353-367 - 1992
- [c12]Rob Gerth, Ruurd Kuiper, John Segers:
Interface Refinement in Reactive Systems (Extended Abstract). CONCUR 1992: 77-93 - [c11]Ursula Goltz, Ruurd Kuiper, Wojciech Penczek:
Propositional Temporal Logics and Equivalences. CONCUR 1992: 222-236 - [c10]Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever:
Formalising Dijkstra's Development Strategy within Stark's Formalism. Refine 1992: 4-42 - 1991
- [c9]Jozef Hooman, Ruurd Kuiper, Ping Zhou:
A compositional proof system for real-time systems based on explicit clock temporal logic. IWSSD 1991: 110-117
1980 – 1989
- 1989
- [c8]Eduard Diepstraten, Ruurd Kuiper:
Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. REX Workshop 1989: 208-238 - 1988
- [c7]Ron Koymans, Ruurd Kuiper, Erik Zijstra:
Paradigms for Real-time Systems. FTRTFT 1988: 159-174 - 1987
- [c6]Ruurd Kuiper:
Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. Temporal Logic in Specification 1987: 295-303 - 1986
- [c5]Howard Barringer, Ruurd Kuiper, Amir Pnueli:
A Really Abstract Concurrent Model and its Temporal Logic. POPL 1986: 173-183 - 1984
- [c4]Howard Barringer, Ruurd Kuiper:
Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. Seminar on Concurrency 1984: 35-61 - [c3]Howard Barringer, Ruurd Kuiper, Amir Pnueli:
Now You May Compose Temporal Logic Specifications. STOC 1984: 51-63 - 1983
- [c2]Howard Barringer, Ruurd Kuiper:
Towards the Hierarchical, Temporal Logic, Specification. The Analysis of Concurrent Systems 1983: 157-183 - 1982
- [c1]Ruurd Kuiper, Willem P. de Roever:
Fairness Assumptions for CSP in a Temporal Logic Framework. Formal Description of Programming Concepts 1982: 159-170
Coauthor Index
aka: Kees Huizing
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: