A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation | Paper Citation Record

Observation 347c5f39-dbea-42fa-ae5d-df2436399799 · outbound

This paper cites PACMPL 3(POPL) (2019).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation PACMPL 3(POPL) (2019)

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.191149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16e852b3-178e-4265-abd5-95615b7df3dc · outbound

This paper cites In: SEFM (2019).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: SEFM (2019)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.196219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8a08ac3-5486-49c6-998e-173d35eac1f0 · outbound

This paper cites In: OOPSLA (2005).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: OOPSLA (2005)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.200493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3383c8d5-5aee-4d19-9e48-ba85a6d41fc5 · outbound

This paper cites JSS167(2020).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation JSS167(2020)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.204729Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0435dd71-2409-4101-9478-b9b1c6ddba66 · outbound

This paper cites In: OOPSLA (2008).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: OOPSLA (2008)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.208744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f2f6403-dd7f-47e3-a81c-1e932512ea91 · outbound

This paper cites io/prj/artcat.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation io/prj/artcat

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.212908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1ab4dc0-e412-4f81-ae09-11f6718cea5f · outbound

This paper cites In: OOP- SLA (2007).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: OOP- SLA (2007)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.216965Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d3bce27-f6e9-4387-ad82-ce2dff9fdf43 · outbound

This paper cites In: VMCAI (2004).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: VMCAI (2004)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.221344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb39e27a-3b7c-4b39-a0ed-35f58fae4c26 · outbound

This paper cites Journal of Aerospace Computing, Information, and Communication7(11) (2010).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Journal of Aerospace Computing, Information, and Communication7(11) (2010)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.225271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb520c4d-cd3f-45fe-b59a-60210e46ca83 · outbound

This paper cites Journal of Logic and Computation20(3) (2010).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Journal of Logic and Computation20(3) (2010)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.229227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0699e542-9e1c-4335-9f6c-1b8e86fb4e6e · outbound

This paper cites IJSTTT21(1) (2019).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation IJSTTT21(1) (2019)

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.233830Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0536e68-3bff-4c37-b096-b4e1970df871 · outbound

This paper cites In: Lectures on Runtime Verification (2018).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: Lectures on Runtime Verification (2018)

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.237928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9aa36775-ded8-4730-82da-f2e7a2c4a594 · outbound

This paper cites In: TACAS (2019).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: TACAS (2019)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.242992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6caff4ff-fac3-4294-8bcf-455edd9dad0b · outbound

This paper cites In: FSTTCS (2015).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: FSTTCS (2015)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.247084Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 214eda26-c23f-4b25-bb8c-60ef0114ae7c · outbound

This paper cites In: CAV (2017).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: CAV (2017)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.251255Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8664b3b2-d641-4d27-9ba5-af5603c38454 · outbound

This paper cites TECS18(5s) (2019).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation TECS18(5s) (2019)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.255139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc70b316-28ac-4967-96f9-06e8a85606ae · outbound

This paper cites Monitorability of $\omega$-regular languages.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Monitorability of $\omega$-regular languages

Reference 17

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T16:21:42.976853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 42ff4dad-aa00-4506-ab6e-a92a2893217a · outbound

This paper cites In: FM (2012).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: FM (2012)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.263461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93f7794e-aa33-4193-9410-0d7ee979055d · outbound

This paper cites Computer Security: Art and Science (2003).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Computer Security: Art and Science (2003)

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.267546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4cbb73c-fb75-4685-8927-ac04128475b2 · outbound

This paper cites In: OOPSLA (2006).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: OOPSLA (2006)

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.271352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36b19d5f-0208-44c8-b877-0b933ef3be39 · outbound

This paper cites In: RV Demo (2011) 17.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV Demo (2011) 17

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.275668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2bd4c439-8c5b-4917-b91a-4d4aeee51fa2 · outbound

This paper cites In: ECOOP (2007).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: ECOOP (2007)

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.280031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98f3d700-5a67-48fe-a23d-bb59b4d0348c · outbound

