How to Cancel a Task. - Alexey Kolesnichenko; Sebastian Nanz; Bertrand Meyer 001 (MUSEPAT, 2013)

Applying Search in an Automatic Contract-Based Testing Tool. - Alexey Kolesnichenko; Christopher M. Poskitt; Bertrand Meyer 001 (SSBSE, 2013)

Contract-based general-purpose GPU programming. - Alexey Kolesnichenko; Christopher M. Poskitt; Sebastian Nanz; Bertrand Meyer 001 (GPCE, 2015)

Seamless Heterogeneous Computing: Combining GPGPU and Task Parallelism. - Alexey Kolesnichenko (2016)

SafeGPU: Contract- and library-based GPGPU for object-oriented languages. - Alexey Kolesnichenko; Christopher M. Poskitt; Sebastian Nanz (Comput. Lang. Syst. Struct., 2017)