Workshops and Tutorials

On-line proceedings

HAL collection of papers presented in workshops:

SAFECOMP associated workshops and tutorials will take place on September 24, 2013:

  • ASCoMS : Workshop on Architecting Safety in Collaborative Mobile Systems.
  • CARS: 2nd Workshop on Critical Automotive applications : Robustness & Safety.
  • DECS: ERCIM/EWICS Workshop on Dependable Embedded and
    Cyber-physical Systems.
  • SASSUR: Next Generation of System Assurance Approaches for Safety-Critical Systems.
  • Tutorial: FM&C: Formal Methods and Certification
  • Tutorial: SA4SE: security-awareness for safety accreditors