SYNOPSIS events

• Seminar(1)

  • IDT Open Seminar: Dynamic Reasoning for Safety Assurance
    Ibrahim Habli, University of York (Speaker)
    Contact person: Hans Hansson

• PhD defense(2)

  • Assurance Aware Contract-Based Design for Safety-Critical Systems
    Irfan Sljivo (Speaker)
    Contact person: Irfan Sljivo
  • Synthesis and Synchronization Support for Hierarchically Scheduled Real-Time Systems
    Mikael Åsberg (Speaker)
    Contact person: Thomas Nolte

• Licentiate presentation(3)

  • An ALARP stop-test Decision for the worst case Timing characteristics of safety-critical systems
    Mahnaz Malekzadeh (Speaker)
    Contact person: Sasikumar Punnekkat
  • Bugs and Debugging of Concurrent and Multicore Software
    Sara Abbaspour (Speaker)
    Contact person: Sara Abbaspour
  • Facilitating Reuse of Safety Case Artefacts Using Safety Contracts
    Irfan Sljivo (Speaker)
    Contact person: Irfan Sljivo

• Workshop(1)

  • Innovationer för Framtidens hälsa
    
    Contact person: Therese Jagestig Bjurquist