( en | de | ru )

 

Disambiguation of "Stoffel, Dominik"

Author of the publication

copydeleteadd this publication to your clipboard
A Framework for Formal Verification of DRAM Controllers.

, , , , and . MEMSYS, page 6:1-6:7. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dominik Stoffel

Hermann Stoffel

Fritz Stoffel

Rupert Stoffel

Karl Stoffel

 

Other publications of authors with the same name

Fast and Accurate Model-Driven FPGA-based System-Level Fault Emulation., , , , , , , and . VLSI-SoC, page 1-6. IEEE, (2022)Record & play: a structural fixed point iteration for sequential circuit verification., and . ICCAD, page 394-399. IEEE Computer Society / ACM, (1997)Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation., , , , and . MBMV, page 1-4. VDE/IEEE, (2022)MetaFS: Model-driven Fault Simulation Framework., , , , , , and . DFT, page 1-4. IEEE, (2022)Data-Oblivious and Performant: On Designing Security-Conscious Hardware., , , , , , , and . LATS, page 1-6. IEEE, (2024)Symbolic quick error detection using symbolic initial state for pre-silicon verification., , , , , , and . DATE, page 55-60. IEEE, (2018)Arithmetic Constraints in SAT-based Property Checking., , , and . MBMV, page 91-100. Shaker, (2007)Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed Environments., , , , , , , , and . AsiaCCS, page 1203-1218. ACM, (2025)Normalization at the arithmetic bit level., , and . DAC, page 457-462. ACM, (2005)AND/OR reasoning graphs for determining prime implicants in multi-level combinational networks., , and . ASP-DAC, page 529-538. IEEE, (1997)