Andrius Velykis

According to our database, Andrius Velykis authored at least 8 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

General Lessons from a Rely/Guarantee Development.

Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2016

Concurrent Refinement Algebra and Rely Quotients.

Julian Fell, Ian J. Hayes, Andrius Velykis

Arch. Formal Proofs, 2016

An Algebra of Synchronous Atomic Steps.

Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis

Proceedings of the FM 2016: Formal Methods, 2016

2015

Capturing proof process.

Andrius Velykis

PhD thesis, 2015

2014

A Model for Capturing and Replaying Proof Strategies.

Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Can a system learn from interactive proofs?

Leo Freitas, Cliff B. Jones, Andrius Velykis

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013

Ours Is to Reason Why.

Cliff B. Jones, Leo Freitas, Andrius Velykis

Proceedings of the Theories of Programming and Formal Methods, 2013

2010

Formal Modelling of Separation Kernel Components.

Andrius Velykis, Leo Freitas

Proceedings of the Theoretical Aspects of Computing, 2010