Domain-Specific Languages with Scala. - Cyrille Artho; Klaus Havelund; Rahul Kumar 001; Yoriyuki Yamagata (ICFEM, 2015)

Towards a Unified View of Modeling and Programming. - Manfred Broy; Klaus Havelund; Rahul Kumar 001 (ISoLA (2), 2016)

Towards a Unified View of Modeling and Programming (Track Summary). - Manfred Broy; Klaus Havelund; Rahul Kumar 001; Bernhard Steffen (ISoLA (2), 2016)

K: A Wide Spectrum Language for Modeling, Programming and Analysis. - Klaus Havelund; Rahul Kumar 001; Chris Delp; Bradley Clement (MODELSWARD, 2016)

Verified Change. - Klaus Havelund; Rahul Kumar 001 (LNCS Trans. Found. Mastering Chang., 2016)

Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). - Manfred Broy; Klaus Havelund; Rahul Kumar 001; Bernhard Steffen (ISoLA (1), 2018)