andersfischernielsen/Finding-Resource-Manipulation-Bugs-with-Monitor-Automata-on-the-Example-of-the-Linux-Kernel andersfischernielsen/Finding-Resource-Manipulation-Bugs-with-Monitor-Automata-on-the-Example-of-the-Linux-Kernel

  • Stars
    star
    3
  • Rank 3,944,415 (Top 79 %)
  • Language
    TeX
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
andersfischernielsen/Finding-Resource-Manipulation-Bugs-with-Monitor-Automata-on-the-Example-of-the-Linux-Kernel
github

andersfischernielsen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The repository for my master thesis at the IT University of Copenhagen.

More Repositories

1

Traktor-Transition-Finder

A tool for automatically finding the next song(s) to play when DJing using Traktor Pro.
Swift
70
star
2

Munchkin-Short-Rules

The rules to the Munchkin Card Game in a shorter format than the original rules. Written in Markdown.
19
star
3

KovaaK-Visualizer

A script for visualizing scores and progression in KovaaK's FPS Aim Trainer
Python
7
star
4

SSAS-Vulnerable-Image-Upload

The repository for an image upload web service that's supposed to have a few vulnerabilities.
Python
3
star
5

DriveIT

The repository for our third semester exam project at the IT University of Copenhagen
C#
3
star
6

TypeChecker

A TypeScript implementation of a type checker on a simple programming language.
TypeScript
2
star
7

FlowIT-Second-Year-Project

The Second Year Project of our team. The result of a software development project with international collaboration.
C#
2
star
8

PCPP-Exam-Preparation

Our repository where we finish previous years' exams as preparation for the exam in PCPP at ITU.
Java
1
star
9

BPRD

Repository for my exercises in the course Programs as Data at the IT University of Copenhagen.
F#
1
star
10

Spatial-Check

A small application for notifying the user if Spatial Sound is turned off on startup on Windows 10.
C#
1
star
11

Eksamensprojekt-ITU-1st-Semester

Our flight booking system for the GPP exam.
Java
1
star
12

Simple-Embedded-Markdown-Code-Snippets

A tool for specifying, generating and inserting Markdown code snippets in Markdown documents from source files.
TypeScript
1
star
13

ROS-Dependency-Checkers

Static bug checkers for ROS packages developed as part of SQUARE research at the IT University of Copenhagen.
Python
1
star