Login / Signup
Erik Horlings
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Multi Party
Distinctive Features
Concurrent Programming
Communication Protocols
Top Venues
Int. J. Softw. Tools Technol. Transf.
ESEC/SIGSOFT FSE
</>
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)
Erik Horlings
,
Sung-Shik Jongmans
Analysis of specifications of multiparty sessions with dcj-lint.
ESEC/SIGSOFT FSE
(2021)