Travelled to:1 × Switzerland
2 × USA
Collaborated with:G.Klein J.Andronick M.Staples D.R.Jeffery H.Zhang L.Zhu C.Lewis T.C.Murray L.Bass K.Elphinstone G.Heiser D.Cock P.Derrin D.Elkaduwe K.Engelhardt M.Norrish T.Sewell H.Tuch S.Winwood
Talks about:formal (3) verif (2) perspect (1) function (1) process (1) practic (1) specif (1) kernel (1) better (1) scale (1)
Person: Rafal Kolanski
DBLP: Kolanski:Rafal
Contributed to:
20132012
2009Wrote 3 papers:
- ICSE-2013-StaplesKKLAMJB #specification
- Formal specifications better than function points for code sizing (MS, RK, GK, CL, JA, TCM, DRJ, LB), pp. 1257–1260.
- ICSE-2012-AndronickJKKSZZ #perspective #process #scalability #verification
- Large-scale formal verification in practice: A process perspective (JA, DRJ, GK, RK, MS, HZ, LZ), pp. 1002–1011.
- SOSP-2009-KleinEHACDEEKNSTW #kernel #named #verification
- seL4: formal verification of an OS kernel (GK, KE, GH, JA, DC, PD, DE, KE, RK, MN, TS, HT, SW), pp. 207–220.