This paper cites In: FSE (2008).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: FSE (2008)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.284097Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f12ff61-c382-468f-8f86-01c77f7ad66a · outbound

This paper cites In: FMSD.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: FMSD

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.287801Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a74343f0-509c-4a38-b3be-d1a8e4f3fc2b · outbound

This paper cites In: ICCPS (2025).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: ICCPS (2025)

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.291833Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbe9bafd-395d-4c24-8007-c5ecb698fc60 · outbound

This paper cites In: LICS (2001).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: LICS (2001)

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.295795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 171e0eac-d583-46e2-b884-97079a23eef3 · outbound

This paper cites In: ICFEM.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: ICFEM

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.299963Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f12cd771-eda6-4e60-9683-fddb7ee576c4 · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.303962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02dddc37-84b8-4e4c-9f95-8aa820c15838 · outbound

This paper cites In: ASE (2009).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: ASE (2009)

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.307812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5f06e69-f2b7-4c27-b90c-4ca30c4c7b5f · outbound

This paper cites In: OOPSLA (2007).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: OOPSLA (2007)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.313020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fa8ffe3-4a2f-4264-bd1e-a722785f55c9 · outbound

This paper cites In: RV (2003).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2003)

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.316749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b01445d-9cc9-4a67-b43a-2844abb03d9a · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.320493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0e6fc3f-9202-4e50-a4a5-5452be83910d · outbound

This paper cites In: TACAS (2009).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: TACAS (2009)

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.324368Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d81b04a-fb6c-4d37-9b70-13ddf99d638a · outbound

This paper cites In: RV (2023).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2023)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.328154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a1b154e-5629-4acd-8644-51146b6c8ccb · outbound

This paper cites https://github.com/ clarete/forbiddenfruit.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation https://github.com/ clarete/forbiddenfruit

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.332308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49ef0eb1-49d7-40bc-ac96-41fad18e99c0 · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.336232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a236aa9f-8ad4-4480-985e-dfe974339373 · outbound

This paper cites Wiley (1971), https://books.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Wiley (1971), https://books

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.340151Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5febce56-51bc-416e-b8a7-5f49ab3947de · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.344016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33cc1d57-6a40-43c8-83f8-c39e77b2fa67 · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.347766Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation deb5027b-8b95-4ac2-b3e2-3db932628f5b · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.351829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0334c594-8e8b-4166-88c6-550561558a18 · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.355808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 632e6cd2-d76f-4a4f-ba83-c4b4255b4bd3 · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.360008Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 006a59fd-4fb6-4618-9be1-567a42b359cd · outbound

This paper cites In: WODA (2005).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: WODA (2005)

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.364651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3153f859-0320-4df9-8d54-009a121c3950 · outbound

This paper cites In: RV (2022).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2022)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.368752Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cff8d1ed-5b48-453c-9845-08780a28aa49 · outbound

This paper cites In: Temporal Representation and Reasoning (2005).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: Temporal Representation and Reasoning (2005)

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.372659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0c15505-e144-4479-8a8f-7973458b4008 · outbound

This paper cites In: RV (2019).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2019)

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.376570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31e24b23-4dfe-407f-9c81-97cb94b4c5e5 · outbound

This paper cites In: SAC (2019).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: SAC (2019)

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.380753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7195c5b0-142d-4f49-916e-4fdde9ba8e61 · outbound

This paper cites In: TACAS (2019).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: TACAS (2019)

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.384717Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94bf6c93-e81a-450f-bdbb-d461fbf781c7 · outbound

This paper cites In: TACAS (2016) 18.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: TACAS (2016) 18

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.388518Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4ce12ad-8b34-44d4-8839-3dea2ce3d86f · outbound

This paper cites In: FM (2013).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: FM (2013)

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.392551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78087bed-b9f0-4093-8de9-dbc199ec53c1 · outbound

This paper cites In: RV (2017).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2017)

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.396955Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8058b621-9b1b-4bc9-95d7-c0867dbb7b6e · outbound

