Paper Citation Record · LEDGER

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software

As of 17 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 2 inbound Pith citation observations for arXiv:2411.13269.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2411.13269 v1

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T16:42:23.584828Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-12T10:24:29.655340Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-06T15:48:52.273335Z

Reference resolution

41 of 41 outbound references displayed

verified exact0
verified fuzzy19
unresolved22
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e6fbeecb-8d41-48c4-b3d3-34c63b06f35f · outbound

This paper cites Lecture notes in computer science 10001 (2016).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Lecture notes in computer science 10001 (2016)

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:24.219080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8d546857-7f5e-4786-b09c-ec301851d511 · outbound

This paper cites In: International Symposium on Leverag- ing Applications of Formal Methods.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software In: International Symposium on Leverag- ing Applications of Formal Methods

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:24.204077Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ce473e01-b342-4312-a6ad-9f326d2d5369 · outbound

This paper cites CEA LIST, Inria, https://www.frama-c.com/download/ frama-c-wp-manual.pdf.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software CEA LIST, Inria, https://www.frama-c.com/download/ frama-c-wp-manual.pdf

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:24.188518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 65058f09-93d1-464b-9126-7e28af5abdb4 · outbound

This paper cites URL https://frama-c.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software URL https://frama-c

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:24.173157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4d60758c-e32c-4f56-a9d4-e5f3de6ebe92 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Evaluating Large Language Models Trained on Code

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.409711Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8baeab36-9ef8-4863-9d27-eea37661426d · outbound

This paper cites In: SMT Workshop: International Workshop on Satisfiability Modulo Theories (2018).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software In: SMT Workshop: International Workshop on Satisfiability Modulo Theories (2018)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.415454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76705083-4ae8-4d38-8143-23b58db1a5ec · outbound

This paper cites CEA LIST, Inria, http:// frama-c.com/download/frama-c-user-manual.pdf.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software CEA LIST, Inria, http:// frama-c.com/download/frama-c-user-manual.pdf

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:24.147903Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1c283dfe-0f81-478f-a3a7-0c97f1b72081 · outbound

This paper cites In: International Conference on Computer Aided Verification.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software In: International Conference on Computer Aided Verification

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.425520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c26b7be8-2aac-4c77-a63c-bd58ea47f9db · outbound

This paper cites Iterative Circuit Repair Against Formal Specifications.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Iterative Circuit Repair Against Formal Specifications

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.430753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e293cbda-a169-4e09-a836-ce2c78b63736 · outbound

This paper cites In: International conference on Tools and Algorithms for the Construction and Analysis of Systems.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software In: International conference on Tools and Algorithms for the Construction and Analysis of Systems

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.435723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a00973c8-e34e-4bd4-8c10-4e286420066c · outbound

This paper cites Teaching Temporal Logics to Neural Networks.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Teaching Temporal Logics to Neural Networks

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.440480Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efa01849-e2d8-4cdb-8176-dbb4a85b5d7e · outbound

This paper cites Formal Specifications from Natural Language.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Formal Specifications from Natural Language

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.445779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 147fc746-e54c-4795-aa70-f82d04672bc3 · outbound

This paper cites Computing and Software Science: State of the Art and Perspectives pp.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Computing and Software Science: State of the Art and Perspectives pp

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:24.112278Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 74334a61-e6e1-4485-abdf-3029f82dc9e1 · outbound

This paper cites Com- puter 39(6), 95–99 (2006).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Com- puter 39(6), 95–99 (2006)

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:24.096930Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 566d2daa-5f17-48f8-9e80-a5987bd31309 · outbound

This paper cites an unresolved cited work.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:42:24.081555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 940c86d1-dd9e-487a-b31b-f8c6666351c5 · outbound

This paper cites an unresolved cited work.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:42:24.066497Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation db7c4899-35cf-454e-807a-f1e409a3671b · outbound

This paper cites LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.469235Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0ea1511-51a1-476a-96c8-d1499f3fce38 · outbound

This paper cites DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.473988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c3824d3-a36b-4132-8203-3d8cb17c88e5 · outbound

This paper cites Advances in neural information processing systems 35, 22199–22213 (2022).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Advances in neural information processing systems 35, 22199–22213 (2022)

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.479444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 747dacd1-46e0-48ee-8203-b940dd462d43 · outbound

This paper cites Information Processing Letters 93(6), 281–288 (2005).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Information Processing Letters 93(6), 281–288 (2005)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:24.040433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4696da07-b093-4a91-96f6-74f154862760 · outbound

This paper cites Advances in Neural Information Processing Systems 35, 3843–3857 (2022).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Advances in Neural Information Processing Systems 35, 3843–3857 (2022)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:24.022471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 39493c67-6766-4192-b8d3-b6de824e63c4 · outbound

This paper cites In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:24.006674Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a1056fe4-908a-4b59-b632-3aeec5dc79b4 · outbound

