Professional Organization

file

Visible to the public Sufficient Evidence? Building Certifiably Dependable Systems

Submitted by TimTh on Wed, 08/24/2011 - 8:05am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public High-Assurance Java Card Applets and Platform

Submitted by TimTh on Tue, 08/23/2011 - 9:21am. Contributor:

Presented as part of the 2006 HCSS conference.

file

Visible to the public Automated Synthesis of SAT Solvers

Submitted by TimTh on Tue, 08/16/2011 - 4:37pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public The Verified Software Initiative

Submitted by Natarajan Shankar on Fri, 07/01/2011 - 9:28am. Contributor:

Presented as part of the 2009 HCSS conference.

file

Visible to the public The Impact of Control Technology

Submitted by Anonymous on Sat, 04/09/2011 - 1:24pm

The Report, edited by Tariq Samad and Anuradha Annaswamy provides overview, success stories and research challenges for control technology. The report includes a chapter on Cyber-physical Systems written by R.S. Baheti and Helen Gill. The report was sponsored by the IEEE Control Systems Society, Institute for Advanced Study, Technical University of Munich, CoTeSys, Technical University of Munich, Deutsche Forschungs-Gemeinschaft, and the US National Science Foundation. The report was published in February, 2011.