Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
»
2012
National HCSS Conference 2012
file
CPS PI Meeting 2012: Welcome
Submitted by Anonymous on Wed, 10/03/2012 - 8:39am. Contributor:
Farnam Jahanian
National HCSS Conference 2012
National CPS PI Meeting 2012
2012
Plenary
NSF
Presentation
file
Co-Design of Multimodal CPS Architectures and Adaptive Controllers
Submitted by ancs-cps11 on Tue, 09/18/2012 - 10:56am. Contributor:
Anuradha Annaswamy
ABSTRACT
Architectures
Hybrid Models
Networked Control
Control
Platforms
Modeling
Systems Engineering
Validation and Verification
CPS Technologies
Education
Foundations
National HCSS Conference 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
Synthesizing Architectural Models of Cyber-Physical Systems
Submitted by pmanolios on Mon, 07/30/2012 - 8:42am. Contributors:
Pete Manolios
Vasilis Papavaseiliou
Presented as part of the
2012 HCSS conference
.
Architectures
Modeling
Northeastern University
National HCSS Conference 2012
Academia
Presentation
HCSS'12
Formal Synthesis (HCSS'12)
file
The CPS Virtual Organization
Submitted by Chris.vanBuskirk on Tue, 07/10/2012 - 9:36am. Contributor:
Chris vanBuskirk
Abstract:
CPS Domains
Energy
Health Care
Science of Security
Transportation
National HCSS Conference 2012
Academia
Poster
HCSS'12 Poster Session
Posters
file
Designed-In Security in Context
Submitted by Carl Landwehr on Fri, 07/06/2012 - 7:01am. Contributor:
Carl Landwehr
Presented as part of the
2012 HCSS conference
.
Science of Security
National HCSS Conference 2012
Presentation
HCSS'12
Designed-In Security (HCSS'12)
file
Designed-In Security for Mobile Applications
Submitted by JonathanAldrich on Thu, 07/05/2012 - 11:00am. Contributors:
Jonathan Aldrich
Marwan Abi-Antoun
Ciera Jaspan
Michael Maass
Cyrus Omar
Joshua Sunshine
Architectures
Science of Security
Carnegie Mellon University
Mobile Applications
National HCSS Conference 2012
Academia
Presentation
Designed-In Security (HCSS'12)
file
Temporal Logic Verification for Programs
Submitted by Byron Cook on Thu, 06/28/2012 - 9:04am. Contributor:
Byron Cook
Microsoft Research
University College London
National HCSS Conference 2012
Academia
Industry
Presentation
Compositional Reasoning (HCSS'12)
file
Designing for the Human Element in Security
Submitted by TimTh on Thu, 06/28/2012 - 8:41am. Contributor:
Angela Sasse
National HCSS Conference 2012
United Kingdom
Presentation
Designed-In Security (HCSS'12)
file
Science of Security
Submitted by TimTh on Fri, 05/11/2012 - 6:36am. Contributors:
Heather Lucas
Robert Meushaw
Abstract:
Science of Security
National HCSS Conference 2012
NSA
Poster
HCSS'12 Poster Session
file
Quest-V: A Virtualized Multikernel for High-Confidence Systems
Submitted by TimTh on Fri, 05/11/2012 - 6:32am. Contributors:
Richard West
Ye Li
Eric Missimer
Abstract:
Boston University
National HCSS Conference 2012
Academia
Poster
HCSS'12 Poster Session
1
2
3
4
5
6
next ›
last »
