Welcome to the home page of the Cyber-Physical Systems Virtual Organization
07/23/14 - 07/24/14
8th International Workshop on Systems Software Verification
co-located with CAV and ITP, as part...
07/24/14 - 07/25/14
8th International Conference on TESTS AND PROOFS
The TAP conference is devoted to the...
8th International Workshop on Graph-Based Tools
A satellite event of ICGT'14
In the Spotlight
Cyber-Physical Systems (CPS)
National Science Foundation
Directorate for Computer & Information Science & Engineering
Division of Computer and Network Systems
Division of Computing and Communication Foundations...
The National Science Foundation's (NSF) Directorate for Computer and Information Science and Engineering (CISE) and Intel Labs recently announced a new partnership to support novel, transformative, multidisciplinary approaches that address the problem of securing current and emerging cyber-physical systems, the...
The 2nd IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014)
TOPICS: Cyber-Physical Systems (CPS) are next-generation embedded systems featuring a tight integration of computational and physical elements. Emerging applications of CPS include transportation,...
The MD PnP project on SourceForge has been established to share code and documentation developed by the Medical Device Plug-and-Play program and its collaborators with the broader community. This project creates an opportunity for others to leverage artifacts produced by the group and contribute their improvements. In...
ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems
MODELS in its 17th edition cordially invites contributions related to all aspects of model-based engineering!
MODELS is the premier conference series...
The Department of Homeland Security (DHS) has collections of databases in its data repository PREDICT (Protected Repository for Defense of Infrastructure Against Cyber Threats) which is open for the cyber research community to use. As we continue to build a science of security we ask what classes of data is missing?...
SmartAmercia Expo - June 11 at the Washington DC Convention Center.
Imagine vehicles that can make their own way through a battlefield to pick up the wounded, health information that follows patients from home to hospital to doctor's office, and disaster response systems that help coordinate humans, robots and dogs. These...
Symposia dedicated to promising research in resilient systems that will protect critical cyber-physical infrastructures from unexpected and malicious threats--securing our way of life.