formerly University of Missouri-Rolla
Missouri S&T

Advancing Excellence Campaign for Missouri S&T






Computer Science

500 West 15th Street
325 Computer Science Bldg.
Rolla, MO 65409
(573) 341-4491
csdept@mst.edu

print 
THOMAS WEIGERT

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.