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

Die Bedeutung signifikanter Anderer für eine Erklärung sozial differenzierter Bildungsaspirationen. Journal of Youth and Adolescence, (September 2017)Open Source und Freie Software – soziale Bewegung im virtuellen Raum?. Open Source Jahrbuch 2004 – Zwischen Softwareentwicklung und Gesellschaftsmodell, Lehmanns Media, Berlin, (2004)Preprocessing CVS Data for Fine-Grained Analysis, and . page 2-6. Los Alamitos CA, IEEE Press, (2004)ReBOC: Recommending Bespoke Open Source Software Projects to Contributors., , and . VL/HCC, page 1-5. IEEE, (2022)Software Analytics for Digital Games., and . Software Engineering, volume P-227 of LNI, page 23-24. GI, (2014)Please Turn Your Cameras On: Remote Onboarding of Software Developers during a Pandemic., , , and . CoRR, (2020)IP repository, a Web based IP reuse infrastructure., , and . CICC, page 415-418. IEEE, (1999)Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub., , , and . ICSE (SEIP), page 258-267. IEEE, (2021)Attracting and Retaining OSS Contributors with a Maintainer Dashboard., , , and . ICSE-SEIS, page 36-40. IEEE/ACM, (2022)MEMS-based piezoelectric energy harvesting modules for distributed automotive tire sensors., , , , and . SSD, page 1-4. IEEE, (2012)