Concepedia

Ruurd Kuiper

RK

14

Publications

858

Citations

13

H-Index

1983

Active since

Affiliations

Eindhoven University of Technology(Current)

Institute of Computer Science

Nokia (United States)

Intel (United States)

Ruurd Kuiper is an author at Eindhoven University of Technology specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProgram AnalysisSystems EngineeringSoftware DesignSoftware Analysis

Publications per year

1983–2012

14

Publications

14

Now you may compose temporal logic specifications

Howard Barringer, Ruurd Kuiper, Amir Pnueli · 1984 · 266 citations · Full text

Engineering, Temporal Logic Specifications, Verification +19

A really abstract concurrent model and its temporal logic

Howard Barringer, Ruurd Kuiper, Amir Pnueli · 1986 · 157 citations

Engineering, Verification, Concurrent System +19

A Partial Order Approach to Branching Time Logic Model Checking

Rob Gerth, Ruurd Kuiper, Doron Peled et al. · Information and Computation · 1999 · 101 citations · Full text

Engineering, Program Analysis, Automated Reasoning +11

A partial order approach to branching time logic model checking

Rob Gerth, Ruurd Kuiper, Doron Peled et al. · 2002 · 66 citations

Engineering, Partial Order Approach, Verification +19

Combining dynamic deontic logic and temporal logic for the specification of deadlines

Frank Dignum, Ruurd Kuiper · 2002 · 42 citations

Engineering, Intelligent Systems, Formal Verification +17

Rows per page

1–5 of 14