Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T10:25:31.570872Z
Paper Citation Record · LEDGER
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
55 of 55 outbound references displayed
- verified exact13
- verified fuzzy8
- unresolved23
- parse uncertain0
- malformed identifier0
- metadata mismatch11
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 8e99cf0c-f84e-4799-a63f-40676248b746 · outbound
This paper cites IEEE Transactions on Software Engineering (in print) (2018).
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems IEEE Transactions on Software Engineering (in print) (2018)
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.259594Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8ad47681-3c87-4be2-81dc-f3b45587b572 · outbound
This paper cites Springer-Verlag, Berlin, Heidelberg, Chapter Software Engineering for Self-Adaptive Systems: A Research Roadmap, 1–26.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems Springer-Verlag, Berlin, Heidelberg, Chapter Software Engineering for Self-Adaptive Systems: A Research Roadmap, 1–26
Reference 13
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.988142Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c2d72304-3658-4317-93e9-2de0dda226c7 · outbound
This paper cites IEEE Communications Magazine 52, 12 (2014), 36–41.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems IEEE Communications Magazine 52, 12 (2014), 36–41
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:25:33.922959Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b63a2bdc-4fd1-42bd-b4b0-92b76df2b4c6 · outbound
This paper cites In19th Symposium and the 13th European Conference on Foundations of Software Engineering.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In19th Symposium and the 13th European Conference on Foundations of Software Engineering
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.342533Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 00d69f54-6d22-49a0-8f7c-45309afcd009 · outbound
This paper cites In 36th International Conference on Software Engineering.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In 36th International Conference on Software Engineering
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.348957Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8877ecec-ee4f-4c40-9ec1-bff719814746 · outbound
This paper cites IEEE Transactions on Software Engineering 42, 1 (2016), 75–99.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems IEEE Transactions on Software Engineering 42, 1 (2016), 75–99
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.354939Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6864e12c-69e2-4c8a-a17f-f558e0dfc178 · outbound
This paper cites ACM Transactions on Autonomous and Adaptive Systems 10, 3 (2015), 15:1–15:31.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems ACM Transactions on Autonomous and Adaptive Systems 10, 3 (2015), 15:1–15:31
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.361267Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3997ea02-385d-46ab-b368-f3bbc63effaf · outbound
This paper cites InSoftware Engineering for Adaptive and Self-Managing Systems.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems InSoftware Engineering for Adaptive and Self-Managing Systems
Reference 25
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.804026Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 53cf5f90-fd5f-466c-9bbf-8f62957667d0 · outbound
This paper cites In Software Engineering for Adaptive and Self-Managing Systems.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In Software Engineering for Adaptive and Self-Managing Systems
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.383861Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e2ea766a-a3f4-485e-8a7c-a7715a7d19a9 · outbound
This paper cites InFuture of Software Engineering.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems InFuture of Software Engineering
Reference 30
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.746912Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 71b2c883-f195-46bd-806c-16a6bd5430ef · outbound
This paper cites DOI:http://dx.doi.org/10.1007/s100090050010 A.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems DOI:http://dx.doi.org/10.1007/s100090050010 A
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.413490Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 06ed75d5-7dbf-48b9-b897-db4c39bdff45 · outbound
This paper cites In Foundations of Software Engineering.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In Foundations of Software Engineering
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.425845Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6a8c5ce2-3613-4ce1-b845-748d829e85e6 · outbound
This paper cites InSoftware Engineering for Adaptive and Self-Managing Systems.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems InSoftware Engineering for Adaptive and Self-Managing Systems
Reference 34
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:25:33.022712Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 663446d3-b4fb-4ddd-a87f-f8204e829c73 · outbound
This paper cites InInternational Conference on Advanced Technologies for Signal and Image Processing.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems InInternational Conference on Advanced Technologies for Signal and Image Processing
Reference 35
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:25:32.931894Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 9fc7eb42-6d2d-4ba2-8e8f-faf4c8f73fa9 · outbound
This paper cites In 5th ACM/SPEC International Conference on Performance Engineering.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In 5th ACM/SPEC International Conference on Performance Engineering
Reference 37
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:25:32.757856Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a602edcd-9333-4216-8be5-85ee35038b92 · outbound
This paper cites ACM Transactions on Autonomous and Adaptive Systems 4, 2 (2009), 14:1–14:42.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems ACM Transactions on Autonomous and Adaptive Systems 4, 2 (2009), 14:1–14:42
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:25:33.902077Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation d9f839f4-17f5-4566-bc40-7c37df05dd26 · outbound
This paper cites In 2010 18th IEEE International Requirements Engineering Conference.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In 2010 18th IEEE International Requirements Engineering Conference
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:25:33.877266Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a1fc7391-9ac2-426d-8ccc-c94192f60419 · outbound
This paper cites IEEE Transactions on Software Engineering (in print) (2017).
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems IEEE Transactions on Software Engineering (in print) (2017)
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.467137Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ecd664ca-fca6-4bdf-8ad2-a814a96bfec6 · outbound
This paper cites In International Workshop on Control Theory for Software Engineering.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In International Workshop on Control Theory for Software Engineering
Reference 41
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:25:32.614877Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3c6779bc-a409-4fe1-8ff4-b98587dc07ba · outbound
This paper cites In 39th International Conference on Software Engineering.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In 39th International Conference on Software Engineering
Reference 44
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.663931Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c61c57a1-17e8-49f5-b4e5-cf8e2544da3b · outbound
This paper cites IEEE Transactions on Software Engineering 42, 7 (July 2016), 623–639.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems IEEE Transactions on Software Engineering 42, 7 (July 2016), 623–639
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.499463Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b5fca859-5637-4dca-8966-2f1229b8e622 · outbound
This paper cites In Formal Methods and Testing, R.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In Formal Methods and Testing, R
Reference 46
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:25:32.470334Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 28236950-af7c-4286-8e65-2a4b82d93466 · outbound
This paper cites In Software Engineering for Adaptive and Self-Managing Systems.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In Software Engineering for Adaptive and Self-Managing Systems
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:25:33.850989Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 92a13dff-ef3b-4a4f-b678-b1d6d753e8a6 · outbound
This paper cites ACM Transactions on Autonomous and Adaptive Systems (TAAS) 8, 4 (2014), 18:1–18:33.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems ACM Transactions on Autonomous and Adaptive Systems (TAAS) 8, 4 (2014), 18:1–18:33
Reference 48
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.644800Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 9dba90a1-d614-4501-ba9b-1296d32dc624 · outbound
This paper cites InSoftware Engineering for Adaptive and Self-Managing Systems.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems InSoftware Engineering for Adaptive and Self-Managing Systems
Reference 50
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:25:32.399833Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 76b0a7d1-f442-4490-b88d-6b557479f1d3 · outbound
This paper cites In Models at Runtime, International Conference on Autonomic Computing.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In Models at Runtime, International Conference on Autonomic Computing
Reference 51
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:25:32.322343Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bf73d928-bbfc-4b22-989b-e99a96208ce0 · outbound
This paper cites In Software Engineering for Adaptive and Self-Managing Systems.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In Software Engineering for Adaptive and Self-Managing Systems
Reference 52
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:25:32.247029Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 8444e294-f092-40de-ab7e-b4dc6feae6fc · outbound
This paper cites In 17th International Requirements Engineering Conference, RE.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In 17th International Requirements Engineering Conference, RE
Reference 53
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.622625Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1eff4650-dcc6-4163-bc95-28c208e2089a · outbound
This paper cites In28th International Conference on Software Engineering.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In28th International Conference on Software Engineering
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.552360Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 83914953-7d03-45ab-9e68-1991b31f931d · outbound
This paper cites 2004] to create feedback loop models.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems 2004] to create feedback loop models
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:25:33.812176Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 63b1535d-d29f-4464-b9d7-17b83b527e90 · outbound
This paper cites int mote2Id = 2; mote3Id = 2.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems int mote2Id = 2; mote3Id = 2
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:25:33.794300Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c8668fcb-02e3-4712-aae9-238c15bd673f · outbound
This paper cites EnergyConsumption.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems EnergyConsumption
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:25:33.773853Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation f585fd55-7c9d-43ed-88dc-f5810e380ce4 · outbound
This paper cites an unresolved cited work.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems Unresolved cited work
Reference 77
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.420271Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 688289b4-1290-4d60-ae27-44b6e8f74d0c · outbound
This paper cites Autili, P.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems Autili, P
Reference 235
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.216274Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 36cbec53-b923-402f-a86e-3487346b1808 · outbound
This paper cites Cheng and J.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems Cheng and J
Reference 341
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:25:33.680630Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bcd4abf7-52df-4c7c-bfcb-192097396c8b · outbound
This paper cites an unresolved cited work.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems Unresolved cited work
Reference 1963
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.373276Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 50ae698d-bfbb-43be-b508-ce0ed1d3318d · outbound
This paper cites IEEE Transactions on Software Engi- neering 16, 11 (1990), 1293–1306.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems IEEE Transactions on Software Engi- neering 16, 11 (1990), 1293–1306
Reference 1990
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.767951Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 5524ae50-2cd0-4fef-91fc-600d16948207 · outbound
This paper cites Theoretical Computer Science 126, 2 (1994), 183 –.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems Theoretical Computer Science 126, 2 (1994), 183 –
Reference 1994
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:25:33.942537Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bec10305-30ee-456d-bae5-3f0791aacfcf · outbound
This paper cites Annals of Software Engineering.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems Annals of Software Engineering
Reference 1997
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.785315Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation faf18eee-983f-4573-8be1-be734bcef5ef · outbound
This paper cites In 20th International Conference on Software Engineering.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In 20th International Conference on Software Engineering
Reference 1998
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:25:32.844302Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c60c733e-bc6a-4f25-b991-eaef169a80a1 · outbound
This paper cites Birefringent Graphene Oxide Liquid Crystals in Micro-channels for Optical Switch.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems Birefringent Graphene Oxide Liquid Crystals in Micro-channels for Optical Switch
Reference 2003
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.395812Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 89d4a70b-e74c-461f-9bb5-ee99b9dc2cc8 · outbound
This paper cites Computer 37, 10 (2004), 46–54.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems Computer 37, 10 (2004), 46–54
Reference 2004
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.367640Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 08ed33a9-c3ed-46e6-af85-b2b374a082e3 · outbound
This paper cites ACM Transactions on Autonomous and Adaptive Systems 1, 2 (2006), 223–259.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems ACM Transactions on Autonomous and Adaptive Systems 1, 2 (2006), 223–259
Reference 2006
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:25:33.596773Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fbc615d2-ea00-4301-9a87-d825f03ed398 · outbound
This paper cites InFuture of Software Engineering, FOSE ’07.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems InFuture of Software Engineering, FOSE ’07
Reference 2007
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.905257Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6bbd18d1-61b5-482c-9fde-799e966059cb · outbound
This paper cites In6th International Conference on Computational Methods in Systems Biology.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In6th International Conference on Computational Methods in Systems Biology
Reference 2008
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.306959Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 271796a8-4111-451c-b750-d78105101873 · outbound
This paper cites In18th IEEE International Requirements Engineering Conference.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In18th IEEE International Requirements Engineering Conference
Reference 2010
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.225209Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6dbde577-4942-4c65-8403-a9c71e4afe73 · outbound
This paper cites DOI:http://dx.doi.org/10.1109/TSE.2010.92 R.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems DOI:http://dx.doi.org/10.1109/TSE.2010.92 R
Reference 2011
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.252264Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 408d752a-bf9f-4ec2-b6e4-58ea77f07b4d · outbound
This paper cites DOI:http://dx.doi.org/10.1007/s00450-012-0232-2 G.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems DOI:http://dx.doi.org/10.1007/s00450-012-0232-2 G
Reference 2013
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.697079Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 88155d69-642b-4c42-915c-329b6f992811 · outbound
This paper cites Springer, 101–136.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems Springer, 101–136
Reference 2014
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.884793Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 9f4409cc-1f25-438a-98a2-3fe9d9131d42 · outbound
This paper cites International Journal on Software Tools for Technology Transfer17, 4 (2015), 397–415.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems International Journal on Software Tools for Technology Transfer17, 4 (2015), 397–415
Reference 2015
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.313960Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 202467d2-a987-4e48-9c23-9c0fdd1cc84d · outbound
This paper cites ACM Transactions on Autonomous and Adaptive Systems10, 4 (2016), 23:1–23:28.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems ACM Transactions on Autonomous and Adaptive Systems10, 4 (2016), 23:1–23:28
Reference 2016
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.926034Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b7900377-03a4-41ab-ba4b-ad28831e442d · outbound
This paper cites In Software Engineering for Adaptive and Self-Managing Systems.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems In Software Engineering for Adaptive and Self-Managing Systems
Reference 2017
- Resolution
- verified exact
- doi, observed 2026-08-14T10:25:31.965242Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a6289bf2-9345-4839-b234-30067e8a221e · outbound
This paper cites ACM Trans.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems ACM Trans
Reference 2018
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.204798Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ef34691a-ac02-4403-848f-ec841c82b097 · outbound
This paper cites an unresolved cited work.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems Unresolved cited work
Reference 2019
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T10:25:33.829087Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 5f853477-2072-4b64-9fc6-ab5be0f6384c · outbound
This paper cites DOI:http://dx.doi.org/10.1007/978-3-662-49665-7 16 G.
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems DOI:http://dx.doi.org/10.1007/978-3-662-49665-7 16 G
Reference 9633
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:25:31.487798Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.