Model-based Runtime Verification Framework for Self-optimizing Systems-Reference-Cited by-同舟云学术

Model-based Runtime Verification Framework for Self-optimizing Systems

Published:2006-05 Issue:4 Volume:144 Page:125-145
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Zhao Y.,Oberthür S.,Kardos M.,Rammig F.J.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference24 articles.

1. Arkoudas, K. and M. Rinard, Deductive Runtime Certification, in: Proceedings of the 2004 Workshop on Runtime Verification (RV 2004), Barcelona, Spain, 2004

2. On-line algorithms for polynomially solvable satisfiability problems;Ausiello;J. Log. Program.,1991

3. Barnett, M. and W. Schulte, Spying on components: A runtime verification technique, in: G.T. Leavens, M. Sitaraman and D. Giannakopoulou, editors, Workshop on Specification and Verification of Component-Based Systems, 2001

4. Abstract State Machines: A Method for High-Level System Design and Analysis;Börger,2003

5. Chen, F. and G. Rosu, Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation, in: Proceedings of the 2003 Workshop on Runtime Verification (RV 2003), Boulder, Colorado, USA, 2003

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives;Prolog: The Next 50 Years;2023

2. Assumption-based Runtime Verification;Formal Methods in System Design;2022-04

3. Assumption-Based Runtime Verification with Partial Observability and Resets;Runtime Verification;2019

4. Self-adaptive automata;Proceedings of the 6th Conference on Formal Methods in Software Engineering;2018-06-02

5. Framework for Dynamic Web Services Composition Guided by Live Testing;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2017-10-20