Ron Koymans

According to our database, Ron Koymans authored at least 11 papers between 1983 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Assessment of a Business-to-Consumer (B2C) model for Telemonitoring patients with Chronic Heart Failure (CHF).

Andrija S. Grustam, Hubertus J. M. Vrijhoef, Ron Koymans, Philipp Hukal, Johan L. Severens

BMC Medical Informatics Decis. Mak., 2017

2010

A Small Step for Mankind.

Cornelis Huizing, Ron Koymans, Ruurd Kuiper

Proceedings of the Concurrency, 2010

1996

Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks.

Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw

Distributed Comput., 1996

1992

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Ron Koymans

Lecture Notes in Computer Science 651, Springer, ISBN: 3-540-56283-4, 1992

1991

(Real) Time: A Philosophical Perspective.

Ron Koymans

Proceedings of the Real-Time: Theory in Practice, 1991

1990

Specifying Real-Time Properties with Metric Temporal Logic.

Ron Koymans

Real Time Syst., 1990

1988

Paradigms for Real-time Systems.

Ron Koymans, Ruurd Kuiper, Erik Zijstra

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987

Specifying Message Passing Systems Requires Extending Temporal Logic.

Ron Koymans

Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987

1985

Compositional Semantics for Real-time Distributed Computing.

Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar

Proceedings of the Logics of Programs, 1985

1983

Real-Time Programming and Asynchronous Message Passing.

Ron Koymans, Jan Vytopil, Willem P. de Roever

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

Examples of a Real-Time Temporal Logic Specification.

Ron Koymans, Willem P. de Roever

Proceedings of the Analysis of Concurrent Systems, 1983