Welcome to the European Symposium on Research in Computer Security (ESORICS) 2015 Web Site. This is the 20th symposium in the ESORICS series. This year the Symposium will be held in Vienna, Austria at the Vienna University of…

The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in…

ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems Models 2015 is the premier conference on systems and software modeling. It will be held in Ottawa, Canada September 27 to October 2, 2015. The main conference…

9th International Workshop on Multi-­Paradigm Modeling (MPM)   September 27-29, 2015  Satellite event @ MODELS 2015 – Ottawa, Canada PURPOSE  The purpose of this workshop is to bring together researchers and practitioners in the area…

1st International Workshop on Executable Modeling (EXE 2015) co-located with MODELS 2015 We are pleased to invite you to submit papers to the First International Workshop on Executable Modeling (EXE 2015), held in conjunction with the ACM/IEEE 18th…

-Current status of survey and abstract conformance test -Next steps -Open questions

The 9th IEEE/ACM International Symposium on Networks-on-Chip (NOCS 2015) will be held September 28 – 30, 2015 in Vancouver, Canada The International Symposium on Networks-on-Chip (NOCS) is the premier event dedicated to interdisciplinary…

Jens Oehlerking from Bosch gave an invited presentation on specification models, testing and verification in industrial practice at the final colloquium of the transregional research collaborative AVACS in Oldenburg.

On Oct. 1, Goran Frehse from UJF gave a lecture at the AVACS Autumn School in Oldenburg, Germany (http://www.avacs.org/autumn2015/). "Automatic Verification and Analysis of Complex Systems" is an autumn school focussing on automated formal…

Embedded Systems Week (ESWEEK) is the premier event covering all aspects of embedded systems and software. By bringing together three leading conferences (CASES, CODES+ISSS, and EMSOFT), two symposia (ESTIMedia and RSP) and several workshops and…

UnCoVerCPS presented new results on automated driving at the Artemis Technology Conference 2015 in Turin. The talk "Provably Safe Maneuvers of Automated Vehicles" was given by Matthias Althoff.

1st International ESWEEK Workshop on Resiliency in Embedded Electronic Systems (REES 2015) With the sheer complexity of hardware and software systems, resiliency became a major challenge in embedded systems design, manufacturing, and…

EWiLi'15, the 5th Embedded Operating System Workshop Held in conjunction with ESWEEK October the 8th 2015, Amsterdam, The Netherlands Submission deadline: 31 July 2015 http://syst.univ-brest.fr/ewili2015/ Aim and Scopes EWiLi, the embedded operating…

The UnCoVerCPS consortium met for two days at Tecnalia, Bilbao, Spain to discuss research progress and future collaborations.

SPECIAL SESSION ON ON-CHIP PARALLEL AND NETWORK-BASED SYSTEMS (OCPNBS) On-chip parallel and network-based system design to achieve functionality with low energy-speed product requires larger device count SoC design, multi block function design…