Ruurd Kuiper - RankMe

50 papers A* 2A 1B 4C 1Journal 12Unranked 28

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A Feedback Toolkit and Procedural Guidance for Teaching Thorough Testing. CoRR Steffen Dick, Christoph Bockisch, Harrie Passier, Lex Bijlsma, Ruurd Kuiper
2024	J	`jnl`	Analysis and Evaluation of a Searchable Exercise Repository for Training Java Programming. Informatics Educ. Arjan J. F. Kok, Lex Bijlsma, Cornelis Huizing, Ruurd Kuiper, Harrie Passier
2024	J	`jnl`	Guided Object-Oriented Development. CoRR Harrie Passier, Lex Bijlsma, Ruurd Kuiper, Kees Huizing
2021	—	`conf`	A Structured (Java) Exercise Repository with Automated Feedback (SERF). CSERC Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos
2019	J	`jnl`	Dependency safety for Java - Implementing and testing failboxes. Sci. Comput. Program. Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs
2019	—	`conf`	Evaluation of a Structured Design Methodology for Concurrent Programming. CSERC Lex Bijlsma, Kees Huizing, Ruurd Kuiper, Harrie Passier, Harold Pootjes, Sjaak Smetsers
2018	J	`jnl`	Modular Termination Verification of Single-Threaded and Multithreaded Programs. ACM Trans. Program. Lang. Syst. Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper
2016	—	`conf`	Dependency Safety for Java: Implementing Failboxes. PPPJ Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang
2016	—	`conf`	Towards a Proof Method for Paradigm. Theory and Practice of Formal Methods L. P. J. Groenewegen, Ruurd Kuiper, Erik P. de Vink
2016	C	`conf`	Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. MODELSWARD Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs
2016	—	`conf`	Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. MODELSWARD (Revised Selected Papers) Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs
2015	A	`conf`	Modular Termination Verification. ECOOP Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper
2015	—	`conf`	Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. FACS Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang
2014	—	`ch.`	Pandora's Box. HOWARD-60 Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
2014	—	`conf`	Towards Verified Java Code Generation from Concurrent State Machines. AMT@MoDELS Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs
2012	—	`conf`	Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. Turing-100 Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
2012	—	`conf`	Visualization of Object-oriented (Java) Programs. CSEDU (1) Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon
2010	—	`conf`	A Small Step for Mankind. Concurrency, Compositionality, and Correctness Cornelis Huizing, Ron Koymans, Ruurd Kuiper
2010	—	`conf`	Halting Still Standing - Programs versus Specifications. UTP Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
2008	J	`jnl`	Specification and Verification of Invariants by Exploiting Layers in OO Designs. Fundam. Informaticae Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
2006	—	`conf`	Invariants for Non-Hierarchical Object Structures. SBMF Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
2005	—	`conf`	Cooperation-based Invariants for OO Languages. FACS Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
2005	—	`conf`	Looking for Stability. DDoPS Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik
2002	J	`jnl`	Consistent specification of interface suites in UML. Softw. Syst. Model. Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers
2002	—	`conf`	Process Semantics for UML Component Specifications to Assess Inheritance. GT-VMT@ICGT Ella E. Roubtsova, Ruurd Kuiper
2001	—	`conf`	A Specification Model for Interface Suites. UML Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers
2000	J	`jnl`	Improving Partial Order Reductions for Universal Branching Time Properties. Fundam. Informaticae Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper
2000	B	`conf`	Verification of Object Oriented Programs Using Class Invariants. FASE Kees Huizing, Ruurd Kuiper
1999	J	`jnl`	A Partial Order Approach to Branching Time Logic Model Checking. Inf. Comput. Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
1998	—	`conf`	Obligations and Dense Time for Specifying Deadlines. HICSS (5) Frank Dignum, Ruurd Kuiper
1998	J	`jnl`	Partial-order Reduction Techniques for Real-time Model Checking. Formal Aspects Comput. Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper
1998	J	`jnl`	Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic. Int. J. Electron. Commer. Frank Dignum, Ruurd Kuiper
1997	—	`conf`	Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. HICSS (5) Frank Dignum, Ruurd Kuiper
1996	—	`conf`	A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. DEON Frank Dignum, John-Jules Ch. Meyer, Roel J. Wieringa, Ruurd Kuiper
1996	J	`jnl`	Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. Formal Aspects Comput. Ping Zhou, Jozef Hooman, Ruurd Kuiper
1995	—	`conf`	A Partial Order Approach to Branching Time Logic Model Checking. ISTCS Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
1995	—	`ch.`	Traces and Logic. The Book of Traces Wojciech Penczek, Ruurd Kuiper
1993	B	`conf`	Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). CONCUR Shengzong Zhou, Rob Gerth, Ruurd Kuiper
1992	—	`conf`	Formalising Dijkstra's Development Strategy within Stark's Formalism. Refine Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever
1992	B	`conf`	Interface Refinement in Reactive Systems (Extended Abstract). CONCUR Rob Gerth, Ruurd Kuiper, John Segers
1992	B	`conf`	Propositional Temporal Logics and Equivalences. CONCUR Ursula Goltz, Ruurd Kuiper, Wojciech Penczek
1991	—	`conf`	A compositional proof system for real-time systems based on explicit clock temporal logic. IWSSD Jozef Hooman, Ruurd Kuiper, Ping Zhou
1989	—	`conf`	Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. REX Workshop Eduard Diepstraten, Ruurd Kuiper
1988	—	`conf`	Paradigms for Real-time Systems. FTRTFT Ron Koymans, Ruurd Kuiper, Erik Zijstra
1987	—	`conf`	Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. Temporal Logic in Specification Ruurd Kuiper
1986	A*	`conf`	A Really Abstract Concurrent Model and its Temporal Logic. POPL Howard Barringer, Ruurd Kuiper, Amir Pnueli
1984	—	`conf`	Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. Seminar on Concurrency Howard Barringer, Ruurd Kuiper
1984	A*	`conf`	Now You May Compose Temporal Logic Specifications STOC Howard Barringer, Ruurd Kuiper, Amir Pnueli
1983	—	`conf`	Towards the Hierarchical, Temporal Logic, Specification. The Analysis of Concurrent Systems Howard Barringer, Ruurd Kuiper
1982	—	`conf`	Fairness Assumptions for CSP in a Temporal Logic Framework. Formal Description of Programming Concepts Ruurd Kuiper, Willem P. de Roever