©IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
J. Xu, ``On Inspection and Verification of Software with Timing Requirements.'' IEEE Transactions on Software Engineering, Vol. 29, No. 8, August, 2003, 705-720. ©IEEE
J. Xu, ``Making Software Timing Properties Easier to Inspect and Verify.'' IEEE Software, Vol. 20, No. 4, July-August, 2003, 34-41. ©IEEE
J. Xu and D.L. Parnas, ``Scheduling Processes with Release Times, Deadlines, Precedence and Exclusion Relations,'' IEEE Transactions on Software Engineering, Vol. 16, No. 3, March 1990, pp. 360-369.©IEEE Reprinted in "Advances in Real-Time Systems," edited by J. A. Stankovic, and K. Ramamrithan, IEEE Computer Society Press, 140-149, 1993. Also reprinted in “Software Fundamentals: Collected Papers by David L. Parnas,” edited by D. M. Hoffman, and D. M. Weiss, Addison-Wesley, 439-465, 2001.
J. Xu and D.L. Parnas, ``On Satisfying Timing Constraints in Hard-Real-Time Systems.'' IEEE Transactions on Software Engineering, Vol. 19, No. 1, January, 70-84, 1993.©IEEE Reprinted in A Practical Approach to Real-Time Systems: Selected Readings,edited by Phillip Laplante, IEEE, 15-31, 2000.
J. Xu and D. L. Parnas, ``Priority Scheduling Versus Pre-Run-Time Scheduling.'' International Journal of Time-Critical Systems, 18, 7-23, Kluwer Academic Publishers, 2000.
J. Xu, ``Multiprocessor Scheduling of Processes with Release Times, Deadlines, Precedence, and Exclusion Relations.'' IEEE Transactions on Software Engineering, Vol. 19, No. 2, February 1993, pp. 139-154.©IEEE
J. Xu, ``On-Line Multiversion Database Concurrency Control.'' Acta Informatica, Vol. 29, No. 2, 1992, pp. 121-160.
The 23rd International Conference on Software
Engineering, held in