Formal Modelling of Separation Kernel Components. - Andrius Velykis; Leo Freitas (ICTAC, 2010)

Ours Is to Reason Why. - Cliff B. Jones; Leo Freitas; Andrius Velykis (Theories of Programming and Formal Methods, 2013)

Can a system learn from interactive proofs? - Leo Freitas; Cliff B. Jones; Andrius Velykis (HOWARD-60, 2014)

A Model for Capturing and Replaying Proof Strategies. - Leo Freitas; Cliff B. Jones; Andrius Velykis; Iain Whiteside (VSTTE, 2014)

Capturing proof process. - Andrius Velykis (2015)

An Algebra of Synchronous Atomic Steps. - Ian J. Hayes; Robert J. Colvin; Larissa A. Meinicke; Kirsten Winter; Andrius Velykis (FM, 2016)

Concurrent Refinement Algebra and Rely Quotients. - Julian Fell; Ian J. Hayes; Andrius Velykis (Arch. Formal Proofs, 2016)

General Lessons from a Rely/Guarantee Development. - Cliff B. Jones; Andrius Velykis; Nisansala Yatapanage (SETTA, 2017)