UP | HOME

PhD theses

Name Title of the PhD thesis at
Daniel Fava Synthesis for Concurrent Programs with Weak Memory Models (working title) UiO
Shukun Tokas Formal Security Analysis for Communicating Object Systems (working title) UiO
Bjørnar Luteberget Correct Railway Design: Formal Verification and Tools (working title) UiO
Johanna Beate Stumpf Virtually Timed Ambients: Semantics and Analysis (working title) UiO
Violet Ka I Pun Behavioural Static Analysis for Deadlock Checking UiO
Silvia Lizeth Tapia Tarifa Executable Modeling Deployment Decisions for Resource-Aware Distributed Applications UiO
Thi Mai Thuong Tran Compositional Formal Analysis for Concurrent Object-Oriented Languages UiO
Arild B. Torjusen Specification-Based Verification and Testing of Open Distributed Systems UiO
Erika Ábrahám An Assertional Proof System for Multithreaded Java - Theory and Tool Support U. Leiden
Andreas Grüner Testing Concurrent Objects U. Leiden
Immo Grabe Static Analysis of Unbounded Structures in Object-Oriented Programs" U. Leiden

Opponent / Examinor / Adjudication of PhD theses

Name Title of the PhD thesis defendet at
Muhammad Zohaib Zafar Iqbal Environment Model-Based System Testing of Real-Time Systems UiO
Rudolf Schlatte Passive Testing with Parallel Object-Oriented Software Models U. Graz
Joachim Klein Compositional Synthesis and Most General Controllers TU Dresden
Ingrid Yu Type Safety for Distributed, Concurrent Programs with Class Upgrades UiO
Xuedon Liang QoS Provisioning for Wireless Sensor Networks: Algorithms, Protocols and Modeling UiO
Anders Moen Hagalisletto Automated support for the design and analysis of security protocols UiO

Master thesis supervision

Ongoing

Name Title of the thesis
Yrjan Skrimstad Discovering the Trusting Trust Attack (working title) (announcement)
Christopher Trotter Combinatorial algebraic topology and concurrency (working title)
Morten Fliflet Johannessen Automatic Parallelization of Go programs (working title) (announcement)
Pavel Jurasek Static Taint Analysis for PHP (working title) (announcement)
Andreas Fladstad Scalable and concurrent flow analysis for Go (working title) (announcement)
Tor Husaboe A Comparative Evaluation of the New C++ Standard (working title) (announcement)
Araz Abishov Reactive Extensions for Rust (working title) (announcement)

Completed

Name Title of the thesis
Eric Vesteraas Rust Types from JSON samples (see the git-repos and web-page)
Altin Qeriqi A PLC-NuSMV Compiler for Model Checking Safety Critical Control Systems (announcement)
Stian Valle Shared Variables in Go. A Semantic Analysis of the Go Memory Model (announcement)
Carl Martin Rosenberg Leveraging DTrace for Runtime Verification (announcement)
Lars Tveito Developing Real-Time Collaborative Editing Using Formal Methods (announcement)
Olaf Aarseth Berge A Survey of JavaScript Features
Christian Bergum Bergersen Detection of Bugs and Code Smells for the Go Programming Language (announcement)
Joakim Kristiansen Safer Refactorings
Peter Brottveit Bock Formalization of a type and effect system using Coq and OTT
Immo Grabe Cloning and Processes
Immo Grabe Konzept und Implementierung einer Datenbankanwendung für einen medizinischen Diagnosekatalog (Studienarbeit)
Claus Traulsen Enumerative model checking using constraints for asynchronous systems with queues
Andreas Grüner Cliques and components: Implementing traces and object connectivity for a concurrent langauge
Thomas Richter Komponentenbasierter Entwurf und Spezifikation eines Softwareprojektes mittels UML and Java 2 Enterprise Edition
Mike Scheske Software Engineering im SAP R/3
Tim D'Avis Verification of dynamically chaning asynchronous networks
Tim D'Avis Verifikationsfallstudie für nebenläufiges Java (Studientarbeit)
Henrik Bohnenkamp CLOWN: Concurrent Language with Objects and Wait-by-necessity
Magnus Binder Modelling von guarded choice in Pict
Christoph Wedler Verifikation objektorientierter verteilter Systeme
Michael Egner Korrekter Entwurf objektorientierter Verteiler Programme durch Programmtransformation
Thomas Schreiber/Kleymann Verifikation von imperativen Programmen mit dem Beweisprüfer LEGO
Wolfgang Naraschewski Object-oriented proof principles using the proof-assistant LEGO

Opponent for master defenses

Name title
Subhash Neupane Modeling Smart Home Processes unsing the Event-Based Modelling Language Tools of DCR graph
Sigurd Kittilsen Partitioning {0,1,…,r} into m subsets of equal sum
Aulon Mujaj A comparison of secure messaging protocols and implementation
Lars Kristian Maron Telle An Exploration into Goodstein Sequences and Hydra Games
Andreas R. Askeland Investigations in complexity theory related to the space hierarchy problem
Simen Heggestøl Visual Query formulation and subclass reasoning for linked open data
Marius Standhaug An R2RML mapping management API in Java
Wenlu Zhang Formal moddeling and analysis of the CANopen protocol in full Maude

Author: Martin Steffen

Created: 2017-11-13 Mon 11:53

Validate