Ou Wei
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Evolutionary approaches for multi-objective next release problem | 2018-04-05 | Paper |
| On the consistency, expressiveness, and precision of partial modeling formalisms Information and Computation | 2011-01-13 | Paper |
| Mixed Transition Systems Revisited Lecture Notes in Computer Science | 2009-02-10 | Paper |
| Model Checking Recursive Programs with Exact Predicate Abstraction Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
| SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement Static Analysis | 2008-08-28 | Paper |
| Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science | 2007-02-12 | Paper |
| Correct Hardware Design and Verification Methods Lecture Notes in Computer Science | 2006-10-20 | Paper |
Research outcomes over time
This page was built for person: Ou Wei
