Rafal Kolanski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2009–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ESEM | Productivity for proof engineering. | Mark Staples, D. Ross Jeffery, June Andronick, Toby C. Murray, Gerwin Klein, Rafal Kolanski |
| 2013 | ICSE | Formal specifications better than function points for code sizing. | Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby C. Murray, D. Ross Jeffery, Len Bass |
| 2012 | AISC | Challenges and Experiences in Managing Large-Scale Proofs. | Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski |
| 2012 | ICSE | Large-scale formal verification in practice: A process perspective. | June Andronick, D. Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu |
| 2012 | ITP | Mechanised Separation Algebra. | Gerwin Klein, Rafal Kolanski, Andrew Boyton |
| 2009 | SOSP | seL4: formal verification of an OS kernel. | Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |