Updated 9 months ago
https://github.com/agra-uni-bremen/hardbound-vp
Virtual Prototype with symbolic execution support and HardBound path analyzer
Updated 10 months ago
sdcflows
Susceptibility Distortion Correction (SDC) workflows for EPI MR schemes
Updated 9 months ago
https://github.com/agra-uni-bremen/jcovr
Visualization tool for Concolic Line Coverage
Updated 10 months ago
dt_segnet
A comprehensive, two-tiered deep learning approach designed for precise object detection and segmentation in electron microscopy (EM) images.
Updated 8 months ago
https://github.com/fermi-ad/phoebus-displays
Common Phoebus displays for operations purposes
Updated 9 months ago
https://github.com/agra-uni-bremen/fdl21-stackuse-vp
Fork of riscv-vp for the FDL21 paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes
Updated 10 months ago
graphtrussesdataset
This is a dataset including weighted undirected graphs which represent trusses, namely networks of bars in tension/compression which maintain static equlibrium.