Computer Science
500 West 15th Street
325 Computer Science Bldg.
Rolla, MO 65409
(573) 341-4491
csdept@mst.edu
|
Professor and
Daniel St. Clair Endowed Chair
M.B.A.,
Northwestern University
, 1999
Ph.D.,
University of
Illinois at Chicago
, 1989
M.S.,
University of Illinois at Chicago
, 1988
M.A.,
University of Illinois at Chicago
, 1984
Personal Web-Site:
http://web.mst.edu/~weigert
Areas of
Interests:
Application of artificial intelligence techniques and formal methods to the development of product software, in particular for real-time distributed systems. Research contributions to all phases of the software and system development life cycle, from the creation of modeling languages and design methods to the derivation of efficient programs from abstract models to the use of automated theorem proving in requirements and systems verification.
Holding leadership positions in international standards organizations focusing on software development notations.
Selected Publications:
T.
Weigert
, F. Weil, K. Marth, P.
Baker, C. Jervis, P. Dietz, Y. Gui, A. Van Den Berg, K. Fleer, D. Nelson, M.
Wells, and B. Mastenbrook, “Experiences in Deploying Model-Driven Engineering”
In E. Gaudin, E. Jajm, and R. Reed editors, Design for Dependable Systems,
Lect. Notes in Comp. Sci., 4745, Springer Verlag, 35-53, Paris, Sep.
2007.
Z
. Yu, J. Tsai, and
T. Weigert, “An Automatically Tuning Intrusion Detection System” IEEE
Trans. System, Man, and Cybernetics, 37(2):373-384, April
2007.
P. Dietz, K.
Marth, A. Van Den Berg, T. Weigert, and F. Weil, “Practical
Considerations in Automatic Code Generation” In J.-P. Tsai and D. Zhang,
editors, Advances in Machine Learning Application in Software
Engineering, 346-409, IGI Global, Hershey 2007.
T.
Weigert
and F. Weil,
“Practical Experiences in Using Model-driven Engineering to Develop Trustworthy
Computing Systems” In Proc. 2006 IEEE International Conference on Sensor
Networks, Ubiquitous, and Trustworthy Computing, 208-217, Taichung, Jun
2006.
J. Kaptonova, A.
Letichevsky, V. Volkov, and T. Weigert, “Validation of Embedded Systems”
In R. Zurawski, editor, The Embedded Systems Handbook, 51 pages, CRC
Press, Miami, 2005.