Bastian Koppelmann is an author at Paderborn University specializing in computer engineering, formal methods, and embedded systems.
Top concepts
EngineeringFormal MethodsComputer ScienceEmbedded SystemsProgram AnalysisHardware SecurityParallel ComputingComputer EngineeringComputer Architecture
Publications per year
2019–2020
2
2
RISC-V Extensions for Bit Manipulation Instructions
Bastian Koppelmann, Peer Adelt, Wolfgang Mueller et al. · 2019 · 20 citations
Rows per page
1–2 of 2