Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T15:17:35.286358Z
Paper Citation Record · LEDGER
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines
As of 21 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2507.16276.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
18 of 18 outbound references displayed
- verified exact6
- verified fuzzy4
- unresolved3
- parse uncertain0
- malformed identifier2
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation dde9a3e3-50a4-4b2a-8e86-958fbc32af7a · outbound
This paper cites A survey of attacks on ethereum smart contracts (SOK),.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines A survey of attacks on ethereum smart contracts (SOK),
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:17:36.152655Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation fe0e59ad-5754-4c4a-9803-d68df624b5e8 · outbound
This paper cites an unresolved cited work.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T15:17:36.124050Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 6c94d0e9-9d01-4ab2-9373-8c0067086191 · outbound
This paper cites From Institutions to Code: To- wards Automated Generation of Smart Contracts.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines From Institutions to Code: To- wards Automated Generation of Smart Contracts
Reference 3
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-06T15:17:35.532527Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation d09d5a8b-12b0-4a06-8712-48a2cbf84f35 · outbound
This paper cites Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems
Reference 4
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-06T15:17:35.191852Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b3f46b01-1482-4a7b-9eb9-4358ed70f56d · outbound
This paper cites A Systematic Review and Performance Evaluation of Open-Source Tools for Smart Contract Vulnerability Detection.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines A Systematic Review and Performance Evaluation of Open-Source Tools for Smart Contract Vulnerability Detection
Reference 5
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-06T15:17:35.897486Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 9cd41b39-8fff-4ff0-8b6c-247e71a7e8c3 · outbound
This paper cites di Angelo, T.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines di Angelo, T
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:17:36.103805Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 8137ea84-6b85-4824-85c4-71469ab537ee · outbound
This paper cites A survey on the secu- rity of blockchain systems,.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines A survey on the secu- rity of blockchain systems,
Reference 7
- Resolution
- verified exact
- doi, observed 2026-08-06T15:17:35.513120Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation d8d009a7-7298-46a9-893a-6b8433107141 · outbound
This paper cites VeriSolid: Correct-by-Design Smart Contracts for Ethereum.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines VeriSolid: Correct-by-Design Smart Contracts for Ethereum
Reference 8
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T15:17:35.486775Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 20326a11-2536-4e4e-94cf-1bf5002d66d3 · outbound
This paper cites Nakamoto.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines Nakamoto
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:17:36.078618Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a6128b66-7754-42df-a07c-f6f45d134d6d · outbound
This paper cites CATERPILLAR: A Business Process Execution Engine on the Ethereum Blockchain.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines CATERPILLAR: A Business Process Execution Engine on the Ethereum Blockchain
Reference 10
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-06T15:17:35.461419Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation f1545b5b-730e-42dd-9715-89e83c242bde · outbound
This paper cites Das Contract - A Visual Domain Specific Language for Modeling Blockchain Smart Contracts.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines Das Contract - A Visual Domain Specific Language for Modeling Blockchain Smart Contracts
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-06T15:17:35.417682Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 64a940c7-dd81-4193-9ac2-43f97db3d2d2 · outbound
This paper cites Smart Contract Design Meets State Machine Synthesis: Case Studies.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines Smart Contract Design Meets State Machine Synthesis: Case Studies
Reference 12
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T15:17:35.394887Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation b692fdbd-30f7-49a1-a2f3-28d0553f4c7d · outbound
This paper cites Symboleo: Towards a Specification Lan- guage for Legal Contracts.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines Symboleo: Towards a Specification Lan- guage for Legal Contracts
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:17:35.255486Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 066264cf-c0f2-4b7d-8da7-03fa25203356 · outbound
This paper cites The Development of Smart Contracts for Heterogeneous Blockchains.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines The Development of Smart Contracts for Heterogeneous Blockchains
Reference 14
- Resolution
- verified exact
- doi, observed 2026-08-06T15:17:35.362163Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation f061db2a-4569-4158-9abb-2de6774e2b9b · outbound
This paper cites an unresolved cited work.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T15:17:36.052678Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e1d93183-67fe-4bf2-833e-f7919ebff5ae · outbound
This paper cites Automatic Smart Contract Generation Us- ing Controlled Natural Language and Template.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines Automatic Smart Contract Generation Us- ing Controlled Natural Language and Template
Reference 16
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-06T15:17:35.668174Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation f142694a-c385-4406-8bea-dd50b68451b5 · outbound
This paper cites Lorikeet: A Model-Driven Engineering Tool for Blockchain-Based Business Process Execution and Asset Management.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines Lorikeet: A Model-Driven Engineering Tool for Blockchain-Based Business Process Execution and Asset Management
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:17:36.032002Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 391af7a7-db22-440c-a067-17860409ace2 · outbound
This paper cites Data security and privacy in bitcoin system: A survey,.
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines Data security and privacy in bitcoin system: A survey,
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-06T15:17:35.342252Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Pith citing papers
No inbound Pith citation observations are available.