Zhichang Qi

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
An interface model for service-oriented software architecture	2006-10-04	Paper
Symbolic WCET analysis of programs containing input-dependent branches	2006-07-12	Paper
Trace acquirement technology of real-time systems based on WCET analysis	2006-06-19	Paper
Theoretical Aspects of Computing - ICTAC 2004 Lecture Notes in Computer Science	2005-11-30	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper
Improved method to generate path-wise test data Journal of Computer Science and Technology	2004-05-18	Paper
scientific article; zbMATH DE number 1919419 (Why is no real title available?)	2003-10-05	Paper
scientific article; zbMATH DE number 1949623 (Why is no real title available?)	2003-07-15	Paper
scientific article; zbMATH DE number 1444738 (Why is no real title available?)	2001-01-29	Paper
Verifying automata specification of distributed probabilistic real-time systems Journal of Computer Science and Technology	1999-03-02	Paper

Research outcomes over time

This page was built for person: Zhichang Qi