■
Invited Talks by President Jeffrey J. P. Tsai
|
■ Invited keynote Speech
- Distinguished Speaker, "Knowledge-Based Software Engineering for Communication Software," Advanced Communication Research Laboratory, Kyoto, Japan, Oct., 1994.
- Tamkang Chair Distinguished Speaker, "Engineering of Intelligent Systems," Tamkang University, Taiwan, May 1999.
- Keynote Speaker, "Engineering of Intelligent Agent Systems," The 11th IEEE International Conference on Tools with Artificial Intelligence, Chicago, ILL., Nov. 1999.
- Distinguished Speaker, "Specification and Verification of Agent-Based Systems," University of Texas at Dallas, Nov. 1999.
- Distinguished Speaker, "Knowledge-Based Software Systems," University of Wollongong, Australia, August 2000.
- Keynote Speaker, "Engineering of Agent-Based Systems," International Computer Symposium, Taiwan, Dec. 2000.
- Distinguished Speaker in Software Engineering, "Compositional Approach for Modeling and Verification of Software Systems," Southern Methodist University, March 2001.
- Keynote Speaker, "Compositional Modeling and Verification of Software systems," Object-Oriented Software Technology and Applications Workshop, Oct. 2001.
- Keynote Speaker, "Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems," The 1st IEEE Int’l Conference on Cognitive Informatics, Calgary, Alberta, Canada, August 19-20, 2002.
- Distinguished Speaker, "Transdisciplinary Research and Education in Healthcare, Management, and Information Technology," National Chung Cheng University, Oct. 2002.
- Keynote Speaker, "New Areas of Applied Artificial Intelligent Research," The 14th IEEE Int’l Conf. on Tools with Artificial Intelligence, Washington D.C., Nov. 2002.
- Keynote Speaker, "Transdisciplinary Research and Education in Healthcare, Management, and Information Technology," Conf. on Sun Yat-sen Philosophy and Modern Society: Managerial Science’s Practice and Application, Dec. 2002.
- Keynote Speaker, “Applications of A.I. Research in Bioinformatics,” World Congress on Integrated Design and Process Science, Austin, Texas, Dec. 2003.
- Keynote Speaker, “Attacks and Countermeasures in Software System Security,” IEEE Int’l Symposium on E-Commerce for Dynamic E-Business, Beijing, Sept. 2004.
- Keynote Speaker, “Intrusion Detection for Sensor Networks,” The 19th IEEE Advanced Information Networking and Application Conference, Taipei, March 29-30, 2005.
- Distinguished Speaker, "Transdisciplinary Research and Education in Health Science, Management, and Information Technology," the 9th Conference on Integrated Design and Process Technology, San Diego, CA, June 25-28, 2006.
- Distinguished Speaker, “Challenges and Opportunities of Ubiquitous Computing Paradigm,” Forum on Future Computing – Transparent Computing and Active Services, Tsinghua University, Beijing, June 23-25, 2007.
- Keynote Speaker, "Opportunities and Challenges of Sensor Networks Computing," National Computer Symposium, Taiwan, Dec. 20-21, 2007.
- Keynote Speaker, “A New Frontier: Software Engineering for Cyber Physical Systems,” the 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, June 1-6, Taichung, Taiwan, 2008.
- Keynote Speaker, “A New Frontier: Cyber Physical Systems,” the 2009 Joint Conference on Pervasive Computing, December 3-5, 2009, Taipei, Taiwan, 2009.
- Distinguished Speaker, “Green Computing,” Annual Conference on Transdisciplinary & Transnational Transcultural, May 23-27, Georgetown, Texas, May 23-27, 2010.
■ Invited Talks
- "A Requirement Theory of New Software Engineering Paradigms," Switching System Group, Fujitsu Laboratory, Kawasaki, Japan, Oct. 1987.
- "A Frame-and-Rule Oriented Requirements Specification Language for New Software Engineering Paradigm," University of Florida, Gainesville, July 1989.
- "A Frame-and-Rule Oriented Requirements Specification Language for New Software Engineering Paradigm," Institute of Information Industry, Taiwan, July 1989.
- "Reverse Engineering," Institute of Information Industry, Taiwan, July 1989.
- "Real-Time Software Testing and Debugging," one-week seminar at National Chiao-Tung University, Taiwan, August 1989.
- "A Frame-and-Rule Based System for Software Development Using an Integrated Software Engineering Paradigm," George Mason University, Faifax, VA, Jan. 1990.
- "FRORL: A Requirement Language for New Software Engineering Paradigms," Switching System Group, Fujitsu Laboratory, Kawasaki, Japan, March 1990.
- "On Real-Time Distributed Monitoring," Tung-Hai University, May 1990.
- "Artificial Intelligence and Software Engineering," Academia Sinica, Taiwan, Aug. 1990.
- Tutorial on "Artificial Intelligence for Software Engineering," 1990 IEEE Int'l Conference on Tools for A.I., Fairfax, VA, Nov. 1990.
- Tutorial on "Artificial Intelligence Technique for Software Engineering,"1991 Int'l Conference on Software Engineering and Knowledge Engineering, Skokie, IL, June 1991.
- "A Distributed Cooperative Agents Architecture for Software Development," IJCAI Workshop on Intelligent and Cooperative Information Systems, University of Technology, Sydney, Australia, Aug. 1991.
- "A.I./K.E. Techniques for Software Engineering" Fujitsu International Software Symposium, Fujitsu Limited, Kawasaki, Japan, Sept. 1991.
- "Artificial Intelligence for Software Engineering," National Taiwan University, Taipei, Taiwan, Sept. 1991.
- "On Distributed Real-Time Systems Monitoring, Visualization, and Debugging," Chung-Shan Institute of Science and Technology, Long-Tang, June 1992.
- "Visualization and Debugging of Distributed Real-Time Systems," 1992 International Conference on Automation, Robotics, and Computer Vision, Singapore, Sept. 1992.
- "Visualization and Debugging of Distributed Real-Time Systems," Hitachi, Japan, March 1993.
- "Knowledge-Based Approach to the Specification, Analysis, and Transformation of Real-Time Distributed Systems," Fujitsu Lab, Kawasaki, Japan, April 1993.
- "A Requirements Language for Autonomous Decentralized Systems," Hitachi System Plaza, Japan, April 1993.
- "Knowledge-Based Software Engineering," USAF Rome Laboratory, Jan. 1994.
- "Knowledge-Based Software Design for Real-Time Distributed Systems," University of Toronto, Toronto, Ontario, Jan. 1994.
- "Knowledge-Based Approach for the Specification, Analysis, and Transformation of Real-Time Distributed Systems," University of California at Berkeley, CA, Feb. 1994.
- "Knowledge-Based Software Requirements Specification Language," State University of New York at Buffalo, Buffalo, New York, May 1994.
- "Knowledge-Based Software Engineering for Real-Time Distributed Systems," University of Texas at Austin, June 1994.
- Tutorial on "Knowledge-Based Software Development for Real-Time Distributed Systems," International Computer Symposium, National Chiao-Tung University, Hsinchu, Taiwan, Dec. 1994.
- "Software Technology in National Information Infrastructure," National Development Symposium, Taipei, Taiwan, June 1995.
- "A Specification-Based Software Architecture," Naval Postgraduate School, Monterey, CA, Sept. 1995.
- "Research Issues in Software Architecture Design," University of Houston, Houston, Texas, Oct. 1995.
- Tutorial on "A Knowledge-based Approach to Software Architecture," the 7th IEEE Tools with Artificial Intelligence Conference, Washington, D.C., Nov. 1995.
- "Knowledge-Based Software Architecture," National Central University, May 1997.
- "Formal Verification of Software Architecture," University of Southern California, Feb. 1997.
- "Compositional Verification," NSF Workshop on Foundation of Software Systems, Tulane University, Dec. 1997.
- "E-Commerce," IEEE Knowledge and Data Engineering Exchange Workshop, Nov. 1998.
- "Compositional Verification of Software Architecture," NSF/ARO Workshop on Evolutionary Software Construction, Italy, 2000.
- "Compositional Approach for Modeling and Verification of Software Systems," University of Toronto, Canada, Dec. 2000.
- "Specification and Verification of Software Agents," Academia Sinica, Taipei, Oct. 2000.
- "Transdisciplinary Research and Education in Healthcare, Management, and Information Technology," China Medical University Hospital, Dec. 2002
- “A Framework for Adaptive Intrusion Detection Systems,” NSF/Industry Software Engineering Research Center, Ball State Univeristy, Muncie, IN, Nov. 16-17, 2005.
- “Fuzzy Model Tuning for Intrusion Detection Systems,” The 3rd IFIP International Autonomic and Trusted Computing Conference, Wuhan, China, Sept. 2006.
- “Personal Sense of Persistent Fundamental Research Enquiry,” Stanford University, Kozmetsky Global Collaboratory: Tenth Anniversary Celebration, Workshop on KGC Community’s Shared Research Aspirations, Palo Alto, CA, May 12-18, 2007.
- “Global Network for Transdisciplinary Collaboration,” 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, June 1-6, Taichung, Taiwan, 2008.
- “A Framework of Machine Learning based Intrusion Detection for Wireless Sensor Networks,” The 2nd IEEE International Conference on Sensor Network, Ubiquitous, and Trustworthy Computing (SUTC2008), Taichung, Taiwan, June 11-13, 2008.
<back>
|
|
(2023-10-11 updated)
|
|
■ Quick links ---------------------------------------------------- |
|
■ Distinguished Faculty ---------------------------------------------------- |
|
|