Inventor · disambiguated record
Maximilian Schlund
Also filed as: SCHLUND MAXIMILIAN
1 granted patent·7 pending applications·0 citations·filing 2022–2024
1Inventor score
Files withBOSCH GMBH ROBERT8
Top patents by PatentIndex Score
8 records- 0157US2025130924A1Method for checking the dynamic behavior of llm-generated code using differential fuzzingBOSCH GMBH ROBERT·Filed 2024·Application pending·0 cites
- 0257US2025130921A1Method for verifying static warnings of llm-generated code with directed fuzzingBOSCH GMBH ROBERT·Filed 2024·Application pending·0 cites
- 0356US2025130783A1Methods for improving the memory allocation of llm-generated codeBOSCH GMBH ROBERT·Filed 2024·Application pending·0 cites
- 0454US2025110712A1Automated generationof models of computation, such as pushdown automata, state machines, or petri netsBOSCH GMBH ROBERT·Filed 2024·Application pending·0 cites
- 0554US2025110853A1Method for automatically translating program code from a source language to a target languageBOSCH GMBH ROBERT·Filed 2024·Application pending·0 cites
- 0654US2025130928A1Automated generation of test code for testing embedded softwareBOSCH GMBH ROBERT·Filed 2024·Application pending·0 cites
- 0745US2024354078A1Method for preprocessing code data for a subsequent evaluationBOSCH GMBH ROBERT·Filed 2024·Application pending·0 cites
- 0837US11977478B2Compositional verification of embedded software systemsBOSCH GMBH ROBERT·Filed 2022·Granted May 7, 2024·0 cites·14 claims
Join the waitlist — get patent alerts
Get an alert when Maximilian Schlund files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →