Ruben Hamers

According to our database, Ruben Hamers authored at least 3 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

The Discourje project: run-time verification of communication protocols in Clojure.

Ruben Hamers, Erik Horlings, Sung-Shik Jongmans

Int. J. Softw. Tools Technol. Transf., 2022

2020

Discourje: Runtime Verification of Communication Protocols in Clojure.

Ruben Hamers, Sung-Shik Jongmans

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project.

Ruben Hamers, Sung-Shik Jongmans

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020