University of Pennsylvania

file

Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems

Submitted by Insup Lee on Fri, 11/04/2011 - 8:35am. Contributor:

Insup Lee

file

Infrastructure and Technology Innovations for Medical Device Coordination

Submitted by John Hatcliff on Thu, 11/03/2011 - 6:33pm. Contributors:

file

Infrastructure and Technology Innovations for Medical Device Coordination (Poster)

Submitted by Insup Lee on Wed, 11/02/2011 - 2:12pm. Contributors:

file

AURA: A Programming Language with Authorization and Audit

Submitted by TimTh on Tue, 08/16/2011 - 8:22pm. Contributor:

Steve Zdancewic

Presented as part of the 2008 HCSS conference.

file

Quantitative Analysis and Design of Control Networks

Submitted by pappasg on Wed, 08/10/2011 - 8:30am. Contributors:

file

Assuring the Safety, Security and Reliability of Medical Device Cyber-Physical Systems

Submitted by Insup Lee on Sun, 07/31/2011 - 6:01pm. Contributor:

Insup Lee

file

Automated and Robust Nano-Assembly with Atomic Force Microscopes

Submitted by admin on Sun, 07/31/2011 - 5:55pm. Contributors:

file

A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems

Submitted by stehr on Sun, 07/31/2011 - 5:44pm. Contributors:

file

Updatable Security Views

Submitted by TimTh on Thu, 06/30/2011 - 9:00am. Contributors:

Presented as part of the 2009 HCSS conference.

file

Keynote Presentation: Wireless Control Networks: Modeling, Synthesis, Robustness, Security

Submitted by pappasg on Sat, 05/14/2011 - 4:58pm. Contributor:

George Pappas

Presented as part of the 2011 HCSS conference.

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

University of Pennsylvania

Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems

Infrastructure and Technology Innovations for Medical Device Coordination

Infrastructure and Technology Innovations for Medical Device Coordination (Poster)

AURA: A Programming Language with Authorization and Audit

Quantitative Analysis and Design of Control Networks

Assuring the Safety, Security and Reliability of Medical Device Cyber-Physical Systems

Automated and Robust Nano-Assembly with Atomic Force Microscopes

A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems

Updatable Security Views

Keynote Presentation: Wireless Control Networks: Modeling, Synthesis, Robustness, Security