Multi-Paradigm Modelling (MPM) is a research field focused on solving the challenge of combining, coupling, and integrating rigorous models of some reality, at different levels of abstraction and views, using adequate modelling formalisms and semantic…

The conference  covers all aspects of model-based development for software and systems engineering, including modeling languages, methods, tools, and their applications.

The 18th ACM Conference on Computer and Communications Security was held in Chicago, Illinois from October 17 to October 21, 2011. The annual ACM Computer and Communications Security Conference is a leading international forum for…

The development of embedded systems with real-time and other critical constraints raises distinctive problems. In particular, development teams have to make very specific architectural choices and handle key non-functional constraints related to, for…

The goal of this two-day, single-track event is to expose researchers to control and modeling challenges in cyber-physical systems (CPS) with the aim of exchanging knowledge and fostering collaborations between academia, industry, and government agencies…

This workshop aims to bring together  researchers from industry and academia that work in the area of fundamental science and engineering related to the CPS challenge. The meeting is part of the Dagstuhl Seminar Series. Key topics to be discussed…

The 9th ACM Conference on Embedded Networked Sensor Systems (SenSys 2011) is a highly selective, single-track forum for the presentation of research results on systems issues in the area of embedded, networked sensors. Distributed systems based on…

The 2011 Internet Measurement Conference is a three day event focusing on Internet measurement and analysis, following on the successes of the ten previous Internet Measurement Workshops and Conferences. The ACM IMC 2011 conference was held in…

The main conference: The 8th IEEE International Conference on Embedded Software and Systems (IEEE ICESS-11) http://trust.csu.edu.cn/conference/icess2011 2 symposiums/workshops (IWCSEI 2011 and ESA 2011) in conjunction with ICESS 2011: See "…

RTSS is the premier conference in the area of real-time comuting, presenting innovations in the field with respect to theory and practice.

The goal of the Analytic Virtual Integration of Cyber-Physical Systems (AVICPS) workshop is to explore architecture design patterns, tools and the theoretical analytical foundations for creating common system-wide composition models where key properties…

The increasing complexity of real‐time embedded systems requires advanced methodologies that can reduce the cost of their design and analysis, while ensuring that requirements on functional correctness, real‐ time behaviour, and performance are met.…

The CISE, MPS, OCI and SBE communities held a webinar that provided an overview of the new Secure and Trustworthy Cyberspace (SATC) program. Cybersecurity is an important challenge in today's world: corporations, agencies, national…

The 17th Annual International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2010, will be held in Seoul, Korea.