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 | |
Structural and Differential Analysis for Executables:
Formalization of Model-Driven Software Engineering:
A transformational approach to generic software development based on higher-order, typed functional signatures: