Please type your desired tags, e.g. RNA Editing, Genomics, Systems and Computational Biology, Historiography and Methods, Animated Installations, British Literature, surface processes, Differential Equations, computational modeling, Blobology, Time-varying dynamics, and etc.
Press the 'enter' key or type a comma (,) after each new tag.
Professional Preparation
Ph.D. - Computer Science University of California at Berkeley - 1980
M.S. - Computer Science University of California at Berkeley - 1978
B.Tech. - Electrical Engineering Indian Institute of Technology, Bombay - 1977
Research Areas
Research Interests
AI-Based Automated Software Synthesis and Testing
Embedded Real-Time Process-Control and Telecommunications Systems
Formal Methods and Automated Program Transformation
High-Assurance Autonomous Decentralized Systems
High-Confidence Software Reliability, Safety, and Security Assurance
Inherently Fault-Tolerant and Self-Stabilizing Distributed Systems
Modular Parallel Programs
Tele-Collaborative Systems
Publications
Manghui Tu, Hui Ma, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani, Dianxiang Xu: Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing. J. Grid Comput. 11(1): 103-127 (2013) 2013 - Publication
Jicheng Fu, Sijie Tian, Vincent Ng, Farokh B. Bastani, I-Ling Yen: Handling Planning Failures with Virtual Actions. ICTAI 2012: 468-475 2012 - Publication
Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: Information Assurance for Real-Time Decision Support. ISORC Workshops 2012: 150-155 2012 - Publication
Guang Zhou, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms. ISORC 2012: 95-102 2012 - Publication
Wenke Zhang, Favyen Bastani, I-Ling Yen, Kevin Hulin, Farokh B. Bastani, Latifur Khan: Real-Time Anomaly Detection in Streams of Execution Traces. HASE 2012: 32-39 2012 - Publication
Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen: Optimization models for assessing the peak capacity utilization of intelligent transportation systems. European Journal of Operational Research 216(1): 239-251 (2012) 2012 - Publication
Jian Huang, Wei Zhu, Farokh B. Bastani, I-Ling Yen, Jicheng Fu: Automated Exception Handling in Service Composition Using Holistic Planning. CSE 2012: 251-258 2012 - Publication
Angie Shia, Farokh B. Bastani, I-Ling Yen: A Highly Resilient Framework for Autonomous Robotic Swarm Systems Operating in Unknown, Hostile Environments. ISADS 2011: 147-153 2011 - Publication
Appointments
Director UTD [2000–Present]
University of Texas at Dallas
Director University of Texas at Dallas [1997–2000]
Professor University of Houston [1993–1997]
Visiting Scholar Michigan State University [1993–1994]
Associate Professor University of Houston [1986–1993]
Visiting Scholar University of California at Berkeley [1986–1987]
Assistant Professor University of Houston [1980–1986]
Research Assistant University of California at Berkeley [1978–1980]
Projects
Net-centric Software and Systems Engineering Consortium
2007–2007Rockwell-Collins, Richardson, TX, March 16, 2007.
Overview of UTD CS Department and Embedded Systems Research
2007–2007Arizona State University, Tempe, AZ, June 11, 2007.
Additional Information
Honors and Awards
IEEE Computer Society Meritorious Service Certificate, 2001
IEEE Computer Society Golden Core Award, 1996
IEEE Computer Society Certificate of Appreciation, 1995
IEEE Computer Society Meritorious Service Certificate, 1992
Offices and Committee Assignments in Professional Organizations:
Emeritus Editor-in-Chief, IEEE Transactions on Knowledge and Data Engineering, 2001-present
Editor for the International Journal of Knowledge and Information Systems, 1999-present
Editor for the International Journal on Artificial Intelligence Tools, 1993-present
Editor for the Wiley Encyclopedia of Computer Science and Engineering (Software Engineering section), 2003 - present
Steering Committee Member, IEEE International Conference on Tools with Artificial Intelligence, 1996-present
Program Committee Member, IEEE International Symposium on Software Reliability Engineering, 2007
Program Committee Member, 2007 IEEE International Conference on e-Business Engineering (ICEBE-2007)
The Tech Titan of the Future, University Award went to the Net-Centric Software and Systems Industry/University Cooperative Research Center. The center, sponsored by the National Science Foundation, is a collaboration between the Jonsson School, the University of North Texas, Southern Methodist University, Arizona State University and Missouri University of Science and Technology. Faculty members and students in the center collaborate on innovative research projects with industrial partners from such companies as Boeing, Cisco Systems, Hewlett-Packard Co., Lockheed Martin, NTT Data, Raytheon Co., Tektronix and Texas Instruments.
Funding
A Planning Activity for Joining the Center for Embedded Systems
$10,000 - National Science Foundation IIP - Industry/University Cooperative Research Centers [2007–2008]