{"as_of":"2026-08-21T03:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:151fc9906f551940b3ee3152f4a588acad86e560afa62fd52deb345e263857d6","coverage":[{"denominator":55,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":55,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T10:25:31.570872Z","state":"measured"},{"denominator":55,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":55,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.11179/citation-record","integrity":"/paper/1908.11179/integrity","json":"/paper/1908.11179/citation-record.json","paper":"/paper/1908.11179"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.259594Z","title":"IEEE Transactions on Software Engineering (in print) (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.259594Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:783940fb7a8aa665211c018754e5a1df3ee0badc606cc4de1866b62f064953b1","observation_id":"8e99cf0c-f84e-4799-a63f-40676248b746","resolution":{"observed_at":"2026-08-14T10:25:31.259594Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-02161-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"Springer-Verlag, Berlin, Heidelberg, Chapter Software Engineering for Self-Adaptive Systems: A Research Roadmap, 1–26","venue":"Lecture notes in computer science","work_id":"a3ef3e53-fc9f-440c-b4ac-6a67fa7bea39","year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.294401Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:17ca9c84805422cd8c469e91f69618694f8b30607fccc172c6f0aa26da20cf36","observation_id":"8ad47681-3c87-4be2-81dc-f3b45587b572","resolution":{"observed_at":"2026-08-14T10:25:31.988142Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:33.916917Z","title":"IEEE Communications Magazine 52, 12 (2014), 36–41","venue":null,"work_id":"b4f44928-0727-40f2-80f9-9130b9d94c98","year":2014},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.330049Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:a3abdeee0d76037a33d2f1a7c21a8b5842cebb7d6c035fd1f00597153da1a6f0","observation_id":"c2d72304-3658-4317-93e9-2de0dda226c7","resolution":{"observed_at":"2026-08-14T10:25:33.922959Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.342533Z","title":"In19th Symposium and the 13th European Conference on Foundations of Software Engineering","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.342533Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:592aefb41f50200334e2414be9081070ecf7ea88852f63babf68ac39b292b04c","observation_id":"b63a2bdc-4fd1-42bd-b4b0-92b76df2b4c6","resolution":{"observed_at":"2026-08-14T10:25:31.342533Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.348957Z","title":"In 36th International Conference on Software Engineering","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.348957Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:1f2eb57b64535c06146bf209cb09cbdb7b8e3a52fd2425d1d971daa8a196c423","observation_id":"00d69f54-6d22-49a0-8f7c-45309afcd009","resolution":{"observed_at":"2026-08-14T10:25:31.348957Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.354939Z","title":"IEEE Transactions on Software Engineering 42, 1 (2016), 75–99","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.354939Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:69d9b696a565ede04809ac74f062b370baebf7ed27540383031c7fa2b8d2c846","observation_id":"8877ecec-ee4f-4c40-9ec1-bff719814746","resolution":{"observed_at":"2026-08-14T10:25:31.354939Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.361267Z","title":"ACM Transactions on Autonomous and Adaptive Systems 10, 3 (2015), 15:1–15:31","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.361267Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:c86edb773489a88ec1bcfaa4c34eb95294030a8dd4349791b8d3c644ec772810","observation_id":"6864e12c-69e2-4c8a-a17f-f558e0dfc178","resolution":{"observed_at":"2026-08-14T10:25:31.361267Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/seams.2017.21","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.798316Z","title":"InSoftware Engineering for Adaptive and Self-Managing Systems","venue":null,"work_id":"bd770e3b-a7f1-4e37-9cbe-b460f26d38ee","year":2017},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.378543Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:cb2dceaed83771da1a3ce6b81c9ba3056ee895e37e5d8c3625e65ae0bd699d03","observation_id":"3997ea02-385d-46ab-b368-f3bbc63effaf","resolution":{"observed_at":"2026-08-14T10:25:31.804026Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.383861Z","title":"In Software Engineering for Adaptive and Self-Managing Systems","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.383861Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:8c9b8e81ba53441c41bae2ac2e6c71f96db6ac50a915ff1fb9d7e0aaee525d90","observation_id":"53cf5f90-fd5f-466c-9bbf-8f62957667d0","resolution":{"observed_at":"2026-08-14T10:25:31.383861Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/fose.2007.19","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.737767Z","title":"InFuture of Software Engineering","venue":null,"work_id":"450212bd-de5b-4852-b54e-b2aff16f15ad","year":2007},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.407426Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:2d652a2931e20fcc147d7bc1904df4c9db1b34c80ad305b8cea7db5b094fef77","observation_id":"e2ea766a-a3f4-485e-8a7c-a7715a7d19a9","resolution":{"observed_at":"2026-08-14T10:25:31.746912Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.413490Z","title":"DOI:http://dx.doi.org/10.1007/s100090050010 A","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.413490Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:3ad960e172f1184edfb3b469d63c285aadb334a79af02b58615e6324320ac0ec","observation_id":"71b2c883-f195-46bd-806c-16a6bd5430ef","resolution":{"observed_at":"2026-08-14T10:25:31.413490Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.425845Z","title":"In Foundations of Software Engineering","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.425845Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:7166b806882f1298d3175dcec3ad5c5fdccad63bd2f52cbfe02eb80cdab17c49","observation_id":"06ed75d5-7dbf-48b9-b897-db4c39bdff45","resolution":{"observed_at":"2026-08-14T10:25:31.425845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7053.28970","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:33.014169Z","title":"InSoftware Engineering for Adaptive and Self-Managing Systems","venue":null,"work_id":"67166114-75b3-4236-a6bd-a05ff8d7cd0c","year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.431745Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:18dfad6ba850ecbb0753cbf02265a92c7632bfa4d246d650db35abc6273c7641","observation_id":"6a8c5ce2-3613-4ce1-b845-748d829e85e6","resolution":{"observed_at":"2026-08-14T10:25:33.022712Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2017.80755","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:32.921382Z","title":"InInternational Conference on Advanced Technologies for Signal and Image Processing","venue":null,"work_id":"e96583bd-f67a-49af-bce6-e6a56ef55f6a","year":2017},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.438021Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:5b6015887e3f831bb3c40e0124cc41afc2b1ffea1588d1ff3c40a907dab87c87","observation_id":"663446d3-b4fb-4ddd-a87f-f8204e829c73","resolution":{"observed_at":"2026-08-14T10:25:32.931894Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8088.25680","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:32.747496Z","title":"In 5th ACM/SPEC International Conference on Performance Engineering","venue":null,"work_id":"f460584d-0df7-4adf-b8fc-2397ced06616","year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.449519Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:e8b145ddf5eb39b9314236b6a851f639d95fac7bde5ce7ac3e50d59200893289","observation_id":"9fc7eb42-6d2d-4ba2-8e8f-faf4c8f73fa9","resolution":{"observed_at":"2026-08-14T10:25:32.757856Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:33.894112Z","title":"ACM Transactions on Autonomous and Adaptive Systems 4, 2 (2009), 14:1–14:42","venue":null,"work_id":"ee0b4c99-597a-44ad-92ee-148204d8008d","year":2009},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.455860Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:f442e48a2dff21a143783838e4b96e8ede5d336f7fc3c9f7f3902eea18a3aa4a","observation_id":"a602edcd-9333-4216-8be5-85ee35038b92","resolution":{"observed_at":"2026-08-14T10:25:33.902077Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:33.869846Z","title":"In 2010 18th IEEE International Requirements Engineering Conference","venue":null,"work_id":"f0803ba3-0405-4fe7-88a0-08941b8a246c","year":2010},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.461206Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:14c2f6bd97832a695046647fb11d959ffa3737a68633c67e8125aabfe412f386","observation_id":"d9f839f4-17f5-4566-bc40-7c37df05dd26","resolution":{"observed_at":"2026-08-14T10:25:33.877266Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.467137Z","title":"IEEE Transactions on Software Engineering (in print) (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.467137Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:8f4a4918c311e6572406a9a37f93cc64a8fa6e3275b8b8e52e326a6ba1b18db8","observation_id":"a1fc7391-9ac2-426d-8ccc-c94192f60419","resolution":{"observed_at":"2026-08-14T10:25:31.467137Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4337.28043","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:32.606015Z","title":"In International Workshop on Control Theory for Software Engineering","venue":null,"work_id":"aed00305-e811-4ff5-87cf-3c47233aa43e","year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.474858Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:0806fa615170ba0c2c180b9995d3ffd1e2c8f193de7b9cefb640cd47648d30bf","observation_id":"ecd664ca-fca6-4bdf-8ad2-a814a96bfec6","resolution":{"observed_at":"2026-08-14T10:25:32.614877Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/icse.2017.51","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.657646Z","title":"In 39th International Conference on Software Engineering","venue":null,"work_id":"40fdf373-e0c5-4ffe-b74c-60a9362e5318","year":2017},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.493382Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:e4d1240595794525662949d12ffff5c8f2a3a9d46f96103bdc22dc11160f1e49","observation_id":"3c6779bc-a409-4fe1-8ff4-b98587dc07ba","resolution":{"observed_at":"2026-08-14T10:25:31.663931Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.499463Z","title":"IEEE Transactions on Software Engineering 42, 7 (July 2016), 623–639","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.499463Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:4ea79603735507b3606b74137e3428d58dfb88b4bc4ea0fee59da594486d16d3","observation_id":"c61c57a1-17e8-49f5-b4e5-cf8e2544da3b","resolution":{"observed_at":"2026-08-14T10:25:31.499463Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6209.18062","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:32.461305Z","title":"In Formal Methods and Testing, R","venue":null,"work_id":"d5143c1b-54e5-4b18-9588-242c9d250e87","year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.504457Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:ef4386eeaa8146e87dca0811a57d28b427e3c0e9b904fdfcb38a99215497935c","observation_id":"b5fca859-5637-4dca-8966-2f1229b8e622","resolution":{"observed_at":"2026-08-14T10:25:32.470334Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:33.845191Z","title":"In Software Engineering for Adaptive and Self-Managing Systems","venue":null,"work_id":"268aa87f-4f0f-49ee-84c1-fe82a12c94a2","year":2007},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.509727Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:9aa8c633d96c87d82aae7620680be8cc1a530f298f5c56a37d00a3f5af24f604","observation_id":"28236950-af7c-4286-8e65-2a4b82d93466","resolution":{"observed_at":"2026-08-14T10:25:33.850989Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2555612","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.637422Z","title":"ACM Transactions on Autonomous and Adaptive Systems (TAAS) 8, 4 (2014), 18:1–18:33","venue":null,"work_id":"f1b519fe-6dd4-488d-ba56-694a1f125851","year":2014},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.516114Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:d2de2aef728a7d2edcf54c4f675812f3f50bf557eff6d47ead4d2f581552b0ff","observation_id":"92a13dff-ef3b-4a4f-b678-b1d6d753e8a6","resolution":{"observed_at":"2026-08-14T10:25:31.644800Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1357.28213","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:32.389794Z","title":"InSoftware Engineering for Adaptive and Self-Managing Systems","venue":null,"work_id":"a0836b14-4c3d-417a-9d7d-397cd3083629","year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.529721Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:a049044465a8ecec8122401217049103506a84140e2c2c42ed25fe4699d392c2","observation_id":"9dba90a1-d614-4501-ba9b-1296d32dc624","resolution":{"observed_at":"2026-08-14T10:25:32.399833Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7583.23475","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:32.313652Z","title":"In Models at Runtime, International Conference on Autonomic Computing","venue":null,"work_id":"d352b3d6-e7e2-4564-9308-82cab1415bbc","year":2016},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.536159Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:7a4a29f38bda47e7bd3363e1724ad1f88e6b9cf17d5fae486cc751222c821df1","observation_id":"76b0a7d1-f442-4490-b88d-6b557479f1d3","resolution":{"observed_at":"2026-08-14T10:25:32.322343Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7336.24873","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:32.238254Z","title":"In Software Engineering for Adaptive and Self-Managing Systems","venue":null,"work_id":"fd4c8ae6-2875-4546-94ff-b8be08c79d31","year":2012},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.541874Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:f8d4b18c571a3bc6ba4c72ec129b20ecf79260a89eb796f7d50492c3e30f28ff","observation_id":"bf73d928-bbfc-4b22-989b-e99a96208ce0","resolution":{"observed_at":"2026-08-14T10:25:32.247029Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/re.2009.36","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.613200Z","title":"In 17th International Requirements Engineering Conference, RE","venue":null,"work_id":"ff1586c7-af04-4acf-8d06-5bf30b1ffc79","year":2009},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.547153Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:e5ce641e09ffdd29c282e3bb1bf259c22e0fef7f0a19f5c96d163e35d1fbc17c","observation_id":"8444e294-f092-40de-ab7e-b4dc6feae6fc","resolution":{"observed_at":"2026-08-14T10:25:31.622625Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.552360Z","title":"In28th International Conference on Software Engineering","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.552360Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:84e3ae000a7307f7cc7ab81d86e61ddde509f0048ebd1a87b693d36da4866733","observation_id":"1eff4650-dcc6-4163-bc95-28c208e2089a","resolution":{"observed_at":"2026-08-14T10:25:31.552360Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:33.807091Z","title":"2004] to create feedback loop models","venue":null,"work_id":"5d864ac1-bf87-4541-be7a-5ac54dedb089","year":2004},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.558742Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:76c9cfb1e472de8c73bb2c5d353cdfeeb6c82a41ae8a179146fd71609e21b095","observation_id":"83914953-7d03-45ab-9e68-1991b31f931d","resolution":{"observed_at":"2026-08-14T10:25:33.812176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:33.788453Z","title":"int mote2Id = 2; mote3Id = 2","venue":null,"work_id":"50727f05-bfb2-40d7-a3ae-dcfffd2e11c6","year":2011},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.564734Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:e3796e2cee68cb7840306f90c45f02942b6d863a692de03142c7c2e4c4cce35e","observation_id":"63b1535d-d29f-4464-b9d7-17b83b527e90","resolution":{"observed_at":"2026-08-14T10:25:33.794300Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:33.766768Z","title":"EnergyConsumption","venue":null,"work_id":"d4846072-94f4-4f6d-b3d5-346fa48e0aa4","year":2019},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.570872Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:c21ebb2817b7d2d6235d95ed98ee8ef026e0d2d4e3f82da6af9b72f7ecea8f78","observation_id":"c8668fcb-02e3-4712-aae9-238c15bd673f","resolution":{"observed_at":"2026-08-14T10:25:33.773853Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.420271Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.420271Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:bfc603d49ed819b48a5aacff46715eb5c73440edbafaec766acfacd72449c156","observation_id":"f585fd55-7c9d-43ed-88dc-f5810e380ce4","resolution":{"observed_at":"2026-08-14T10:25:31.420271Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.216274Z","title":"Autili, P","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":235,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.216274Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:04c8ced52aa0641152e65f3d3b03e8fcf661e7891a45841555605f79b2e87b09","observation_id":"688289b4-1290-4d60-ae27-44b6e8f74d0c","resolution":{"observed_at":"2026-08-14T10:25:31.216274Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2015.24291","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:33.671489Z","title":"Cheng and J","venue":null,"work_id":"d51e331d-f455-4c84-9871-4c11d7304404","year":2015},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":341,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.282423Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:d303defaa08193ff2aaba072c9d1088f81797a01fd471a6140d0569f52ed93a0","observation_id":"36cbec53-b923-402f-a86e-3487346b1808","resolution":{"observed_at":"2026-08-14T10:25:33.680630Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.373276Z","title":null,"venue":null,"work_id":null,"year":1963},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":1963,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.373276Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:2d1f6becfd62d55de7c135dfe49670763c7603d1897d2b64666fdb0bf299aa2e","observation_id":"bcd4abf7-52df-4c7c-bfcb-192097396c8b","resolution":{"observed_at":"2026-08-14T10:25:31.373276Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/32.60317","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.762111Z","title":"IEEE Transactions on Software Engi- neering 16, 11 (1990), 1293–1306","venue":null,"work_id":"2c371e16-38ed-49d7-bd38-be80c7c51d65","year":1990},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":1990,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.402071Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:50b157f9436946f518efb17dfbf5c16e7ed9ffe078a1848de3d77aebcdc13494","observation_id":"50ae698d-bfbb-43be-b508-ce0ed1d3318d","resolution":{"observed_at":"2026-08-14T10:25:31.767951Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:33.937370Z","title":"Theoretical Computer Science 126, 2 (1994), 183 –","venue":null,"work_id":"f7147ad8-1ab2-44b9-b798-a12affddb348","year":1994},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":1994,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.210840Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:f394348d387b907266520a418c0ebb07456ef22e1cd07061d2443b497c284bbd","observation_id":"5524ae50-2cd0-4fef-91fc-600d16948207","resolution":{"observed_at":"2026-08-14T10:25:33.942537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1018990005598","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.779903Z","title":"Annals of Software Engineering","venue":null,"work_id":"ef0e52d6-aa3b-402b-ac4f-879c3bb59403","year":1997},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":1997,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.389570Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:1592e943208a4841a02fb10f7e99020d8105123d8b0d2c82faeeb59e62009144","observation_id":"bec10305-30ee-456d-bae5-3f0791aacfcf","resolution":{"observed_at":"2026-08-14T10:25:31.785315Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2163.30218","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:32.835571Z","title":"In 20th International Conference on Software Engineering","venue":null,"work_id":"92d3350f-ae15-4f29-9d46-2a4a0b990c22","year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":1998,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.444216Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:48f65bd3ed28e5808cfe72164df54c16f51915646f8146d3f4daebe2d9ace25c","observation_id":"faf18eee-983f-4573-8be1-be734bcef5ef","resolution":{"observed_at":"2026-08-14T10:25:32.844302Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2003.11600","last_updated":"2020-03-25T19:47:30Z","snapshot_observed_at":"2026-08-06T19:44:28.339019Z","submitted_at":"2020-03-25T19:47:30Z","title":"Birefringent Graphene Oxide Liquid Crystals in Micro-channels for Optical Switch","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.11600","snapshot_observed_at":"2026-08-14T10:25:31.395812Z","title":"Computer 36, 1 (2003), 41–50","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.395812Z"},"links":{"cited_paper":"/paper/2003.11600","citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:6e4733cf2f8bdc8c72df64ed114a22fcb2794a7177033de43f974e96f5f87b66","observation_id":"c60c733e-bc6a-4f25-b991-eaef169a80a1","resolution":{"observed_at":"2026-08-14T10:25:31.395812Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.367640Z","title":"Computer 37, 10 (2004), 46–54","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2004,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.367640Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:775de275b6a3e443d681903d9dda411b1b078d879243e5d7375d5a164d3b2f2d","observation_id":"89d4a70b-e74c-461f-9bb5-ee99b9dc2cc8","resolution":{"observed_at":"2026-08-14T10:25:31.367640Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6778.11867","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:33.587243Z","title":"ACM Transactions on Autonomous and Adaptive Systems 1, 2 (2006), 223–259","venue":null,"work_id":"c0d3a598-cb10-427e-badb-99e21a1bd410","year":2006},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.323403Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:869bae0c9290d85d9e3891621014f3173bb0b140491b2d0c9448cef35c042364","observation_id":"08ed33a9-c3ed-46e6-af85-b2b374a082e3","resolution":{"observed_at":"2026-08-14T10:25:33.596773Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/fose.2007.17","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.898662Z","title":"InFuture of Software Engineering, FOSE ’07","venue":null,"work_id":"25d6c333-828a-42fe-92c0-484fe9ea68dd","year":2007},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.287957Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:c1b542c666f90e0166786d6fc2a99653d1e9ce8808b265675ab9d022214db131","observation_id":"fbc615d2-ea00-4301-9a87-d825f03ed398","resolution":{"observed_at":"2026-08-14T10:25:31.905257Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.306959Z","title":"In6th International Conference on Computational Methods in Systems Biology","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.306959Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:d06cc5ce99d0b84493c5c4040b090fbc3c71731fd21bcbee2dbd28f464a416c6","observation_id":"6bbd18d1-61b5-482c-9fde-799e966059cb","resolution":{"observed_at":"2026-08-14T10:25:31.306959Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.225209Z","title":"In18th IEEE International Requirements Engineering Conference","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.225209Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:e191c2d19ec10353850e12d046f4fe6e0f1dc5397705923b2381be0e326c8865","observation_id":"271796a8-4111-451c-b750-d78105101873","resolution":{"observed_at":"2026-08-14T10:25:31.225209Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.252264Z","title":"DOI:http://dx.doi.org/10.1109/TSE.2010.92 R","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.252264Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:075fe46a701bae0e83f7e9a91d9365c2834eb86774dbf9fdd74cf266455b5127","observation_id":"6dbde577-4942-4c65-8403-a9c71e4afe73","resolution":{"observed_at":"2026-08-14T10:25:31.252264Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00450-012-0232-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-18T11:03:46.223893Z","title":"DOI:http://dx.doi.org/10.1007/s00450-012-0232-2 G","venue":"Computer Science - Research and Development","work_id":"486fefed-de83-477e-9764-f0ad78506bdb","year":2013},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.480389Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:2e217cc3952ef4b723b707a8803ffda4eeec22627115105b65bd699aac56dd54","observation_id":"408d752a-bf9f-4ec2-b6e4-58ea77f07b4d","resolution":{"observed_at":"2026-08-14T10:25:31.697079Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-08915-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"Springer, 101–136","venue":"Lecture notes in computer science","work_id":"5dda3adc-dba4-4e3c-81bd-2b53208eda88","year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.300359Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:63a0e78952dd49b92d7e68a3780a279080c1b195db7106f2c77048b5110ca890","observation_id":"88155d69-642b-4c42-915c-329b6f992811","resolution":{"observed_at":"2026-08-14T10:25:31.884793Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.313960Z","title":"International Journal on Software Tools for Technology Transfer17, 4 (2015), 397–415","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.313960Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:c7b44a6f1be0cab517d1284843fe61c2a9b6c021915dd4012f4f0b297fd6414e","observation_id":"9f4409cc-1f25-438a-98a2-3fe9d9131d42","resolution":{"observed_at":"2026-08-14T10:25:31.313960Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2774222","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.919658Z","title":"ACM Transactions on Autonomous and Adaptive Systems10, 4 (2016), 23:1–23:28","venue":null,"work_id":"d33698a9-c436-4cc9-b604-392fd509f64f","year":2016},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.273246Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:78cecd1e07aeb6bf7c528a2b9a81d6e6e95868d6b1a3745ade97cc30e7cf9fcf","observation_id":"202467d2-a987-4e48-9c23-9c0fdd1cc84d","resolution":{"observed_at":"2026-08-14T10:25:31.926034Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/seams.2017.5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.958684Z","title":"In Software Engineering for Adaptive and Self-Managing Systems","venue":null,"work_id":"6f3c0643-329e-4c8a-9b06-cbb4f429dc0c","year":2017},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.245197Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:4dc1a555bbe0af8909cbabe52c81db64e646ae385838eb273119d22c9440e5cc","observation_id":"b7900377-03a4-41ab-ba4b-ad28831e442d","resolution":{"observed_at":"2026-08-14T10:25:31.965242Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.204798Z","title":"ACM Trans","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.204798Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:e73f419580bc8912191359ac80fba08e455ac524b70bb4700206558a1e4aee54","observation_id":"a6289bf2-9345-4839-b234-30067e8a221e","resolution":{"observed_at":"2026-08-14T10:25:31.204798Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:33.823548Z","title":null,"venue":null,"work_id":"c21dac9f-6fc1-4154-b1bb-cc7f17e67040","year":2019},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.524056Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:ba95bd633228aab38619ef8142b0eb1407909e6648d736623cfd7551443061d2","observation_id":"ef34691a-ac02-4403-848f-ec841c82b097","resolution":{"observed_at":"2026-08-14T10:25:33.829087Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:25:31.487798Z","title":"DOI:http://dx.doi.org/10.1007/978-3-662-49665-7 16 G","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","version":3},"reference_index":9633,"source":"pdf_text","source_observed_at":"2026-08-14T10:25:31.487798Z"},"links":{"citing_paper":"/paper/1908.11179"},"observation_digest":"sha256:c86584df961829996e94cd62948775b51959ead53c9b7a26301e6948b9088ffc","observation_id":"5f853477-2072-4b64-9fc6-ab5be0f6384c","resolution":{"observed_at":"2026-08-14T10:25:31.487798Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"1908.11179","last_updated":"2022-03-04T21:24:18Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-14T10:20:07.923930Z","submitted_at":"2019-08-29T12:33:50Z","title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems"},"reference_resolution":{"displayed":55,"state_counts":{"malformed_identifier":0,"metadata_mismatch":11,"parse_uncertain":0,"unresolved":23,"verified_exact":13,"verified_fuzzy":8},"total_outbound_references":55},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 0 inbound Pith citation observations for arXiv:1908.11179."}