From software verification to ‘everyware’ verification-Reference-Cited by-同舟云学术

From software verification to ‘everyware’ verification

Published:2013-09-07 Issue:4 Volume:28 Page:295-310
ISSN:1865-2034
Container-title:Computer Science - Research and Development
language:en
Short-container-title:Comput Sci Res Dev

Author:

Kwiatkowska Marta

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s00450-013-0249-1.pdf

Reference104 articles.

1. Aldini A, Bogliolo A (2012) Model checking of trust-based user-centric cooperative networks. In: AFIN 2012, the fourth international conference on advances in future Internet. ISBN 978-1-61208-211-0

2. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235

3. Alur R, Henzinger T, Kupferman O (2002) Alternating-time temporal logic. J ACM 49(5):672–713

4. Lecture notes in computer science tutorial;T Amnell,2001

5. Baier C, Katoen J-P (2008) Principles of model checking. MIT Press, Cambridge

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

1. Observation-Enhanced QoS Analysis of Component-Based Systems;IEEE Transactions on Software Engineering;2020-05-01

2. Probabilistic Models Toward Controlling Smart-* Environments;IEEE Access;2017

3. On the Behavioral Drift Estimation of Ubiquitous Computing Systems in Partially Known Environments;Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services;2016-11-28

4. Quantitative Verification of Knowledge Precondition for Open System;Chinese Journal of Electronics;2016-03

5. A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking;Mathematical Problems in Engineering;2015