An algebra of synchronous atomic steps IJ Hayes, RJ Colvin, LA Meinicke, K Winter, A Velykis FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 26 | 2016 |
Formal modelling of separation kernel components A Velykis, L Freitas Theoretical Aspects of Computing–ICTAC 2010, 230-244, 2010 | 17 | 2010 |
Formal Modelling of Separation Kernels A Velykis Master’s thesis, Department of Computer Science, University of York, 2009 | 9 | 2009 |
Inferring the proof process A Velykis School of Computing Science Technical Report Series, 2012 | 6 | 2012 |
General lessons from a rely/guarantee development CB Jones, A Velykis, N Yatapanage Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017 | 4 | 2017 |
Concurrent refinement algebra and rely quotients J Fell, IJ Hayes, A Velykis Archive of Formal Proofs, 2016 | 3 | 2016 |
Ours Is to Reason Why CB Jones, L Freitas, A Velykis Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013 | 3 | 2013 |
Capturing Proof Process A Velykis PhD thesis, Newcastle University, 2015 | 2 | 2015 |
Contributions to AI4FM 2015 A Velykis, G Grov, L Freitas Newcastle University, Computing Science, 2015 | 1 | 2015 |
A model for capturing and replaying proof strategies L Freitas, CB Jones, A Velykis, I Whiteside Verified Software: Theories, Tools and Experiments: 6th International …, 2014 | 1 | 2014 |
How to say why (in AI4FM) L Freitas, CB Jones, A Velykis, I Whiteside Newcastle University, Computing Science, 2013 | 1 | 2013 |
Can a system learn from interactive proofs L Freitas, CB Jones, A Velykis HOWARD-60. A Festschrift on the Occasion of Howard Barringer’s 60th Birthday …, 0 | 1* | |
How to say why (in AI4FM) CB Jones, L Freitas, A Velykis, I Whiteside School of Computing Science Technical Report Series, 2013 | | 2013 |
3.38 Capturing and Inferring the Proof Process (Part 2: Architecture) A Velykis AI meets Formal Software Development, 27, 0 | | |