Ruben Hamers

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Project Management

Traveling Salesman

Communication Networks

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Ruben Hamers, Erik Horlings, Sung-Shik Jongmans
The Discourje project: run-time verification of communication protocols in Clojure. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Ruben Hamers, Sung-Shik Jongmans
Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project. ISoLA (1) (2020)
Ruben Hamers, Sung-Shik Jongmans
Discourje: Runtime Verification of Communication Protocols in Clojure. TACAS (1) (2020)