Sökning: "Sara Abbaspour Asadollah"

Hittade 3 avhandlingar innehållade orden Sara Abbaspour Asadollah.

  1. 1. Bugs and Debugging of Concurrent and Multicore Software

    Författare :Sara Abbaspour Asadollah; Hans Hansson; Daniel Sundmark; Sigrid Eldh; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : .... LÄS MER

  3. 2. Concurrency Bugs : Characterization, Debugging and Runtime Verification

    Författare :Sara Abbaspour Asadollah; Hans Hansson; Tao Yue; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Concurrent software has been increasingly adopted in recent years, mainly due to the introduction of multicore platforms. However, concurrency bugs are still difficult to test and debug due to their complex interactions involving multiple threads (or tasks). Typically, real world concurrent software has huge state spaces. LÄS MER

  4. 3. Automated Vulnerability Discovery and Attack Detection Framework for Cyber-Physical Systems

    Författare :Fereidoun Moradi; Fereidoun Moradi; Sara Abbaspour Asadollah; Massimo Merro; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : The combination of physical assets with cyber computational entities, known as Cyber-Physical Systems (CPS), is becoming more common. These systems are used in various sectors such as manufacturing, energy production, and transportation. LÄS MER