We stand with Ukraine  

Merlijn Sevenhuijsen

Orcid: 0009-0002-1114-4395

According to our database1, Merlijn Sevenhuijsen authored at least 4 papers between 2025 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code.
[BibTeX]
[DOI]
Jesper Amilon
,
Merlijn Sevenhuijsen
,
Mattias Nyberg
,
Karl Palmskog
CoRR, May, 2026

2025
CASP: An Evaluation Dataset for Formal Verification of C Code.
[BibTeX]
[DOI]
Niclas Hertzberg
,
Merlijn Sevenhuijsen
,
Liv Kåreborn
,
Anna Lokrantz
Proceedings of the Bridging the Gap Between AI and Reality, 2025

Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification.
[BibTeX]
[DOI]
Merlijn Sevenhuijsen
,
Minal Suresh Patil
,
Mattias Nyberg
,
Gustav Ung
Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), 2025

VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models.
[BibTeX]
[DOI]
Merlijn Sevenhuijsen
,
Khashayar Etemadi
,
Mattias Nyberg
Proceedings of the 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2025


  Loading...