|
Search the dblp DataBase
Mao Zheng:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng
Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP] APSEC, 2003, pp:406-414 [Conf]
- Vangalur S. Alagar, Mao Zheng
A Rigorous Method for Testing Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP] APSEC, 2001, pp:213-220 [Conf]
- Mao Zheng, Vangalur S. Alagar
Conformance Testing of BDI Properties in Agent-based Software Systems. [Citation Graph (0, 0)][DBLP] APSEC, 2005, pp:457-464 [Conf]
- Vasu S. Alagar, Mao Zheng
A Software Architecture for Multi-agent Systems. [Citation Graph (0, 0)][DBLP] CIS (1), 2005, pp:303-312 [Conf]
- Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng
Managing Complexity in Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP] ICECCS, 2000, pp:12-24 [Conf]
- Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng
Incremental Testing for Self-Evolving Timed Systems. [Citation Graph (0, 0)][DBLP] QSIC, 2003, pp:12-19 [Conf]
- Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng
Specification-Based Testing for Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP] TOOLS (34), 2000, pp:25-36 [Conf]
- Vangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng
A rigorous approach for constructing self-evolving real-time reactive systems. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 2003, v:45, n:11, pp:743-761 [Journal]
An Empirical Study on Software Reuse. [Citation Graph (, )][DBLP]
Reliability Analysis in the Early Development of Real-Time Reactive Systems. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|