Advertisement · 728 × 90
#
Hashtag
#Scale4Edge
Advertisement · 728 × 90
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social
10 months ago
Post image

#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

1 0 0 0
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social
1 year ago
Post image

Sören Tempel from @unibremen.bsky.social finished his #PhD - congratulations! rolfdrechsler.de/phd.php
@dsc-ub.bsky.social @dfki.bsky.social #Scale4Edge #verification

1 0 0 0
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social
1 year ago
Post image

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

1 0 0 0
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social
2 years ago
Post image

#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

1 0 0 0