ISoLA 2016: Corfu, Greece

Towards a Unified View of Modeling and Programming

Formal Methods and Safety Certification: Challenges in the Railways Domain

RVE: Runtime Verification and Enforcement, the (Industrial) Application Perspective

Variability Modeling for Scalable Software Evolution

Detecting and Understanding Software Doping

Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems

Testing the Internet of Things

Doctoral Symposium

Industrial Track

RERS Challenge

STRESS

maintained by Schloss Dagstuhl LZI at University of Trier