Compositional Real-Time Analysis for Cyber-Physical Systems Tutorial at CPS Week 2012 This tutorial is concerned with various aspects of component-based design and compositional analysis of cyber-physical systems, with a focus on timing issues.…

EUROCRYPT 2012, the 31st Annual EUROCRYPT conference on the theory and applications of cryptologic techniques, was organized by the International Association for Cryptologic Research (IACR). The conference was held on April 15 - 19,…

Resilient control systems refer to ones that maintain the state awareness of threats and anomalies and assure an accepted level of operational normalcy in response to disturbances, including threats of an unexpected and malicious nature such as natural…

IEEE International Conference and Workshops on the Engineering of Computer Based Systems ECBS 2012 will be the 19th formal IEEE sponsored meeting dedicated to formulating and advancing methods, techniques and tools for the engineering of computer-based…

15th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing

The NASA Formal Methods Symposium is a forum for theoreticians andpractitioners from academia, industry, and government, with the goals ofidentifying challenges and providing solutions to achieving assurancein mission- and safety-critical systems. Within…

FDA/CDRH/OSEL (Office of Science and Engineering Laboratories)The purpose of the meeting is to bring academics working on assurance case research and regulators considering assurance case use together to brainstorm ideas on what a generic (safety)…

The Theory of Cryptography deals with the paradigms, approaches and techniques used to conceptualize, define and provide solutions to natural cryptographic problems. Research in this area includes:

The National Institute of Standards and Technology (NIST) is sponsoring a workshop on March 13-14, 2012 in Chicago, Illinois to identify crosscutting technical barriers and knowledge gaps limiting

The National Institute of Standards and Technology (NIST), in coordination with other federal a

The CPS topic in DATE includes high-level design, optimization and analysis of networked control and switched control systems; control/architecture co-design for distributed embedded systems; formal semantics, verification, model checking and abstraction…

The 2012 Review Meeting will be held February 27th, 2012 at Institute for Software Integrated Systems.

The 2nd International Conference on Pervasive and Embedded Computing and Communication Systems Pervasive and embedded computing and communication is a paradigm that aims at providing trustworthy computing solutions and communication services all the time…

The FY 2012 updated  NSF Cyber-Physical Systems program solicitation (NSF 12-520) is now posted.  Details can be found at  the official NSF web page, http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=503286&org=CISE.