Author of the publication

Autoformalizing Memory Device Specifications with Agents

, , , , , , , , and . VerifAI-2: The Second Workshop on AI Verification in the Wild @ ICLR'26, (2026)

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.

 

Other publications of authors with the same name

Etische und emische Interpretationen eines Artefakts und ihr Verhältnis zu seiner objektiven Bedeutung am Beispiel eines Aschanti-Goldgewichts. (2003)Überlegungen zu möglichen Sitz- und Liegepositionen auf der Hochdorfer" Kline". 27 (1): 123--132 (2004)Überlegungen zur Ausrichtung der Nachbestattungen im Magdalenenberg bei Villingen. (2003)Die 'Krise der Arbeitsgesellschaft' in Interviews mit Adoleszenten. Welche Auswirkungen hätte ein bedingungsloses Grundeinkommen auf ihr Leben?, , and . Bedingungsloses Grundeinkommen als Antwort auf die Krise der Arbeitsgesellschaft, Velbrück Wissenschaft, Weilerswist, (2010)Split'n'Cover: ISO 26262 Hardware Safety Analysis with SystemC., and . SAMOS, volume 13511 of Lecture Notes in Computer Science, page 74-89. Springer, (2022)A Framework for Formal Verification of DRAM Controllers., , , , and . MEMSYS, page 6:1-6:7. ACM, (2022)Simulierte Normalität in (dauerhaft) geförderter Arbeit, , , and . Arbeit im Lebenslauf. Verhandlungen von (erwerbs-)biographischer Normalität, Transcript Verlag, Bielefeld, (2016)Novel System Simulation Framework for HBM2 FPGA Platforms, , , , , , , , and . Springer, (2024)A Weighted Current Summation Based Mixed Signal DRAM-PIM Architecture for Deep Neural Network Inference., , , , , , , and . IEEE J. Emerg. Sel. Topics Circuits Syst., 12 (2): 367-380 (2022)Fast and Accurate DRAM Simulation: Can we Further Accelerate it?, , , , and . DATE, page 364-369. IEEE, (2020)