Zhenbang Chen

From MaRDI portal
Person:714876

Available identifiers

zbMath Open chen.zhenbangMaRDI QIDQ714876

List of research outcomes





PublicationDate of PublicationType
Trace Abstraction-Based Verification for Uninterpreted Programs2023-04-21Paper
Symbolic verification of MPI programs with non-deterministic synchronizations2022-09-01Paper
https://portal.mardi4nfdi.de/entity/Q51968882019-09-20Paper
A rigorous model of service component architecture2014-01-24Paper
Failure-divergence semantics and refinement of long running transactions2012-10-11Paper
An Extended cCSP with Stable Failures Semantics2010-08-31Paper
Refinement and verification in component-based model-driven design2009-03-02Paper
Harnessing rCOS for Tool Support —The CoCoME Experience2008-09-25Paper
An interface model for service-oriented software architecture2006-10-04Paper

Research outcomes over time

This page was built for person: Zhenbang Chen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:714876&oldid=7002241"
Powered by MediaWiki