Reducing Lookups for Invariant Checking. - Jakob G. Thomsen; Christian Clausen; Kristoffer Just Andersen; John Danaher 002; Erik Ernst (ECOOP, 2013)

Caper - Automatic Verification for Fine-Grained Concurrency. - Thomas Dinsdale-Young; Pedro da Rocha Pinto; Kristoffer Just Andersen; Lars Birkedal (ESOP, 2017)

Distributed Protocol Combinators. - Kristoffer Just Arndal Andersen; Ilya Sergey (PADL, 2019)

Protocol combinators for modeling, testing, and execution of distributed systems. - Kristoffer Just Arndal Andersen; Ilya Sergey (J. Funct. Program., 2021)