BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kolanski:Rafal

Contributed to:

ICSE 20132013
ICSE 20122012
SOSP 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.