Paper Citation Record · LEDGER

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics

As of 13 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2411.14367.

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

pith.paper-citation-record.v1
2411.14367 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:18:11.796966Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

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

31 of 31 outbound references displayed

verified exact12
verified fuzzy3
unresolved12
parse uncertain0
malformed identifier4
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7d5334de-084b-4cd5-a6f4-c7f352102edf · outbound

This paper cites https://rsl.ethz.ch/ research/challenges-competitions/mbzirc2020.html.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics https://rsl.ethz.ch/ research/challenges-competitions/mbzirc2020.html

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:18:12.971518Z

Source-reported events for the cited work

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

Observation 19484a49-e5bd-4143-b210-f818a3c40375 · outbound

This paper cites https://www.ros.org/.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics https://www.ros.org/

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:18:12.945982Z

Source-reported events for the cited work

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

Observation f6a4a69a-7110-4f1d-9207-c0ea94514bff · outbound

This paper cites an unresolved cited work.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T15:18:11.623127Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ccbb19a-d995-4422-9fbb-e32a70adf64d · outbound

This paper cites In Davide Brugali, Jan F.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics In Davide Brugali, Jan F

Reference 4

Resolution: verified exact; doi, observed 2026-08-12T15:18:12.114520Z

Source-reported events for the cited work

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

Observation 5b167a98-efe4-415b-90eb-ebfe28010e96 · outbound

This paper cites an unresolved cited work.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T15:18:11.633888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc8a1182-3705-4055-89ee-c577ca4846bf · outbound

This paper cites In Michael J.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics In Michael J

Reference 6

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T15:18:12.926433Z

Source-reported events for the cited work

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

Observation 20643e3a-e442-45a9-9481-9bc905248ac6 · outbound

This paper cites In Erika Ábrahám, Clemens Dubslaff & Silvia Lizeth Tapia Tarifa, editors: Proc.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics In Erika Ábrahám, Clemens Dubslaff & Silvia Lizeth Tapia Tarifa, editors: Proc

Reference 7

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T15:18:12.898151Z

Source-reported events for the cited work

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

Observation f48514b2-0f35-43f9-af56-5c3217b630da · outbound

This paper cites In: Proc.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics In: Proc

Reference 8

Resolution: verified exact; raw_fallback, observed 2026-08-12T15:18:12.603107Z

Source-reported events for the cited work

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

Observation e7de6688-e105-4e82-880e-135aa422b2d5 · outbound

This paper cites an unresolved cited work.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Unresolved cited work

Reference 9

Resolution: verified exact; doi, observed 2026-08-12T15:18:12.096543Z

Source-reported events for the cited work

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

Observation 9ea562ad-5c5b-4190-9329-bfb94b5b73f4 · outbound

This paper cites In Nicolas Halbwachs & Lenore D.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics In Nicolas Halbwachs & Lenore D

Reference 10

Resolution: verified exact; doi, observed 2026-08-12T15:18:12.076970Z

Source-reported events for the cited work

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

Observation 61cf891b-f94c-449c-b615-f935a1ca5993 · outbound

This paper cites Clarke, Orna Grumberg & Doron A.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Clarke, Orna Grumberg & Doron A

Reference 11

Resolution: verified exact; doi, observed 2026-08-12T15:18:12.058697Z

Source-reported events for the cited work

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

Observation b31f0b48-c076-4c7a-8666-48729badd6a5 · outbound

This paper cites Sipma, Sandeep Mehrotra & Zohar Manna (2005): LOLA: Runtime Monitoring of Synchronous Systems.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Sipma, Sandeep Mehrotra & Zohar Manna (2005): LOLA: Runtime Monitoring of Synchronous Systems

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T15:18:11.676295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6fafa8f-fd2d-48c6-8c1e-77d1f6e39f40 · outbound

This paper cites In Fumiya Iida, Perla Maiolino, Arsen Abdulali & Mingfeng Wang, editors: Proc.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics In Fumiya Iida, Perla Maiolino, Arsen Abdulali & Mingfeng Wang, editors: Proc

Reference 13

Resolution: verified exact; doi, observed 2026-08-12T15:18:12.019990Z

Source-reported events for the cited work

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

Observation 97f9a7a5-6401-40cc-9c81-99cf25c125fe · outbound

This paper cites Seshia (2017): Combining Model Checking and Runtime Veri- fication for Safe Robotics.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Seshia (2017): Combining Model Checking and Runtime Veri- fication for Safe Robotics

Reference 14

Resolution: verified exact; doi, observed 2026-08-12T15:18:12.000671Z

