Titel | Type | Contact person |
---|---|---|
Applications of an Incremental SAT Solver | Master/Diploma Thesis | Mana Taghdiri |
A Parallel Relational Solver | Master/Diploma/Study Thesis | Mana Taghdiri |
Analyzing Alloy Models using KeY (COMPLETED) | Diploma Thesis | Mattias Ulbrich, Mana Taghdiri and Aboubakr Achraf El Ghazi |
Analyzing Alloy Models using Z3 (COMPLETED) | Bachelor/Study Thesis | Mana Taghdiri, Aboubakr Achraf El Ghazi |
Detecting Flaws in Verification Conditions Using Bounded Verification Techniques (COMPLETED) | Master Thesis | Aboubakr Achraf El Ghazi, Mattias Ulbrich |
Detecting Information Flow in Programs | Master/Diploma/Study Thesis | Mana Taghdiri |
Feature Enrichment of InspectJ | Diplomarbeit/Studienarbeit |
Mana Taghdiri, Tianhai Liu |
Incorporating Alloy Specifications into KeY (COMPLETED) | Master/Diploma Thesis | Tianhai Liu, Christoph Gladisch |
Verification of Shortest-Path Algorithms (COMPLETED) | Study Thesis | Thomas Pajor, Mana Taghdiri, Dorothea Wagner |
Titel | Type | Contact person |
---|---|---|
Research Assistant with Java Programming Skills | Research Assistant (Wissenschaftliche Hilfskraft) |
Mana Taghdiri |
PhD position (50%) in the area of software analysis | Doctoral researcher / PhD (50%) |
juniorprof. Dr. Mana Taghdiri |
PhD position in Automated Software Analysis research group | PhD position |
Juniorprof. Dr. Mana Taghdiri |