Get started
Author

Merlijn Sevenhuijsen

Observed name: Sevenhuijsen, Merlijn
ORCID: 0009-0002-1114-4395
Observed ORCID: 0009-0002-1114-4395
OpenAlex ID: A5115002483
VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models
2025 · Merlijn Sevenhuijsen, Khashayar Etemadi, et al. · IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE) · 25
PDF
CASP: An Evaluation Dataset for Formal Verification of C Code
2025 · Niclas Hertzberg, Merlijn Sevenhuijsen, et al. · Lecture notes in computer science · 3
PDF
Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
2026 · Jesper Amilon, Merlijn Sevenhuijsen, et al. · Lecture notes in computer science · 1
PDF
STAFF: Towards Translating Formal Verification Benchmarks between Formal Specification Languages
2026 · Merlijn Sevenhuijsen
PDF
Works count: 6
Citation count: 31
H-index: 2
I10-index: 1
Year
Topic
Type