DOUGLAS A. STUART

ADDRESS

Home: 10926 Jollyville Rd. #1601, Austin, Texas 78759. (512) 349-9736.

Office: Microelectronics and Computer Technology Corporation, 3500 West Balcones Center Drive, Austin, Texas 78759-5398. (512) 338-3478

Electronic mail address: stuart@mcc.com

URL: http://www.cs.utexas.edu/users/dastuart

EDUCATION

9/83-5/96, The University of Texas at Austin, Ph.D., Computer Science.

8/89, The University of Texas at Austin, M.S.C.S., Computer Science.

9/79 - 6/83, The Ohio State University, B.S., Mathematics and Computer Science.

ACADEMIC AWARDS AND HONORS

Arts and Sciences Award for Scholarship OSU (1982);

Phi Beta Kappa OSU (1982);

Phi Kappa Phi OSU (1982);

First Place Razor Bareis Gordon Contest OSU (1983);

B.S. Summa Cum Laude with Honors in the Liberal Arts OSU (1983);

EMPLOYMENT

4/97 - Present, Microelectronics and Computer Technology Corporation, Member of Technical Staff.

1/96 - 3/97, Department of Computer Sciences, The University of Texas at Austin, Postdoctoral Fellow. Performed research into specification and analysis of real-time systems. Wrote technical papers. Implemented software using C/X/UNIX.

6/86 - 1/96, Department of Computer Sciences, The University of Texas at Austin, Research Assistant. Performed research into specification and analysis of real-time systems. Wrote technical papers. Implemented software using C/X/UNIX.

9/84 - 9/85, Department of Computer Sciences, The University of Texas at Austin, Teaching Assistant.

9/82 - 6/83, Department of Mathematics, The Ohio State University, Teaching Assistant.

DISSERTATION TITLE

Formal Methods For Real-Time Systems

Supervising Professor: Dr. A. Mok, Department of Computer Sciences, The University of Texas at Austin, Austin, Texas, 78712. (512) 471-9540.

PUBLICATIONS/PRESENTATIONS

1. ``Formal Specification of Real-Time Systems,'' F. Jahanian, A. Mok, and D. Stuart,UT-Austin Department of Computer Sciences Technical Report TR-88-25, June 1988.
2. ``A Method for Verifying Properties of Modechart Specifications,'' F. Jahanian and D. Stuart, Proceedings of the 9th Real-Time Systems Symposium, Huntsville, Alabama,pp 12-21, (December, 1988).
3. ``Implementing a Verifier For Real-Time Systems,'' D. Stuart, Proceedings of the 11th Real-Time Systems Symposium, Orlando, Florida (December 1990).
4. ``Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications,'' D. Stuart and P. Clements, Proceedings of the 12th Real-Time Systems Symposium, San Antonio, Texas (December 1991).
5. ``A Formal Method For Verifying Real-Time Properties of Modechart Specifications,'' D. Stuart, A.K. Mok, and F. Jahanian, Technical Report, University of Michigan, November 1994.
6. ``A New Generation Modechart Verifier,'' Jin Yang, Aloysius K. Mok, and Douglas A. Stuart, RTAS'95.
7. ``An Operational Semantics For Modechart Specifications,'' Carlos Puchol, Douglas A. Stuart, and Aloysius K. Mok, Technical Report UTCS-TR95-37, Department of Computer Science, University of Texas at Austin, September 1995
8. ``Compiling Modechart Specifications,'' Carlos Puchol, Aloysius K. Mok, and Douglas A. Stuart, Proc. Real-Time Systems Symposium, December 1995.
9. ``Specification and Analysis of Real-Time Systems: Modechart Language and Toolset,'' Aloysius K. Mok, Douglas A. Stuart, and Farnam Jahanian, in Formal Methods For Real-Time Computing, John Wiley, 1996.
10. ``A Methodology and Support Tools For Analysis of Real-Time Specifications,'' Douglas A. Stuart, Aloysius K. Mok, and Farnam Jahanian, to appear in International Journal of Software Engineering and Knowledge Engineering.
11. ``Simulation vs. Verification: Getting the Best of Both Worlds,'' Aloysius K. Mok and Douglas Stuart, Proceedings of COMPASS 96, Giathersburg, Maryland (June 1996).
12. ``Semantics of Fault-Tolerant Actions in Modechart,'' Aloysius K. Mok and Douglas Stuart, Proceedings of IEEE 1997 Aerospace Conference, Snowmass, Colorado (February 1997).

• About this document ...