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: Andronick:June
Contributed to:
2015
2015
20142013
20132012
2009
20082005
2017Wrote 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.