Secure and Trustworthy Cyberspace Principal Investigators' Meeting (2012) |
2012 SaTC PI Meeting | November 27-29, 2012 | National Harbor, Maryland |
Jeremy Epstein |
108 |
13 |
Request membership |
Smart and Connected Communities |
The parent space for all smart and connected communities related sub-groups |
Site Manager |
67 |
463 |
Request membership |
Software Certification Consortium |
Software Certification Consortium |
pjoannou |
146 |
207 |
Request membership |
Symposium and Bootcamp on the Science of Security (HotSoS) |
This site is used to archive the materials from the Science of Security conferences. |
Heather Lucas |
418 |
34 |
Invite only |
Test Group: Regan |
Test Group |
willirn1 |
1 |
1 |
Join |
U.S.-German Workshop on the Internet of Things (IoT) / Cyber-Physical Systems (CPS) |
U.S.-German Workshop on the Internet of Things-Cyber-Physical Systems |
sabasu |
10 |
6 |
Closed |
UAV 2020 Workshop |
Planning for the UAV 2020 Workshop |
willirn1 |
5 |
1 |
Request membership |
Unifying Control and Verification of Cyber-Physical Systems (UnCoVerCPS) |
Holistic model-based design methods of future cyber-physical systems with a special focus on unifying control design with formal verification. |
althoff |
543 |
23 |
Invite only |
UPenn - Assuring Medical Device CPS Safety and Reliability |
UPenn - Assuring Medical Device CPS Safety and Reliabilit |
Liz Wai Ping Ng |
29 |
18 |
Request membership |
Verification Tool Library |
insert short description here |
tabuada |
83 |
12 |
Request membership |
Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control |
CPS Week 2015 Workshop on Big Data Analytics in CPS |
KNEW |
17 |
31 |
Join |
Workshop on Game Changing and Controversial Topics in Cyber-Physical Systems |
Workshop on Game Changing and Controversial Topics in Cyber-Physical Systems |
Janos.Sztipanovits |
31 |
31 |
Request membership |