Source-reported events for the cited work

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

Observation 52a3b373-4f07-4c2b-a123-1c1427d5ab0c · outbound

This paper cites Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini & Viviana Mas- cardi (2020): ROSMonitoring: A Runtime Verification Framework for ROS.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini & Viviana Mas- cardi (2020): ROSMonitoring: A Runtime Verification Framework for ROS

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T15:18:11.693565Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a630204f-0096-4601-9374-018134c774e9 · outbound

This paper cites an unresolved cited work.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Unresolved cited work

Reference 16

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T15:18:12.875259Z

Source-reported events for the cited work

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

Observation 296128d7-7d4a-4394-abac-091e85132a6a · outbound

This paper cites an unresolved cited work.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:18:12.853803Z

Source-reported events for the cited work

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

Observation 8dbe472e-2694-45b2-b849-3f462a8d551e · outbound

This paper cites In: Proc.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics In: Proc

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T15:18:11.722431Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 567b0220-0554-4b90-bae1-b93915c846dd · outbound

This paper cites Moore, Qingzhou Luo, Aravind Sundaresan & Grigore Rosu (2014): ROSRV: Runtime Verification for Robots.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Moore, Qingzhou Luo, Aravind Sundaresan & Grigore Rosu (2014): ROSRV: Runtime Verification for Robots

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T15:18:11.728437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64bc2e19-9be8-44d3-aa13-3c829464b475 · outbound

This paper cites www.isp.uni-luebeck.de/lamaconv.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics www.isp.uni-luebeck.de/lamaconv

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:18:12.826910Z

Source-reported events for the cited work

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

Observation a01b1afc-71bd-4a69-bece-4adc572d17d4 · outbound

This paper cites an unresolved cited work.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Unresolved cited work

Reference 21

Resolution: verified exact; doi, observed 2026-08-12T15:18:11.948477Z

Source-reported events for the cited work

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

Observation 340d62be-3a18-415e-bcba-47a29ba1a1b0 · outbound

This paper cites Real Time Syst.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Real Time Syst

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T15:18:11.746788Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0582490-4141-468a-8ec3-13bfafabdd1d · outbound

This paper cites an unresolved cited work.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T15:18:11.751743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9f04976-f517-4437-b5bc-0cb9187e7426 · outbound

This paper cites an unresolved cited work.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T15:18:11.757220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9413e38-ca44-4a60-a00e-06b58305e4e6 · outbound

This paper cites In Dang Van Hung & Oleg Sokolsky, editors: Proc.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics In Dang Van Hung & Oleg Sokolsky, editors: Proc

Reference 25

Resolution: verified exact; doi, observed 2026-08-12T15:18:11.898513Z

Source-reported events for the cited work

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

Observation 80a2d165-ed5c-4d57-923c-d3fcee4975f7 · outbound

This paper cites Technical Report, doi:10.13140/RG.2.2.35163.80163.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Technical Report, doi:10.13140/RG.2.2.35163.80163

Reference 26

Resolution: verified exact; raw_fallback, observed 2026-08-12T15:18:12.446434Z

Source-reported events for the cited work

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

Observation 2dfa4549-8038-4df7-8398-b48f755e327e · outbound

This paper cites Martin (2022): Mon- itoring ROS2: from Requirements to Autonomous Robots.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Martin (2022): Mon- itoring ROS2: from Requirements to Autonomous Robots

Reference 27

Resolution: verified exact; doi, observed 2026-08-12T15:18:11.879267Z

Source-reported events for the cited work

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

Observation b5b4ed06-f256-4ec4-9bb0-061116632a30 · outbound

This paper cites In: Proc.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics In: Proc

Reference 28

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:18:11.778320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90a8ddef-9449-41c8-99a6-2ca15ac0b87a · outbound

This paper cites Basin & Dmitriy Traytel (2020): Multi-head Monitoring of Metric Dynamic Logic.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Basin & Dmitriy Traytel (2020): Multi-head Monitoring of Metric Dynamic Logic

Reference 29

Resolution: verified exact; doi, observed 2026-08-12T15:18:11.846152Z

Source-reported events for the cited work

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

Observation c59e4852-bfc0-4bda-8011-a42f39f0d6e7 · outbound

This paper cites In: Proc.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics In: Proc

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T15:18:11.790688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 567e54ee-7f6e-47e2-a8d2-bc8abf01b123 · outbound

This paper cites Prasad Sistla & Edmund M.

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Prasad Sistla & Edmund M

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T15:18:11.796966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.