Back to University of Twente portal
Projects
The projects in which the FMT research group currently participates are listed below. Lists of upcoming projects and completed projects are available too.
No/other funding
| Aselsan - University of Twente cooperation |
National funding
| VerDi: Verification of Distributed Software (Funded by: NWO) |
| SUMBAT: Supersizing Model-Based Testing (Funded by: STW / TNO-ESI / Océ / PANalytical) |
| SEQUOIA: Smart maintenance optimization (Funded by: STW, ProRail, NS/NedTrain) |
| SPA: Seamless Personal Authentication (Funded by: N.V. Nederlandsche Apparatenfabriek) |
| StepUp: Test Selection via statistical User Profiles (Funded by: NWO) |
| Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability (Funded by: NWO) |
| Mercedes: Maximal Reliability of Concurrent and Distributed Software (Funded by: NWO) |
University funding
| 3TU.BSR: Big Software on the Run (Funded by: 3TU.NIRICT) |
| NIRICT Reconnaissance Topic: Performance and Correctness of GPGPU Applications |
European funding
| SUCCESS: SecUre aCCESSibility for the internet of things (Funded by: CHIST-ERA) |
| PAMPAS: Parallel Algorithms for Model-checking and Parameter Synthesis (Funded by: EP NUFFIC - Van Gogh programme) |