This paper cites TCS537(2014).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation TCS537(2014)

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.400414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a0cce8c-5cdb-4b73-8fc5-52a01c14992b · outbound

This paper cites Journal of Robotics Applications and Technologies3(1) (2015).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Journal of Robotics Applications and Technologies3(1) (2015)

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.404268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31098c5c-a925-4d75-a518-035ceb920d27 · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.408223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39b2e947-582f-42df-8df4-92772a0e9ebc · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.412275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 350a116a-2640-48d6-ae9d-b4df55ad2a38 · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.416219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4519108c-f3ae-437a-9940-71f45d4eba20 · outbound

This paper cites E-mail, e-mail reply to the authors about instrumenting third-party libraries using DynaPyt, June 2025.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation E-mail, e-mail reply to the authors about instrumenting third-party libraries using DynaPyt, June 2025

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.420364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cef40c66-19ba-4e19-8164-89afe3eb74b8 · outbound

This paper cites In: FSE (2025).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: FSE (2025)

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.424346Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94b9346d-8bd8-4b58-9a8c-a3b5a96df433 · outbound

This paper cites In: FSE (2022).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: FSE (2022)

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.428567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08fa1f24-587d-414e-89f7-d7372331a2a3 · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.433684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 022425ea-5343-431f-bcfb-5d0ec22db1a4 · outbound

This paper cites In: IEEE S&P (2000).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: IEEE S&P (2000)

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.437577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97a9b996-9c05-468f-93ba-130bf50d587e · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.441322Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 345bb24a-f2bd-48b0-9ee3-722286bf51a2 · outbound

This paper cites In: En- gineering Dependable Software Systems (2013).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: En- gineering Dependable Software Systems (2013)

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.445252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 840f85ae-bddc-4dfb-aa0d-eb153b4c47ab · outbound

This paper cites In: RV (2018).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2018)

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.448888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4548320-2006-4464-8a8f-6a9b870717d2 · outbound

This paper cites In: RV (2015).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2015)

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.452685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8c0c725-32bf-4864-a7a0-a1577993782b · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.456537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 543c8f93-8094-4951-b037-d4fd4a290ff0 · outbound

This paper cites In: RV (2012).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2012)

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.460963Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3f2ab5c-03fa-4344-8d63-2465591d017b · outbound

This paper cites In: RV (2017).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2017)

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.465040Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6f0d72a-47ae-4851-b13a-6ef0b42c131b · outbound

This paper cites Lectures on Runtime Verification (2018).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Lectures on Runtime Verification (2018)

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.469091Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fa5e996-39f3-40ae-b0fe-20075bc8e485 · outbound

This paper cites In: OPODIS (2021).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: OPODIS (2021)

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.473065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57fc8357-71c8-439e-91b9-5e7ec6f9d9b7 · outbound

This paper cites In: ICDCS (2022).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: ICDCS (2022)

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.477407Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e30dcd50-f41e-4e0c-aeed-5ce173f4d4c4 · outbound

This paper cites Journal of Parallel and Distributed Computing185(2024).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Journal of Parallel and Distributed Computing185(2024)

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.481435Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1c0fb2d-652a-454f-944a-97ec56fd531e · outbound

This paper cites In: RV (2018).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2018)

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.485375Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f98a1d39-8b57-432c-8ca4-d3cd82cfbb8d · outbound

This paper cites In: 2020 23rd Euromicro Conference on Digital System Design (DSD) (2020).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: 2020 23rd Euromicro Conference on Digital System Design (DSD) (2020)

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.490298Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4448e67f-051f-48d2-96da-615ceb9d2684 · outbound

This paper cites In: ISSTA (2024) 19.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: ISSTA (2024) 19

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.494441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4215a1a4-2a47-428e-a19e-6aee0df41f4c · outbound

This paper cites In: ICSE (2025).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: ICSE (2025)

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.498157Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 129da73e-5413-4459-b2d6-af2dbadd23f7 · outbound

