CPS issues in Verification
|Automotive - Aviation CPS Collaboration Team||
Automotive - Aviation CPS Collaboration Team
|NSF CPS PI Meetings||
The National CPS PI Meetings
|CPS Community Resources||
This group is for archiving CPS Community resources.
|CPS Certification (CERT)||
Certification of CPS Systems
Cyber-physical issues in aviation.
|Assurance Case Research Group||
Develop assurance cases for regulatory organization
Medical CPS domain special interest group.
Promotes and develops Education and Professional Development issues for the CPS community
|2012 CPS Curriculum/Education Workshop Planning Meeting||
This group is for planning the CPS Curriculum/Education Workshop. The planning meeting will be held in Baltimore on October 24. T
|CPS PIs Group||
This is a group for CPS-VO Principal Investigators.
|Helen Gill||10||215||Invite only|
Design, analysis and verification of complex cyber-physical systems using heterogeneous modeling formalisms.
|Moving Target Research Symposium||
Moving Target Research Symposium
|IEEE ECBS 2013 -- Phoenix, AZ -- 22-24 April 2013||
20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems
|Science of Integration||
Re-examines the fundamentals of composition in heterogeneous systems.
|Xenofon Koutsoukos||40||21||Invite only|
|2012 National Workshop on the New Clockwork for Time-Critical Cyber-Physical Systems||
HCSS NITRD workshops seeking input on problems, questions, and new directions for research on technology for time-critical systems
|2012 SoS Community Meeting||
This site is used for organizing and publicizing the 1st SoS Community Meeting
|London CPS Workshop||
Workshop on the Control of Cyber-Physical Systems
|Panos Antsaklis||47||4||Invite only|
|Automotive CPS Workshops||
A recurring workshop on CPS issues in the automotive domain
|Science of Security Paper Competition||
This site is used for the collection of the SoS Paper Competition submissions.
|First Workshop on Cyber-Physical Systems Education (CPS-Ed 2013)||
|Jeff C. Jensen||60||27||Request membership|
|Software Certification Consortium||
Software Certification Consortium
|DARPA META Program||
DARPA META Program
|2012 CPS PI Meeting||
This site is used for organizing and publicizing the 3rd National CPS PI Meeting
|Science of Security VO||
The SoS VO is an online community to advance cyber-security science
|Heather Lucas||251||126||Request membership|
|2013 High Confidence Software and Systems Conference||
High Confidence Software and Systems Conference