Videos

 

Here you can watch some videos about research projects at STS. If you want to learn more about a project, please click on the project name.

 



CAPVerDE - Privacy

 
CAPVerDE - Workflow
Soft Errors
Detecting "soft errors" (i.e, temporary hardware glitches) solely by means of software

BDDStab
BDDStab is a non-convex abstract domain for the binary analysis framework Jakstab.
regVIS
Lightweight Structured Visualization of Assembler Control-Flow based on Regular Expressions

SPALTER
Driving Frama-C's Value Analysis Towards a User Specified Goal

 

 


Structural and Differential Analysis for Executables


A transformational approach to generic software development based on higher-order, typed functional signatures


Formalization of Model-Driven Software Engineering



A transformational approach to generic software development based on higher-order, typed functional signatures