CERTS 2019 July 9, 2019, Stuttgart, Germany

4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)



Mikael Asplund and Michael Paulitsch (Eds.)
ISBN 978-3-95977-119-1, OASICS Vol. 73 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 4 MB)
Search Publication Server

Authors
  • Asokan, N.
  • Asplund, Mikael
  • Atchadam, Ill-ham
  • Bouzid, Noura
  • Brasser, Ferdinand
  • Desai, Nitin
  • Dobrin, Radu
  • Esteves-Veríssimo, Paulo
  • Fohler, Gerhard
  • Holz, Thorsten
  • Kadar, Marine
  • Lemarchand, Laurent
  • Paulitsch, Michael
  • Paverd, Andrew
  • Punnekkat, Sasikumar
  • Sadeghi, Ahmad-Reza
  • Schunter, Matthias
  • Singhoff, Frank
  • Skoglund, Martin
  • Steininger, Andreas
  • Tran, Hai Nam
  • Tverdyshev, Sergey
  • Völp, Marcus
  • Warg, Fredrik
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Asplund, Mikael ; Paulitsch, Michael

    Abstract | Document (296 KB) | BibTeX

    Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures
    Authors: Atchadam, Ill-ham ; Singhoff, Frank ; Tran, Hai Nam ; Bouzid, Noura ; Lemarchand, Laurent

    Abstract | Document (527 KB) | BibTeX

    System Calls Instrumentation for Intrusion Detection in Embedded Mixed-Criticality Systems
    Authors: Kadar, Marine ; Tverdyshev, Sergey ; Fohler, Gerhard

    Abstract | Document (437 KB) | BibTeX

    Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems
    Authors: Warg, Fredrik ; Skoglund, Martin

    Abstract | Document (2,119 KB) | BibTeX

    Sustainable Security & Safety: Challenges and Opportunities
    Authors: Paverd, Andrew ; Völp, Marcus ; Brasser, Ferdinand ; Schunter, Matthias ; Asokan, N. ; Sadeghi, Ahmad-Reza ; Esteves-Veríssimo, Paulo ; Steininger, Andreas ; Holz, Thorsten

    Abstract | Document (823 KB) | BibTeX

    On Fault-Tolerant Scheduling of Time Sensitive Networks
    Authors: Dobrin, Radu ; Desai, Nitin ; Punnekkat, Sasikumar

    Abstract | Document (738 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI