Zhenbang Chen
From MaRDI portal
Person:714876
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 |
|---|---|---|
| Trace Abstraction-Based Verification for Uninterpreted Programs | 2023-04-21 | Paper |
| Symbolic verification of MPI programs with non-deterministic synchronizations | 2022-09-01 | Paper |
| Recent progress in program analysis | 2019-09-20 | Paper |
| A rigorous model of service component architecture Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
| Failure-divergence semantics and refinement of long running transactions Theoretical Computer Science | 2012-10-11 | Paper |
| An Extended cCSP with Stable Failures Semantics Lecture Notes in Computer Science | 2010-08-31 | Paper |
| Refinement and verification in component-based model-driven design Science of Computer Programming | 2009-03-02 | Paper |
| Harnessing rCOS for Tool Support —The CoCoME Experience Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
| An interface model for service-oriented software architecture | 2006-10-04 | Paper |
Research outcomes over time
This page was built for person: Zhenbang Chen
