Opin vísindi

Browsing Doktorsritgerðir - HR by Subject "Hugbúnaður"

Browsing Doktorsritgerðir - HR by Subject "Hugbúnaður"

Sort by: Order: Results:

  • Icon
    Developing theoretical foundations for runtime enforcement 
    Cassar, Ian (2021-01)
    The ubiquitous reliance on software systems is increasing the need for ensuring their correctness. Runtime enforcement is a monitoring technique that uses moni- tors that can transform the actions of a system under scrutiny in order to alter its runtime ...
  • Icon
    Microsatellites; genotyping, mutation rate and effect on disease 
    Kristmundsdóttir, Snædís (2022-06)
    Microsatellites are polymorphic tracts of short tandem repeats (STRs) with one to six base-pair (bp) motifs and account for around 3% of the human genome. Just like copying by hand a text where the same word occurs many times in a row, the replication of ...
  • Icon
    Modeling, verification, and analysis of timed actor-based models 
    Khamespanah, Ehsan (2018-06)
    In the recent years, formal modeling and verification of realtime systems have become very important. Difficult-to-use modeling languages and inefficient analysis tools are the main obstacles to use formal methods in this domain. Timed actor model is ...