Concepedia

Ron Koymans

RK

Statistics

Publications

11

Citations

1.6K

H-Index

11

Active since

1983

Affiliations

Philips (Netherlands)(Current)

Erasmus University Rotterdam

Eindhoven University of Technology

NXP (Netherlands)

Vrije Universiteit Brussel

Ron Koymans is an author at Philips (Netherlands) specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceReal-time SystemsFormal VerificationAutomated ReasoningSystems EngineeringAutomationVerificationNursing

Publications per year

1983–2020

11

Publications

11

Specifying real-time properties with metric temporal logic

Ron Koymans · Real-Time Systems · 1990 · 1.2K citations

Metric Temporal Logic, Engineering, Automated Reasoning +9

Real-time programming and asynchronous message passing

Ron Koymans, Jan Vytopil, Willem P. de Roever · 1983 · 117 citations · Full text

Engineering, Real-time Processes, Special Temporal Logic +17

Cost-Effectiveness Analysis in Telehealth: A Comparison between Home Telemonitoring, Nurse Telephone Support, and Usual Care in Chronic Heart Failure Management

Andrija S. Grustam, Johan L. Severens, Daniele De Massari et al. · Value in Health · 2018 · 104 citations · Full text

Nursing, Family Medicine, Primary Care +14

Design and analysis of dynamic leader election protocols in broadcast networks

Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans et al. · Distributed Computing · 1996 · 69 citations · Full text

Network Science, Network Communication Protocol, Distributed Coordination +5

Compositional semantics for real-time distributed computing

Ron Koymans, R. K. Shyamasundar, Willem P. de Roever et al. · Information and Computation · 1988 · 64 citations · Full text

Real-time Distributed Computing, Engineering, Automated Reasoning +9

1–5 of 11