Volgen
Andrius Velykis
Andrius Velykis
Geverifieerd e-mailadres voor newcastle.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
252016
Formal modelling of separation kernel components
A Velykis, L Freitas
Theoretical Aspects of Computing–ICTAC 2010, 230-244, 2010
172010
Formal Modelling of Separation Kernels
A Velykis
Master’s thesis, Department of Computer Science, University of York, 2009
92009
Inferring the proof process
A Velykis
School of Computing Science Technical Report Series, 2012
62012
General lessons from a rely/guarantee development
CB Jones, A Velykis, N Yatapanage
Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017
42017
Concurrent refinement algebra and rely quotients
J Fell, IJ Hayes, A Velykis
Archive of Formal Proofs, 2016
32016
Ours Is to Reason Why
CB Jones, L Freitas, A Velykis
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013
32013
Capturing Proof Process
A Velykis
PhD thesis, Newcastle University, 2015
22015
Contributions to AI4FM 2015
A Velykis, G Grov, L Freitas
Newcastle University, Computing Science, 2015
12015
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
12014
How to say why (in AI4FM)
L Freitas, CB Jones, A Velykis, I Whiteside
Newcastle University, Computing Science, 2013
12013
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–14