News
SSV '10
www.usenix.org
Gerwin Klein, NICTA and University of New South Wales, Australia Bastian Schlich, ABB Corporate Research, Germany. Program Committee Adam Chlipala, Harvard University, USA
VSTTE’10 Verified Software: Theories, Tools and Experiments
www.macs.hw.ac.uk
10th November 2009: Gerwin Klein & Matthew Parkinson confirmed as keynote ... They are Gerwin Klein and Matthew Parkinson. 10th November 2009: Sponsor packages ...
HotOS X Technical Paper
www.usenix.org
OS Verification -- Now! Harvey Tuch Gerwin Klein Gernot Heiser. National ICT Australia ... At the same time, small high-performance OS kernels, which can drastically reduce the ...
Making software safer | Homeland Security Newswire
www.homelandsecuritynewswire.com
More and more security systems in aircraft and motor vehicles rely on software for their ... NICTA principal researcher Dr. Gerwin Klein, who leads NICTA's formal verification ...
sorted by relevance / date