Ron Koymans

Publication Activity (10 Years)

Years Active: 1983-2017
Publications (10 Years): 1

Top Topics

Normal Subjects

Top Venues

BMC Medical Informatics Decis. Mak.

Publications

Andrija S. Grustam, Hubertus J. M. Vrijhoef, Ron Koymans, Philipp Hukal, Johan L. Severens
Assessment of a Business-to-Consumer (B2C) model for Telemonitoring patients with Chronic Heart Failure (CHF). BMC Medical Informatics Decis. Mak. 17 (1) (2017)
Cornelis Huizing, Ron Koymans, Ruurd Kuiper
A Small Step for Mankind. Concurrency, Compositionality, and Correctness (2010)
Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw
Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Comput. 9 (4) (1996)
Ron Koymans
(Real) Time: A Philosophical Perspective. REX Workshop (1991)
Ron Koymans
Specifying Real-Time Properties with Metric Temporal Logic. Real Time Syst. 2 (4) (1990)
Ron Koymans, Ruurd Kuiper, Erik Zijstra
Paradigms for Real-time Systems. FTRTFT (1988)
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
Compositional Semantics for Real-Time Distributed Computing Inf. Comput. 79 (3) (1988)
Ron Koymans
Specifying Message Passing Systems Requires Extending Temporal Logic. PODC (1987)
Ron Koymans
Specifying Message Passing Systems Requires Extending Temporal Logic. Temporal Logic in Specification (1987)
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
Compositional Semantics for Real-time Distributed Computing. Logic of Programs (1985)
Ron Koymans, Willem P. de Roever
Examples of a Real-Time Temporal Logic Specification. The Analysis of Concurrent Systems (1983)
Ron Koymans, Jan Vytopil, Willem P. de Roever
Real-Time Programming and Asynchronous Message Passing. PODC (1983)