This paper cites an unresolved cited work.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:42:23.983519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7fbd5fd7-bbc6-43f7-8109-ef5abfa7a5c1 · outbound

This paper cites Is Self-Repair a Silver Bullet for Code Generation?.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Is Self-Repair a Silver Bullet for Code Generation?

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.502610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 723d74a3-8d3a-46f2-82e9-85893d544ebd · outbound

This paper cites https://www.openai.com (2022), accessed: 25/04/2024.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software https://www.openai.com (2022), accessed: 25/04/2024

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:23.967910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 828c6467-960c-433e-8652-0357560e95b0 · outbound

This paper cites https://www.openai.com (2023), accessed: 25/04/2024.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software https://www.openai.com (2023), accessed: 25/04/2024

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:23.952268Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ce868aad-bc78-46e1-8ddd-763b55114eec · outbound

This paper cites Advances in neural information processing sys- tems 35, 27730–27744 (2022).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Advances in neural information processing sys- tems 35, 27730–27744 (2022)

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.517112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45a32ea8-08c6-4621-8683-72999f83bba6 · outbound

This paper cites Advances in Neural Information Processing Systems 36 (2024).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Advances in Neural Information Processing Systems 36 (2024)

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.521966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b6de64f-9427-4e64-9a9b-b91db8ab3220 · outbound

This paper cites In: Proceedings of the 28th International Conference on Intelligent User Interfaces.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software In: Proceedings of the 28th International Conference on Intelligent User Interfaces

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:23.915901Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 65f7c6a8-e937-4957-a068-17b573a4a0a1 · outbound

This paper cites IEEE Transactions on Soft- ware Engineering (2023).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software IEEE Transactions on Soft- ware Engineering (2023)

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:23.900607Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f03d6438-27bd-4683-9bb4-ce2fba8dc80b · outbound

This paper cites Language Models are Multilingual Chain-of-Thought Reasoners.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Language Models are Multilingual Chain-of-Thought Reasoners

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.535497Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9245fe67-6828-4b6c-aac0-d1e6b06f5dec · outbound

This paper cites Geneva, Switzerland (2018).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Geneva, Switzerland (2018)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:23.884946Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 62b43c26-7dc6-42dc-a621-f6cc398adafd · outbound

This paper cites Bugs in Large Language Models Generated Code: An Empirical Study.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Bugs in Large Language Models Generated Code: An Empirical Study

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.544993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3bf29f9b-3ab4-4109-93d2-cc3f94bcf9cf · outbound

This paper cites In: Accepted at 2024 IEEE 32nd International Requirements Engineering Conference (RE).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software In: Accepted at 2024 IEEE 32nd International Requirements Engineering Conference (RE)

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:23.869426Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f80cd865-eeda-42b3-a98a-767c73986660 · outbound

This paper cites experience: Evalu- ating the usability of code generation tools powered by large language models.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software experience: Evalu- ating the usability of code generation tools powered by large language models

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:23.853351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1359e6da-51cf-444e-bb56-9e9871dba627 · outbound

This paper cites Advances in neural information pro- cessing systems 30 (2017).

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Advances in neural information pro- cessing systems 30 (2017)

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.560310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2bcf1209-3a31-4db7-8bb9-9b63c2e0e948 · outbound

This paper cites Towards Understanding Chain-of-Thought Prompting: An Empirical Study of What Matters.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Towards Understanding Chain-of-Thought Prompting: An Empirical Study of What Matters

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.564934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 639e0927-afd5-4103-9191-1a6509e4ca13 · outbound

This paper cites ChatIE: Zero-Shot Information Extraction via Chatting with ChatGPT.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software ChatIE: Zero-Shot Information Extraction via Chatting with ChatGPT

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.570001Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff5d6ad2-6d00-4f77-bbbb-03ffe9234245 · outbound

This paper cites https://en.wikipedia.org/w/index.php?title=Assertion_ (software_development)&oldid=1179241560 (2023), [Online; accessed 27-May- 2024].

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software https://en.wikipedia.org/w/index.php?title=Assertion_ (software_development)&oldid=1179241560 (2023), [Online; accessed 27-May- 2024]

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:23.826630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 81814685-f25f-4038-8683-073621c89eb1 · outbound

This paper cites TextGrad: Automatic "Differentiation" via Text.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software TextGrad: Automatic "Differentiation" via Text

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-12T16:42:23.579636Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba29bf76-8a3d-4329-8437-f9969854bcf5 · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intelligence.

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software In: Proceedings of the AAAI Conference on Artificial Intelligence

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:42:23.809675Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Pith citing papers

Observation a044450d-9f6f-4904-94c8-5f80cf5ffa80 · inbound

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models cites this paper.

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T10:24:29.655340Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 640dac34-1a76-4843-b400-dd9c9cd5f2d7 · inbound

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code cites this paper.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software

Reference 65

Resolution: verified exact; local_arxiv, observed 2026-08-06T15:48:52.344781Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.