Ron Koymans

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