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 × Brazil
1 × Italy
1 × Norway
1 × Switzerland
2 × United Kingdom
3 × USA
Collaborated with:
G.Klein M.Fernandez I.Kuz Q.H.Nguyen D.R.Jeffery M.Staples R.Kolanski B.Chetali C.Paulin-Mohring T.C.Murray D.Greenaway J.Lim D.Matichuk H.Zhang L.Zhu C.Lewis 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 (6) verif (6) code (4) softwar (2) toward (2) embed (2) high (2) protocol (1) properti (1) platform (1)

Person: June Andronick

DBLP DBLP: Andronick:June

Contributed to:

FM 20152015
ICSE 20152015
PLDI 20142014
ICSE 20132013
PLOS 20132013
ICSE 20122012
SOSP 20092009
SAC 20082008
FM 20052005
CADE 20172017

Wrote 10 papers:

FM-2015-FernandezAKK #automation #verification
Automated Verification of RPC Stub Code (MF, JA, GK, IK), pp. 273–290.
ICSE-v1-2015-MatichukMAJKS #empirical #formal method #towards #verification
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification (DM, TCM, JA, DRJ, GK, MS), pp. 722–732.
PLDI-2014-GreenawayLAK #c #verification
Don’t sweat the small stuff: formal verification of C code without the pain (DG, JL, JA, GK), p. 45.
ICSE-2013-StaplesKKLAMJB #specification
Formal specifications better than function points for code sizing (MS, RK, GK, CL, JA, TCM, DRJ, LB), pp. 1257–1260.
PLOS-2013-FernandezKKA #component #framework #platform #towards
Towards a verified component platform (MF, IK, GK, JA), p. 7.
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.
SAC-2008-AndronickN #embedded #protocol
Certifying an embedded remote method invocation protocol (JA, QHN), pp. 352–359.
FM-2005-AndronickCP #embedded #security #smarttech #source code #verification
Formal Verification of Security Properties of Smart Card Embedded Source Code (JA, BC, CPM), pp. 302–317.
CADE-2017-Andronick #concurrent #reasoning
Reasoning About Concurrency in High-Assurance, High-Performance Software Systems (JA), pp. 1–7.

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.