#scale4edge
LightNews LightNews
noerdman.bsky.social
Sören Tempel from @unibremen.bsky.social finished his #PhD - congratulations! rolfdrechsler.de/phd.php
@dsc-ub.bsky.social @dfki.bsky.social #Scale4Edge #verification
June 14, 2024 at 1:24 PM
noerdman.bsky.social
Paving the Way for Open Source Processors
up2date.uni-bremen.de/en/article/p...
#verification #OpenSource #risc #riscv #scale4edge @unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social
May 2, 2024 at 2:03 PM
noerdman.bsky.social
#DDECS2025 - Karl Aaron Rudkowski from @unibremen.bsky.social presenting on "CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution"; paper available #online agra.informatik.uni-bremen.de/doc/konf/DDE... #SystemC #riscv #SymbolicExecution #formal #scale4edge
May 6, 2025 at 12:50 PM
noerdman.bsky.social
#ASPDAC2024 - Ece Nur Demirhan Coskun presenting our paper on "Security Coverage Metrics for Information Flow at the System Level" agra.informatik.uni-bremen.de/doc/konf/asp...
#security #Cybersecurity #CDD #scale4edge #PasVer @unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social
January 25, 2024 at 12:59 PM