15. FDL 2012: Vienna, Austria

Property-based Verification

Languages & Tools for Probabilistic & Temporal Specifications

ABD Keynote

EAMS 1: Simulation & Design of Cyber-physical Systems

EAMS 2: Verification of Mixed-Signal Systems

LBSD 1: SystemC Analysis

LBSD 2: Architectural Aspects in Models and Languages

LBSD 3: System-level Behavioral Modeling and Simulation

UMES: Effective Exploitation of the UML Profile for MARTE

Special Session: Energy Harvesting and Ultra-low Power Design

Special Session: Invasive Programming of Heterogeneous Multi-core Systems

Special Session: Model Based Design of Electronic Systems in Systems

maintained by Schloss Dagstuhl LZI at University of Trier