Paper Citation Record · LEDGER

Scalable Inference of System-level Models from Component Logs

As of 16 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:1908.02329.

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

pith.paper-citation-record.v1
1908.02329 v3

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T14:52:45.525915Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

29 of 29 outbound references displayed

verified exact0
verified fuzzy27
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0933cec6-c02d-44fd-8e10-ad62609c42d7 · outbound

This paper cites Discovering models of software processes from event-based data,.

Scalable Inference of System-level Models from Component Logs Discovering models of software processes from event-based data,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:46.068747Z

Source-reported events for the cited work

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

Observation eee43f6a-1128-451c-bc74-889fe62ad61b · outbound

This paper cites Behaviourally adequate software testing,.

Scalable Inference of System-level Models from Component Logs Behaviourally adequate software testing,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:46.051922Z

Source-reported events for the cited work

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

Observation a35c806f-497a-479e-9d9e-1244c31980d8 · outbound

This paper cites an unresolved cited work.

Scalable Inference of System-level Models from Component Logs Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:52:46.033435Z

Source-reported events for the cited work

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

Observation 659f5b0c-d996-428e-90e0-0e1094c2fe16 · outbound

This paper cites A framework for the competitive evaluation of model inference tech- niques,.

Scalable Inference of System-level Models from Component Logs A framework for the competitive evaluation of model inference tech- niques,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:46.017225Z

Source-reported events for the cited work

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

Observation 1398df69-c256-4ded-bd09-da9a1b8b2951 · outbound

This paper cites On the synthesis of ﬁnite-state machines from samples of their behavior,.

Scalable Inference of System-level Models from Component Logs On the synthesis of ﬁnite-state machines from samples of their behavior,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:46.000250Z

Source-reported events for the cited work

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

Observation bcfe7ad8-a163-4909-a9f6-74d414ec255c · outbound

This paper cites Leveraging existing instrumentation to automatically infer invariant- constrained models,.

Scalable Inference of System-level Models from Component Logs Leveraging existing instrumentation to automatically infer invariant- constrained models,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.982315Z

Source-reported events for the cited work

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

Observation 85eb991d-639f-4825-b011-bc253c4bbc27 · outbound

This paper cites Inferring software behavioral models with mapreduce,.

Scalable Inference of System-level Models from Component Logs Inferring software behavioral models with mapreduce,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.965603Z

Source-reported events for the cited work

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

Observation 0271813d-b345-4915-a981-6a7a4d935bf8 · outbound

This paper cites Inferring extended ﬁnite state machine models from software executions,.

Scalable Inference of System-level Models from Component Logs Inferring extended ﬁnite state machine models from software executions,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.949715Z

Source-reported events for the cited work

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

Observation 6df04cae-2f4e-467d-bf71-4465b8b520c6 · outbound

This paper cites Gk-tail+ an efﬁcient approach to learn software models,.

Scalable Inference of System-level Models from Component Logs Gk-tail+ an efﬁcient approach to learn software models,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.932956Z

Source-reported events for the cited work

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

Observation d6ad44c1-0b9f-4358-86e4-6ba5a4ac6eb0 · outbound

This paper cites Inferring extended probabilistic ﬁnite-state automaton models from software executions,.

Scalable Inference of System-level Models from Component Logs Inferring extended probabilistic ﬁnite-state automaton models from software executions,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.917119Z

Source-reported events for the cited work

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

Observation 5bac5ed2-47da-4b88-b2c2-313f16e0af1d · outbound

This paper cites Scalable parallelization of speciﬁcation mining using distributed computing,.

Scalable Inference of System-level Models from Component Logs Scalable parallelization of speciﬁcation mining using distributed computing,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.900272Z

Source-reported events for the cited work

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

Observation 4d28422f-37d5-4125-a12f-499cffc44766 · outbound

This paper cites Inferring models of concurrent systems from logs of their behavior with CSight,.

Scalable Inference of System-level Models from Component Logs Inferring models of concurrent systems from logs of their behavior with CSight,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.883739Z

Source-reported events for the cited work

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

Observation c79b379e-3030-48ca-9565-b8b0f8165007 · outbound

This paper cites A search-based approach for accurate identiﬁcation of log message for- mats,.

Scalable Inference of System-level Models from Component Logs A search-based approach for accurate identiﬁcation of log message for- mats,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.866165Z

Source-reported events for the cited work

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

Observation 82622fd4-5ffd-4b30-885f-c1995e0b94e9 · outbound

This paper cites Results of the Abbadingo One DFA learning competition and a new evidence-driven state merging algorithm,.

Scalable Inference of System-level Models from Component Logs Results of the Abbadingo One DFA learning competition and a new evidence-driven state merging algorithm,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.848615Z

