Projects

• Formal Methods & Tools
• Michael Weber
• Projects
• GIT Setup
• Formal Methods Reading Group

---

E-Mail:

michaelw@cs.utwente.nl

Available Project Proposals

• Evaluation of Cache-Oblivious Data Structures
• Translating Extended Communicating Finite State Machines to NuSMV
• A Framework for Multi-Core Value Iteration Algorithms
• Parallel Stream Processing
• Playing Parity Games on the Sony PlayStation 3
• Parity Games Workbench
• Redesigning NIPS VM as a Symbolic Execution Engine
• Verification of Executables

• A Java Library of Parallel Graph Algorithms

Completed Master's Theses

• Reverse-Engineering of UML Specifications of Java Programs (2004)
• A Compiler and Virtual Machine for State Space Generation (2005)
• Static Byte-code Analysis for State-space Reduction (2006)
• Model Checking Embedded Systems Software (2006)
• A Debugging Framework for NIPS (2007)
• SeCo: A Tool for Semantic Test Coverage (2008)
• An Eclipse-based Debugger for Embedded Systems Software (2010)

Completed BSc. Projects

• Specifying Multi-Threaded Java Programs (A Comparison between JML and Separation Logic) (2010), Student Coach: Marieke Huisman
• Comparing Parser Construction Techniques (2009)
• Improving A CellFS Implementation For The X86 Architecture: Pthread Coroutine Support (2009)
• EvaMP: Evaluation of Multi-Core Programming Models (2009)
• Rewrite Rules Supporting Conditional Statements For Automatic Parallelization (2009)
• Playing Parity Games on Sony Playstation 3 (2009)
• A CellFS Implementation for the x86 Architecture (2009)
• Analysing and Improving Hash Table Performance (2009)
• Evaluation of Cache-Oblivious Data Structures (2008)