3TU.BSR: Big Software on the Run

ArRangeer: smARt RAilroad maintenance eNGinEERing with stochastic model checking

Aselsan - University of Twente cooperation

Atelier for Creative Programming

ATOMYSTE: ATOm splitting in eMbedded sYStems TEsting

Maintainability of Critical Banking Software

BEAT: Better Testing with Game Theory

Beauty and Joy of Computing in Dutch

CARP: Correct and Efficient Accelerator Programming

CHARTER: Critical and High Assurance Requirements Transformed through Engineering Rigour

Domino: domino-effects due to (digital) connectivity in the chemical industry

Functional Languages for Databases

GRASLAND: Graphs for Software Language Definition

Verification of Cyber-Physical Systems

GROOVE: Graphs for Object-Oriented Verification

NASCENCE: NAnoSCale Engineering for Novel Computation using Evolution

NIRICT Reconnaissance Topic

PAMPAS: Parallel Algorithms for Model-checking and Parameter Synthesis

PIGGY: Reasoning on Parity Games using Tangles

SamSam: An integral SAfety / Security Analysis fraMework

SENSATION: Self Energy-Supporting Autonomous Computation

Sequoia: Smart maintencance optimization

SlaLoM: Security by Logic for Multithreaded applications

SPACE: Specification-based Performability Checking

StepUp: Test Selection via statistical User Profiles

SUCCESS: SecUre aCCESSibility for the internet of things

SUMBAT: Supersizing Model-Based Testing

TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security

VerCors: Verification of Concurrent Data Structures

VerDi: Verification of Distributed Software

ViGARO: Verified Generation of Parallel Software