On the consistency, expressiveness, and precision of partial modeling formalisms-Reference-Cited by-同舟云学术

On the consistency, expressiveness, and precision of partial modeling formalisms

Published:2011-01 Issue:1 Volume:209 Page:20-47
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Wei Ou,Gurfinkel Arie,Chechik Marsha

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference32 articles.

1. A. Antonik, Decision Problems for Partial Specifications: Empirical and Worst-Case Complexity, Ph.D. Thesis, Imperial College, London, UK, September 2008.

2. Efficient patterns for model checking partial state spaces in CTL intersection LTL;Antonik;Electronic Notes in Theoretical Computer Science,2006

3. A. Antonik, M. Huth, K.G. Larsen, U. Nyman, A. Wasowski, Complexity of decision problems for mixed and modal specifications, in: Proceedings of the 11th International Conference of Foundations of Software Science and Computational Structures (FOSSACS’08), LNCS, vol. 4962, March 2008, pp. 112–126.

4. EXPTIME-complete decision problems for modal and mixed specifications;Antonik;Electronic Notes in Theoretical Computer Science,2009

5. Widening operators for powerset domains;Bagnara;International Journal on Software Tools for Technology Transfer (STTT),2006

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

1. On Specifying for Trustworthiness;Communications of the ACM;2023-12-21

2. An empirical analysis of the mutation operator for run-time adaptive testing in self-adaptive systems;Proceedings of the 11th International Workshop on Search-Based Software Testing;2018-05-28

3. Parameterised three-valued model checking;Science of Computer Programming;2016-09

4. An Empirical Analysis of Providing Assurance for Self-Adaptive Systems at Different Levels of Abstraction in the Face of Uncertainty;2015 IEEE/ACM 8th International Workshop on Search-Based Software Testing;2015-05

5. Parameterisation of Three-Valued Abstractions;LECT NOTES COMPUT SC;2015