Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems 
at ETAPS 2015

The 5th International Workshop on Product LinE Approaches in Software Engineering will be held in conjunction with the 37th International Conference on Software Engineering (ICSE 2015) on May 19, 2015

6th International Conference on Ambient Systems, Networks and Technologies in conjunction with the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015).

27th International Conference on Computer Aided Verification

The IEEE Council on Design Automation (CEDA) invites nominations for the position of Editor-in-Chief (EiC) for the IEEE Embedded Systems Letters (ESL). Self-nominations are permitted. ESL is a quarterly published forum for rapid dissemination (4 to 6 weeks) of short papers in the area of embedded systems and software.

The 13th ACM Conference on Embedded Networked  Sensor Systems Sensors have become an essential part of computing systems and applications. Computing  today is increasingly characterized  by ubiquitous, information-rich sensors that produce massive quantities of data about the physical world.   This new era of computing is driving important new systems issues, and requires new system-level approaches and design principles.

45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependable and secure computing.

Abstract: The objective of this research is to develop a theory of “ActionWebs”, that is, networked embedded sensor-rich systems, which can be tasked to coordinate multiple decision- makers. The approach is to first identify models of ActionWebs using stochastic hybrid systems, an interlinking of continuous dynamical physical models with discrete state representations of interconnection and computation. Second, algorithms will be designed for tasking individual sensors, based on information objectives for the entire system.

Abstract: This project addresses highly dynamic Cyber-Physical Systems (CPSs) understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of advanced safety systems on passenger cars, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save hu- man lives.