Paper Citation Record · LEDGER

Extending AALpy with Passive Learning: A Generalized State-Merging Approach

As of 8 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2506.06333.

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

pith.paper-citation-record.v1
2506.06333 v2

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:11:28.889254Z

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

30 of 30 outbound references displayed

verified exact10
verified fuzzy3
unresolved12
parse uncertain0
malformed identifier3
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ce154926-46ab-4fea-beec-e04a57119906 · outbound

This paper cites In: Gi- annakopoulou, D., Méry, D.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Gi- annakopoulou, D., Méry, D

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:11:33.926699Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation bbd6195e-0526-4e5d-9a76-aa055a7d8c81 · outbound

This paper cites Formal Methods Syst.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach Formal Methods Syst

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T12:11:26.637260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9a3b7c6-e11b-4ad0-aded-8091f315fbd9 · outbound

This paper cites In: Egyed, A., Wimmer, M., Chechik, M., Combemale, B.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Egyed, A., Wimmer, M., Chechik, M., Combemale, B

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T12:11:26.762743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d13539d-7388-47b9-9bc0-a9bc9026213a · outbound

This paper cites In: Madeira, A., Knapp, A.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Madeira, A., Knapp, A

Reference 4

Resolution: verified exact; doi, observed 2026-08-07T12:11:31.391024Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 793c1699-b0a1-4f0f-8f0b-0b986e025387 · outbound

This paper cites A Framework for Streaming Event-Log Prediction in Business Processes.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach A Framework for Streaming Event-Log Prediction in Business Processes

Reference 5

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T12:11:31.201379Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a2f6893f-6412-4637-a402-17abe8ea150a · outbound

This paper cites In: Touili, T., Cook, B., Jackson, P.B.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Touili, T., Cook, B., Jackson, P.B

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T12:11:27.071979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2aee3b98-8e13-40eb-96f9-de5a18eab5f5 · outbound

This paper cites an unresolved cited work.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:11:33.695811Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 27ea53fc-a9d5-4289-9d52-a899b5709118 · outbound

This paper cites In: Mutzel, P., Jünger, M., Leipert, S.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Mutzel, P., Jünger, M., Leipert, S

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T12:11:27.245061Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edb2bc44-4c2d-4103-be2d-c0dcf0f5fd98 · outbound

This paper cites In: Neele, T., Wijs, A.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Neele, T., Wijs, A

Reference 9

Resolution: verified exact; doi, observed 2026-08-07T12:11:30.929995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 72c0bc72-91e7-4446-8a33-211257ecb5b4 · outbound

This paper cites Cambridge University Press (2010).https://doi.org/10.1017/ CBO9781139194655 Extending AALpy with Passive Learning 19.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach Cambridge University Press (2010).https://doi.org/10.1017/ CBO9781139194655 Extending AALpy with Passive Learning 19

Reference 10

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T12:11:33.409502Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4d1acf0f-2f9a-444e-a688-8b39607a4052 · outbound

This paper cites In: Kroening, D., Pasareanu, C.S.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Kroening, D., Pasareanu, C.S

Reference 11

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T12:11:33.110350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a290f577-e1cd-440b-9515-65742858546e · outbound

This paper cites In: Jansen, N., Stoelinga, M., van den Bos, P.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Jansen, N., Stoelinga, M., van den Bos, P

Reference 12

Resolution: verified exact; doi, observed 2026-08-07T12:11:30.723872Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9155ab4d-3688-4598-9b74-53ab8fc40a2f · outbound

This paper cites In: Platzer, A., Rozier, K.Y., Pradella, M., Rossi, M.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Platzer, A., Rozier, K.Y., Pradella, M., Rossi, M

Reference 13

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T12:11:32.748800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0e92a35d-4dd2-40e6-bb4b-5385354c7fd0 · outbound

This paper cites an unresolved cited work.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach Unresolved cited work

Reference 14

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T12:11:31.864180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation fe155b45-ca75-4a81-adb3-200f9a4ca47e · outbound

This paper cites In: Honavar, V.G., Slutzki, G.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Honavar, V.G., Slutzki, G

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:11:32.415392Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 21223dba-c3b5-40bf-8c5b-239516a112ea · outbound

This paper cites an unresolved cited work.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T12:11:27.907621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3c9298f-4975-420a-afc3-fb7a60d21a77 · outbound

This paper cites In: 29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024, Padova, Italy, September 10-13, 2024.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: 29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024, Padova, Italy, September 10-13, 2024

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T12:11:27.975335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6e41a37-c22b-4d53-8179-e2697b896fbe · outbound

This paper cites an unresolved cited work.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T12:11:28.063961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8322df1-2bb6-4784-a48f-2a2a28e64e94 · outbound

This paper cites In: ter Beek, M.H., Monahan, R.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: ter Beek, M.H., Monahan, R

Reference 19

Resolution: verified exact; doi, observed 2026-08-07T12:11:30.486800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 36eee635-2209-4e8e-a83f-c960002af753 · outbound

This paper cites In: Bunke, H.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Bunke, H

Reference 20

Resolution: verified exact; doi, observed 2026-08-07T12:11:30.237945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b4b8c677-d0f1-4a4d-8439-a13885268cee · outbound

This paper cites In: International Con- ference on Protocol Specification, Testing and Verification.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: International Con- ference on Protocol Specification, Testing and Verification

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:11:32.165396Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 41303a97-88dc-452d-9f2e-8f1e8e96f210 · outbound

This paper cites Lecture Notes in Computer Science, vol.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach Lecture Notes in Computer Science, vol

Reference 22

Resolution: verified exact; doi, observed 2026-08-07T12:11:29.980880Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 47a13bcc-cab1-42b2-931a-67b99cfd629f · outbound

This paper cites In: Deshmukh, J.V., Havelund, K., Perez, I.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Deshmukh, J.V., Havelund, K., Perez, I

Reference 23

Resolution: verified exact; doi, observed 2026-08-07T12:11:29.781838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ee355ccc-5c27-4be9-8edc-33f9546ca7a9 · outbound

This paper cites In: Jansen, N., Tribastone, M.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Jansen, N., Tribastone, M

Reference 24

Resolution: verified exact; doi, observed 2026-08-07T12:11:29.539120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ef2df9fd-ae74-4118-b382-68eedf62ccee · outbound

This paper cites ACM Trans.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach ACM Trans

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T12:11:28.542549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37cc68d7-34c6-4c9b-8efa-5ee0dc4c9d7d · outbound

This paper cites In: Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T12:11:28.631902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0487ec24-b12d-4e35-88ac-ef60b9c9932b · outbound

This paper cites In: Margaria, T., Steffen, B.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Margaria, T., Steffen, B

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T12:11:28.710702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4ea0ca3-281a-411c-b51f-5c76fed0c722 · outbound

This paper cites CoRRabs/2203.16331(2022).https://doi.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach CoRRabs/2203.16331(2022).https://doi

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T12:11:28.763989Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 972d8551-83e6-4a16-a469-94af666fcbe9 · outbound

This paper cites In: Sempere, J.M., García, P.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach In: Sempere, J.M., García, P

Reference 29

Resolution: verified exact; doi, observed 2026-08-07T12:11:29.217444Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 24283685-eadb-45b5-97df-352151067781 · outbound

This paper cites an unresolved cited work.

Extending AALpy with Passive Learning: A Generalized State-Merging Approach Unresolved cited work

Reference 30

Resolution: verified exact; doi, observed 2026-08-07T12:11:29.043632Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Pith citing papers

No inbound Pith citation observations are available.