Source-reported events for the cited work

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

Observation c7cfd1ad-e33b-47d3-9041-8c22a48761cf · outbound

This paper cites Automatic extraction of object-oriented component interfaces,.

Scalable Inference of System-level Models from Component Logs Automatic extraction of object-oriented component interfaces,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.832098Z

Source-reported events for the cited work

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

Observation 1d091183-9f11-480b-9168-6d460bc73413 · outbound

This paper cites Toward the reverse engineering of UML sequence diagrams for distributed Java software,.

Scalable Inference of System-level Models from Component Logs Toward the reverse engineering of UML sequence diagrams for distributed Java software,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.815468Z

Source-reported events for the cited work

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

Observation eff26184-fadc-48f1-81db-aeb3c8397337 · outbound

This paper cites Internet time synchronization: The network time protocol,.

Scalable Inference of System-level Models from Component Logs Internet time synchronization: The network time protocol,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.797381Z

Source-reported events for the cited work

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

Observation 3d5db0e5-1edf-4bb5-b176-1a9dfa57ef11 · outbound

This paper cites Generating annotated behavior models from end-user scenarios,.

Scalable Inference of System-level Models from Component Logs Generating annotated behavior models from end-user scenarios,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.779700Z

Source-reported events for the cited work

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

Observation c263d0b2-d7aa-4a73-be2b-48aa8e4e5acb · outbound

This paper cites Performance metrics: Keeping the focus on runtime,.

Scalable Inference of System-level Models from Component Logs Performance metrics: Keeping the focus on runtime,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.763164Z

Source-reported events for the cited work

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

Observation 29b27252-fc8f-4be4-8992-f863a8c346a9 · outbound

This paper cites Using declarative speciﬁcation to improve the understanding, extensibility, and comparison of model-inference algorithms,.

Scalable Inference of System-level Models from Component Logs Using declarative speciﬁcation to improve the understanding, extensibility, and comparison of model-inference algorithms,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.745915Z

Source-reported events for the cited work

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

Observation b44ca4a9-a746-43fc-9cc3-620db9c9a739 · outbound

This paper cites The daikon system for dynamic detection of likely invariants,.

Scalable Inference of System-level Models from Component Logs The daikon system for dynamic detection of likely invariants,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.726427Z

Source-reported events for the cited work

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

Observation a405ec35-2488-4585-bea1-eaa7dc2cc2d4 · outbound

This paper cites Automatic functional test generation using the extended ﬁnite state machine model,.

Scalable Inference of System-level Models from Component Logs Automatic functional test generation using the extended ﬁnite state machine model,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.707799Z

Source-reported events for the cited work

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

Observation a2ac14ff-1115-4723-b3ef-9a746057f4c4 · outbound

This paper cites an unresolved cited work.

Scalable Inference of System-level Models from Component Logs Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:52:45.690303Z

Source-reported events for the cited work

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

Observation d1bb5ddc-0edc-4e7b-8b44-f36710836c2a · outbound

This paper cites Stamina: A competition to encourage the development and assessment of software model inference techniques,.

Scalable Inference of System-level Models from Component Logs Stamina: A competition to encourage the development and assessment of software model inference techniques,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.672528Z

Source-reported events for the cited work

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

Observation 7e28064e-f816-4042-8713-5f8e682f6f12 · outbound

This paper cites Language identiﬁcation in the limit,.

Scalable Inference of System-level Models from Component Logs Language identiﬁcation in the limit,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.651341Z

Source-reported events for the cited work

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

Observation 242e8ff6-9a88-4357-85d1-58c08df0bee7 · outbound

This paper cites Mining message sequence graphs,.

Scalable Inference of System-level Models from Component Logs Mining message sequence graphs,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.633118Z

Source-reported events for the cited work

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

Observation c2ed924c-a7af-477a-9dc1-c0dae8aaf388 · outbound

This paper cites Inferring class level speciﬁcations for distributed systems,.

Scalable Inference of System-level Models from Component Logs Inferring class level speciﬁcations for distributed systems,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.612673Z

Source-reported events for the cited work

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

Observation 177888fd-3dd1-433c-928e-d440fa22bb38 · outbound

This paper cites Compo- nent behavior discovery from software execution data,.

Scalable Inference of System-level Models from Component Logs Compo- nent behavior discovery from software execution data,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.591074Z

Source-reported events for the cited work

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

Observation c027e294-c413-4983-a231-dbe986bcb435 · outbound

This paper cites Mapreduce: Simpliﬁed data processing on large clusters,.

Scalable Inference of System-level Models from Component Logs Mapreduce: Simpliﬁed data processing on large clusters,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:52:45.570357Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.