Andrius Velykis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2010–2017
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SETTA | General Lessons from a Rely/Guarantee Development. | Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage |
| 2016 | FM | An Algebra of Synchronous Atomic Steps. | Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis |
| 2010 | ICTAC | Formal Modelling of Separation Kernel Components. | Andrius Velykis, Leo Freitas |