June Andronick - Citegraph

Author Info

Name	Affiliation	Papers
JUNE ANDRONICK	NICTA, Sydney, Australia and School of Computer Science and Engineering, UNSW, Sydney, Australia	32
Collaborators	Citations	PageRank
55	903	42.66
Referers	Referees	References
1841	681	476

Search Limit

1001000

Publications (32 rows)

Collaborators (55 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
seL4 in Australia: from research to real-world trustworthy systems	0	0.34	2020
A Million Lines of Proof About a Moving Target (Invited Talk).	0	0.34	2019
Successes in Deployed Verified Software (and Insights on Key Social Factors).	0	0.34	2019
A Formal Approach to Constructing Secure Air Vehicle Software.	4	0.57	2018
Formally verified software in the real world.	4	0.43	2018
Reasoning About Concurrency in High-Assurance, High-Performance Software Systems.	0	0.34	2017
COMPLX: A Verification Framework for Concurrent Imperative Programs.	2	0.39	2017
Proof Of Os Scheduling Behavior In The Presence Of Interrupt-Induced Concurrency	3	0.47	2016
Empirical study towards a leading indicator for cost of formal software verification	7	0.52	2015
An empirical research agenda for understanding formal methods productivity.	4	0.43	2015
Automated verification of RPC stub code	1	0.35	2015
Controlled Owicki-Gries Concurrency: Reasoning About The Preemptible Echronos Embedded Operating System	6	0.50	2015
Productivity for proof engineering	3	0.40	2014
Comprehensive formal verification of an OS microkernel	80	2.54	2014
Don't sweat the small stuff: formal verification of C code without the pain	9	0.57	2014
Formally Verified System Initialisation.	5	0.44	2013
Towards a verified component platform	1	0.35	2013
Formal specifications better than function points for code sizing	5	0.44	2013
Bridging the Gap: Automatic Verified Abstraction of C.	19	0.79	2012
Large-scale formal verification in practice: a process perspective	9	0.67	2012
Simulation modeling of a large-scale formal verification process	4	0.46	2012
seL4 enforces integrity	24	1.03	2011
The road to trustworthy systems	3	0.42	2010
From a proven correct microkernel to trustworthy large systems	1	0.36	2010
Towards proving security in the presence of large untrusted components	17	0.92	2010
seL4: formal verification of an operating-system kernel	84	5.86	2010
Mind the Gap	0	0.34	2009
seL4: formal verification of an OS kernel	584	19.89	2009
Certifying an embedded remote method invocation protocol	1	0.39	2008
Formally Proved Anti-tearing Properties of Embedded C Code	2	0.40	2006
Formal verification of security properties of smart card embedded source code	8	0.62	2005
Using Coq to Verify Java Card Applet Isolation Properties	13	0.75	2003