Back to University of Twente portal
BSc Referaat
 |
| Twente Student Conference on IT |
Ongoing BSc Projects
For the upcoming 17th Twente Student Conference, projects for Track E: Formal Methods & Software Engineering are listed below.
- Alphons van Werven - Chasing the Higgs-bugs in CERN software
- Danny Bergsma - Brute Force Generation of Loop Invariants
- Remco Swenker - Hoare Logic Checker
- Ronald Meijer - From Planning to Graph Transformation and Back
- Vincent Bloemen - Solving math puzzles with model checking
Available Project Proposals
For the next Twente Student Conference, projects for Track E: Formal Methods & Software Engineering can be chosen from the list below (or from the list of the Software Engineering group). Please contact the contact person for the project if you are interested.
Algorithms and Data Structures
Correct and efficient algorithms and datastructures for concurrency and model checking.
- Concurrent Compact Hashing (contact: A.W. Laarman MSc)
- Control and Safety for Ski Lifts (contact: dr. W.I. Mostowski & dr. M. Huisman)
- Designing a Library of (Parallel) Graph Algorithms (contact: dr. M. Huisman & prof.dr. J.C. van de Pol)
- Finding the Maximal Model Parallelism (contact: A.W. Laarman MSc)
- Growing Bonsai Trees (contact: A.W. Laarman MSc)
- Understanding Algorithms through Visualisation and Simulation (contact: prof.dr.ir. A. Rensink)
Bioinformatics
Analysis of biological systems.
- Why does a cell die? (contact: dr.ir. S. Schivo)
Case studies and Applications
Application of formal methods to practical examples.
- A Case Study on Confluence Reduction (contact: M. Timmer MSc)
- Confluence Detection (contact: prof.dr. J.C. van de Pol)
- Control and Safety for Ski Lifts (contact: dr. W.I. Mostowski & dr. M. Huisman)
- How to board a train efficiently? (contact: M. Timmer MSc)
Dependability, security and performance
Analysis of dependability, security and quantitative aspects.
- A Comparison of Dependability Formalisms (contact: dr. M.I.A. Stoelinga)
- A Compositional Framework for Dynamic Reliability Block Diagrams (contact: dr. M.I.A. Stoelinga)
- Formal Definition of Integrity (contact: M.T. Ngo MSc)
Graphs
Graph and graph transformation related research.
- Designing a Library of (Parallel) Graph Algorithms (contact: dr. M. Huisman & prof.dr. J.C. van de Pol)
- Understanding Algorithms through Visualisation and Simulation (contact: prof.dr.ir. A. Rensink)
Languages
Formal languages for specification, modelling and programming.
Logics and semantics
Program logics, Semantics, Temporal and Modal logics.
- High Level Control Flow Semantics Definition (contact: E. Zambon MSc & prof.dr.ir. A. Rensink)
- Program Models for Compositional Verification (contact: dr. M. Huisman)
Testing
Formal testing techniques.
Students who like the area of Formal Methods & Tools, but did not find a suitable project in the list above, are encouraged to propose their own project on the topics of (software/hardware) verification, testing, concurrency (& algorithms), program analysis, compilers, virtual machines, etc..
More information about the track is available from dr. M.I.A. Stoelinga and G. Kant MSc.
Completed BSc Projects
- Verifying Security Policies by using JML annotations - Nils Klatter (Aug 2011)
15th TSConIT
- A Concurrent Bidirectional Linear Probing Algorithm - Steven van de Vegt (Jun 2011)
- A Parallel Mass-Spring Model for Soft Tissue Simulation with Haptic Rendering in CUDA - Cecill Etheredge (Jun 2011)
- Finding Common Subgraphs - Ruud Welling (Jun 2011)
- Formal Specification of LinkedBlockingQueue Using Concurrent Separation Logic - Jeroen Meijer (Jun 2011)
- Interaction between SPH Fluids and Dynamic Particle-Based Objects using CUDA - Oguz Meteer (Jun 2011)
- Towards Verification of MPJ-based Java Programs - Rick van Galen (Jun 2011)
14th TSConIT
- Multi-Level Debugging for Cython - Mark Florisson (2011)
- Towards a Library of Parallel Graph Algorithms in Java - Marije de Heus (2011)
- Using Heuristic Search to Solve Planning Problems in GROOVE - Erik Snippe (2011)
13th TSConIT
- Automatic Parallelization of Automata - S.H. van Schouwenburg (Jun 2010)
- Solving Parity Games on the Playstation 3 - Freark van der Berg (2010)
- ToLERo: ToRX-tested LEGO Robots - Arjan Snippe (2010)
12th TSConIT
- Specifying Multi-Threaded Java Programs (A Comparison between JML and Separation Logic) - Ronald Burgman (2010)
11th TSConIT
- Comparing Parser Construction Techniques - Bas van Gijzel (2009)
- Evaluation of Multi-Core Programming Models - Charl de Leur (2009)
- Improving a CellFS Implementation for the x86 Architecture - P. Jorrit Tijben (2009)
- Rewrite Rules supporting Conditional Statements for Automatic Parallelization - Pascal Kuyten (2009)
10th TSConIT
- A CellFS Implementation for the x86 Architecture - Emiel Mols (2009)
- Analysing and Improving Hash Table Performance - Tom van Dijk (2009)
- Playing Parity Games on the Playstation 3 - Jorne Kandziora (2009)
9th TSConIT
- Evaluation of a Cache-Oblivious Data Structure - Maks Verver (2008)