Ou Wei

Zonghao Guo

计算机科学, 2018

An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking.

[BibT_eX]

[DOI]

IEEE Access, 2018

Deciding weak monitorability for runtime verification.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

基于故障配置的故障树生成 (Fault Tree Generation Based on Fault Configuration).

[BibT_eX]

[DOI]

Mingyu Huang

Jun Hu

计算机科学, 2017

使用模型检测解决概率布尔网络优化控制 (Optimal Control of Probabilistic Boolean Networks Using Model Checking).

[BibT_eX]

[DOI]

Zonghao Guo

计算机科学, 2017

Model checking optimal finite-horizon control for probabilistic gene regulatory networks.

[BibT_eX]

[DOI]

BMC Syst. Biol., 2017

WAP: SAT-Based Computation of Minimal Cut Sets.

[BibT_eX]

[DOI]

Weilin Luo

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

2016

基于特征切片的软件产品线模型检测 (Model Checking Software Product Line Based on Feature Slicing).

[BibT_eX]

[DOI]

Yumei Liu

Mingyu Huang

计算机科学, 2016

Model Checking Probabilistic Network Propagation Protection Strategies.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

Optimal control for context-sensitive probabilistic Boolean networks with perturbation using probabilisitic model checking.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

基于双格的软件产品线模型检测 (Model Checking of Software Product Line Based on Bilattices).

[BibT_eX]

[DOI]

Yufeng Shi

Yu Zhou

计算机科学, 2015

Verifying specifications with associated attributes in graph transformation systems.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2015

Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2014

Mixed Simulation of Multi-valued Models.

[BibT_eX]

[DOI]

Juanjuan Chen

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Model checking partial software product line designs.

[BibT_eX]

[DOI]

Yufeng Shi

Yu Zhou

Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, 2014

An adaptive memetic agorithm based on multiobjecitve optimization for software next release problem.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

2013

Minimal cut sequence generation for state/event fault trees.

[BibT_eX]

[DOI]

Proceedings of the 2013 Middleware Doctoral Symposium, 2013

A hybrid of decomposition and domination based evolutionary algorithm for multi-objective software next release problem.

[BibT_eX]

[DOI]

Xinye Cai

Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

2012

Evolutionary Approaches for Multi-Objective Next Release Problem.

[BibT_eX]

[DOI]

Xinye Cai

Zhiqiu Huang

Comput. Informatics, 2012

2011

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

[BibT_eX]

[DOI]

Inf. Comput., 2011

2010

Abstraction for Verification and Refutation in Model Checking.

[BibT_eX]

[DOI]

PhD thesis, 2010

Making Architectural Decisions Based on Requirements: Analysis and Combination of Risk-Based and Quality Attribute-Based Methods.

[BibT_eX]

[DOI]

Bingfeng Xu

Zhiqiu Huang

Proceedings of the Symposia and Workshops on Ubiquitous, 2010

Abstract Analysis of Symbolic Executions.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Mixed Transition Systems Revisited.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2009

2008

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.

[BibT_eX]

[DOI]

Gogul Balakrishnan

Sriram Sankaranarayanan

Franjo Ivancic

Aarti Gupta

Proceedings of the Static Analysis, 15th International Symposium, 2008

Model Checking Recursive Programs with Exact Predicate Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2008

2006

Systematic Construction of Abstractions for Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2006

Yasm: A Software Model-Checker for Verification and Refutation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Identification and Counter Abstraction for Full Virtual Symmetry.

[BibT_eX]

[DOI]