verification

file

Visible to the public Automatic Theorem Proving and SMT

Submitted by TimTh on Mon, 05/13/2013 - 4:24pm. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Visible to the public JSCert: Certifying JavaScript

Submitted by TimTh on Mon, 05/13/2013 - 2:42pm. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Visible to the public Dependent Types for JavaScript

Submitted by TimTh on Mon, 05/13/2013 - 2:21pm. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT

event

Visible to the public  S5 - Safe & Secure Systems and Software Symposium
Jun 14, 2011 4:00 am - Jun 16, 2011 1:00 pm EDT

Submitted by Brian.Hulbert on Mon, 04/16/2012 - 7:17pm
 
Dear Colleagues,
 
We cordially invite you to attend the 2011 Safe & Secure Systems & Software Symposium (S5) on 14,15 and 16 June at the Hilton Garden Inn, Beavercreek Ohio (near Wright Patterson Air Force Base).  The Air Force Research Laboratory Air Vehicles Directorate will be hosting the Symposium and there is no registration fee to attend.
 
S5 will bring together industry, academia and government to collaborate on the common goal of improvi
event

Visible to the public  RTSS 2010
Nov 30, 2010 7:30 am - Dec 03, 2010 7:30 am CST

Submitted by admin on Mon, 04/16/2012 - 7:17pm

The 31st IEEE Real-Time Systems Symposium