This paper cites In: FSE Demo (2025).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: FSE Demo (2025)

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.502331Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcfcd13e-103c-4956-be85-442b4089d911 · outbound

This paper cites In: RV (2023).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2023)

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.506426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b23dc62e-4762-4cbb-9cf7-452aa9cc8b64 · outbound

This paper cites In: FMCAD (2017).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: FMCAD (2017)

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.510384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 029acd0b-9161-4a5f-ae3b-5061f5a0b68a · outbound

This paper cites In: RV (2001).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2001)

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.514485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9ed277c-9856-4042-98e4-3e090bdbd92c · outbound

This paper cites In: ASE (2001).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: ASE (2001)

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.518436Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44b8b9fa-9e86-4f00-bbd4-aad56239fb2d · outbound

This paper cites In: TACAS (2002).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: TACAS (2002)

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.522499Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c50d8b3-7eaf-49bf-8c0d-a8d5d9fd1c8b · outbound

This paper cites In: RV (2020).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2020)

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.527014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b6f709c-e957-466c-a674-c92051364f43 · outbound

This paper cites HOWARD-6042(2014).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation HOWARD-6042(2014)

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.530854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccdfc578-5783-4297-b345-65f9aeb9b25c · outbound

This paper cites In: RV (2014).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2014)

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.534863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f788dcd4-2378-4053-8b82-b5a6d0774965 · outbound

This paper cites John Wiley & Sons (2013).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation John Wiley & Sons (2013)

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.538926Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f49e262d-d22f-4471-81ec-89236553ce1e · outbound

This paper cites IJSTTT24(3) (2022).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation IJSTTT24(3) (2022)

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.542909Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcb970aa-939a-4cca-b46b-1418a1efd0e2 · outbound

This paper cites In: A Beginners Guide to Python 3 Programming.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: A Beginners Guide to Python 3 Programming

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.546751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87e4b859-d8d0-452e-940e-7b3f57b4e102 · outbound

This paper cites In: PLAS (2012).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: PLAS (2012)

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.550679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 651c9ebe-369a-44b6-b9bd-f240f662f002 · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.554690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdfe5852-96ae-49e1-a5a4-18ee8fa2ad3f · outbound

This paper cites In: APSEC (2018).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: APSEC (2018)

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.559362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9816051-8ea0-44ae-b7d9-572eeed265b7 · outbound

This paper cites In: ASE Demo (2020).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: ASE Demo (2020)

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.563851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8fdf1f3-d7f7-4f73-b9ac-2a0f9582bff5 · outbound

This paper cites In: PLDI (2011).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: PLDI (2011)

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-15T16:21:42.569672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5451b9e1-86fc-4277-a50f-7bc087fc1e57 · outbound

This paper cites In: ICSE Demo (2012).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: ICSE Demo (2012)

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:21:43.753678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7223cf60-f827-47d7-8d06-4675d5da5066 · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 95

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:21:43.743674Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7bdb15ef-1246-492a-a617-7bd84d6abd2c · outbound

This paper cites In: RV (2004).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: RV (2004)

Reference 96

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:21:43.733140Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2c918f98-0478-442c-913e-3344a253a673 · outbound

This paper cites Comprehensive Psychology3, 11–IT (2014).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Comprehensive Psychology3, 11–IT (2014)

Reference 97

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:21:43.723893Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 007bd010-ae73-4fd7-98b8-dd7170770727 · outbound

This paper cites In: ECOOP (2001).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: ECOOP (2001)

Reference 98

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:21:43.713843Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7c2f95c1-2432-498f-a01c-edc32553f014 · outbound

This paper cites In: ECRTS (1999).

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation In: ECRTS (1999)

Reference 99

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:21:43.704858Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d4c75ab1-3ede-4d39-835d-9aa4a3c237a0 · outbound

This paper cites an unresolved cited work.

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation Unresolved cited work

Reference 100

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:21:43.695511Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers