Concepedia

Xinyu Zang

XZ

Statistics

Publications

5

Citations

476

H-Index

5

Active since

1999

Affiliations

Duke University(Current)

Xinyu Zang is an author at Duke University specializing in engineering, computer science, and reliability engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringReliability EngineeringSystem ReliabilityFormal MethodsSoftware TestingFormal VerificationOperations Research

Publications per year

1999–2003

5

Publications

5

A BDD-based algorithm for reliability analysis of phased-mission systems

Xinyu Zang, Nairong Sun, Kishor S. Trivedi · IEEE Transactions on Reliability · 1999 · 282 citations

Reliability, Failure Detection, Reliability Engineering +15

A BDD-based algorithm for analysis of multistate systems with multistate components

Xinyu Zang, D. Wang, Hairong Sun et al. · IEEE Transactions on Computers · 2003 · 115 citations

Circuit Complexity, Engineering, Boolean Function +19

Dependability modeling and evaluation of phased mission systems: a DSPN approach

I. Mural, Andrea Bondavalli, Xinyu Zang et al. · 2003 · 48 citations · Full text

Petri Net, Engineering, System Reliability +21

Dependability analysis of distributed computer systems with imperfect coverage

Xinyu Zang, Hairong Sun, Kishor S. Trivedi · 2003 · 20 citations

Engineering, Computational Complexity, System Reliability +17

A stochastic reward net model for performance analysis of prioritized DQDB MAN

Huixian Sun, Xinyu Zang, Kishor S. Trivedi · Computer Communications · 1999 · 11 citations

Artificial Intelligence, Prioritized Dqdb Man, Engineering +13

1–5 of 5