DSD 2017: Vienna, Austria

LPA: Low-Power Architectures and Design Methods

SMVS: Specification, Modeling, Verification and Simulation Methods and Tools

RTHP: Advanced Applications, Real-Time and High-Performance Design

DSM: Design and Synthesis Methods

AHSA: Architectures and Hardware for Security Applications


DTFT: Dependability, Testing and Fault Tolerance in Digital Systems


ASAIT: Architectures and Systems for Automotive and Intelligent Transportation

SDIS: System Design for Intelligent Systems

MCSDIA: Mixed Criticality System Design, Implementation and Analysis


ASHWPA: Advanced Systems in Healthcare, Wellness and Personal Assistance

EPDSD: European Projects in Digital System Design


a service of Schloss Dagstuhl - Leibniz Center for Informatics