| 2024 | ICPADS | Pruning Blockchain Protocols for Efficient Access Control in IoT Systems. | Yongtao Huang, I-Ling Yen, Farokh B. Bastani |
| 2023 | ISADS | Access Control in Dynamic IoT Scenarios. | I-Ling Yen, Ayu Tiwari, Farokh B. Bastani |
| 2021 | ICPADS | Decentralized Service Discovery and Composition in Dynamic IoT Systems. | Hessam Moeini, I-Ling Yen, Farokh B. Bastani |
| 2019 | COMPSAC | A Smart Role Mapping Recommendation System. | Lijuan Diao, Huaduo Wang, Sultan Alsarra, I-Ling Yen, Farokh B. Bastani |
| 2019 | HPCC | Toward Data Discovery in Dynamic Smart City Applications. | Hessam Moeini, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani |
| 2019 | ICPADS | Efficient Multi-Keyword Based Service Discovery Routing in Peer-to-Peer IoT Networks. | Hessam Moeini, I-Ling Yen, Farokh B. Bastani |
| 2019 | ICWS | Service Specification and Discovery in IoT Networks. | Hessam Moeini, I-Ling Yen, Farokh B. Bastani |
| 2019 | SACMAT | An OpenRBAC Semantic Model for Access Control in Vehicular Networks. | Sultan Alsarra, I-Ling Yen, Yongtao Huang, Farokh B. Bastani, Bhavani Thuraisingham |
| 2018 | COMPSAC | Resource and Role Hierarchy Based Access Control for Resourceful Systems. | Nidhiben Solanki, Yongtao Huang, I-Ling Yen, Farokh B. Bastani, Yuqun Zhang |
| 2018 | COMPSAC | Improving the Smartness of Cloud Management via Machine Learning Based Workload Prediction. | Yongjia Yu, Vasu Jindal, Farokh B. Bastani, Fang Li, I-Ling Yen |
| 2018 | IRI | Trustworthy Computing in the Dynamic IoT Cloud. | I-Ling Yen, Farokh B. Bastani, Nidhiben Solanki, Yongtao Huang |
| 2018 | ICWS | Semantic-Based Information Sharing in Vehicular Networks. | Himlun Bista, I-Ling Yen, Farokh B. Bastani, Martin Mueller, Darnell Moore |
| 2017 | ICPADS | Routing in IoT Network for Dynamic Service Discovery. | Hessam Moeini, I-Ling Yen, Farokh B. Bastani |
| 2017 | ICWS | Automated Holistic Service Composition: Modeling and Composition Reasoning Techniques. | Wei Zhu, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Yuqun Zhang |
| 2017 | ICWS | Efficient Caching for Peer-to-Peer Service Discovery in Internet of Things. | Hessam Moeini, I-Ling Yen, Farokh B. Bastani |
| 2017 | ICWS | SaaS for Automated Job Performance Appraisals Using Service Technologies and Big Data Analytics. | I-Ling Yen, Farokh B. Bastani, Yongtao Huang, Yuqun Zhang, Xin Yao |
| 2016 | ICIP | Robust real-time UAV based power line detection and tracking. | Guang Zhou, Jinwei Yuan, I-Ling Yen, Farokh B. Bastani |
| 2016 | IROS | A Self-Stabilizing Algorithm for the Foraging Problem in Swarm Robotic Systems. | Guang Zhou, Farokh B. Bastani, Wei Zhu, I-Ling Yen |
| 2016 | ICWS | Multi-tenant Access and Information Flow Control for SaaS. | Nidhiben Solanki, Wei Zhu, I-Ling Yen, Farokh B. Bastani, Elham Rezvani |
| 2015 | COMPSAC | An Access and Information Flow Control Paradigm for Secure Information Sharing in Service-Based Systems. | Nidhiben Solanki, Timothy Hoffman, I-Ling Yen, Farokh B. Bastani, Stephen S. Yau |
| 2015 | ISADS | Workload Estimation for Improving Resource Management Decisions in the Cloud. | Jemishkumar Patel, Vasu Jindal, I-Ling Yen, Farokh B. Bastani, Jie Xu, Peter Garraghan |
| 2015 | ICWS | A PT-SOA Model for CPS/IoT Services. | Wei Zhu, Guang Zhou, I-Ling Yen, Farokh B. Bastani |
| 2015 | ICWS | A Smart Physical World Based on Service Technologies, Big Data, and Game-Based Crowd Sourcing. | I-Ling Yen, Guang Zhou, Wei Zhu, Farokh B. Bastani, San-Yih Hwang |
| 2014 | ICIP | Robust object tracking via online informative feature selection. | Jinwei Yuan, Farokh B. Bastani |
| 2014 | ICIP | Online feature subset selection for object tracking. | Jinwei Yuan, Farokh B. Bastani |
| 2013 | ICTAI | Fast Strong Planning for FOND Problems with Multi-root Directed Acyclic Graphs. | Jicheng Fu, Andres Calderon Jaramillo, Vincent Ng, Farokh B. Bastani, I-Ling Yen |
| 2012 | ICTAI | Handling Planning Failures with Virtual Actions. | Jicheng Fu, Sijie Tian, Vincent Ng, Farokh B. Bastani, I-Ling Yen |
| 2012 | ISORC | Information Assurance for Real-Time Decision Support. | Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul |
| 2012 | ISORC | Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms. | Guang Zhou, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen |
| 2011 | IJCAI | Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems. | Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen |
| 2011 | ISADS | A Highly Resilient Framework for Autonomous Robotic Swarm Systems Operating in Unknown, Hostile Environments. | Angie Shia, Farokh B. Bastani, I-Ling Yen |
| 2011 | ICTAI | ROBUST Path Strategy Evaluator. | Angie Shia, Farokh B. Bastani, I-Ling Yen |
| 2010 | ICPADS | Scalable Authentication and Key Management in SCADA. | Liangliang Xiao, I-Ling Yen, Farokh B. Bastani |
| 2010 | ICPADS | Cloud Storage Design Based on Hybrid of Replication and Data Partitioning. | Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani |
| 2010 | SERVICES | Virtual Services in Cloud Computing. | Jicheng Fu, Wei Hao, Michael Tu, Biao Ma, Joshua Baldwin, Farokh B. Bastani |
| 2010 | SERVICES | Real-Time Service-Oriented Distributed Governance. | Jian Huang, Yansheng Zhang, I-Ling Yen, John T. Carson, Mike F. Siok, Farokh B. Bastani, Yajing Zhao, Jing Dong |
| 2010 | SRDS | Secure, Dependable, and High Performance Cloud Storage. | Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani |
| 2009 | COMPSAC | Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model. | Jian Huang, Farokh B. Bastani, I-Ling Yen, Jun-Jang Jeng |
| 2009 | ISADS | Virtual-device framework for autonomous decentralized multi-robot systems. | Yansheng Zhang, Farokh B. Bastani |
| 2009 | ICTAI | Decentralized Path Planner for Multi-robot Systems. | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen |
| 2009 | ISSRE | Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems. | Yansheng Zhang, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau |
| 2008 | COMPSAC | Service Composition for Real-Time Assurance. | Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng |
| 2008 | ICTAI | FIP: A Fast Planning-Graph-Based Iterative Planner. | Jicheng Fu, Farokh B. Bastani, Vincent Ng, I-Ling Yen, Yansheng Zhang |
| 2008 | PRDC | Availability Analysis of Robotic Swarm Systems. | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen |
| 2008 | SERVICES | An Adaptive User Interface Generation Framework for Web Services. | Jiang He, I-Ling Yen, Tu Peng, Jing Dong, Farokh B. Bastani |
| 2007 | COMPSAC | A Machine Learning-Based Reliability Assessment Model for Critical Software Systems. | Venkata U. B. Challagulla, Farokh B. Bastani, Raymond A. Paul, Wei-Tek Tsai, Yinong Chen |
| 2007 | COMPSAC | Iterative Planning in the Context of Automated Code Synthesis. | Jicheng Fu, Farokh B. Bastani, I-Ling Yen |
| 2007 | EUC | Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen |
| 2007 | PDPTA | Evaluating Dependable Distributed Storage Systems. | Liangliang Xiao, I-Ling Yen, Yanjin Zhang, Farokh B. Bastani |
| 2006 | ICTAI | A Unified Framework for Defect Data Analysis Using the MBR Technique. | Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen |
| 2006 | ICTAI | Automated AI Planning and Code Pattern Based Code Synthesis. | Jicheng Fu, Farokh B. Bastani, I-Ling Yen |
| 2006 | ICTAI | QoS Adaptive ISHM Systems. | Yansheng Zhang, Jicheng Fu, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau, Farrokh Vatan, Amir Fijany |
| 2006 | ISORC | Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns. | Jian Liu, Jicheng Fu, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Ann T. Tai, Savio N. Chau |
| 2005 | ICPADS | An Adaptive Multiparty Protocol for Secure Data Protection. | Qingkai Ma, Liangliang Xiao, I-Ling Yen, Manghui Tu, Farokh B. Bastani |
| 2005 | ISORC | An Approach for Designing Highly Adaptable Process-Control Systems. | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul |
| 2005 | SEKE | An Object-Oriented Modeling Learning Support System With Inspection Comments. | Tong Gao, Kendra M. L. Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani |
| 2005 | SEKE | Toward a UML Profile to Support Component-Based Distributed Adaptive Systems. | Tong Gao, Kendra M. L. Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani |
| 2005 | SEKE | A Formal Foundation of Code Pattern Based Development. | Jian Liu, Farokh B. Bastani, I-Ling Yen |
| 2005 | RTAS | A Model and Methodology for Composition QoS Analysis of Embedded Systems. | Hui Ma, Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Kendra M. L. Cooper |
| 2004 | ICTAI | An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. | Mamoun Awad, Latifur Khan, Farokh B. Bastani, I-Ling Yen |
| 2004 | ICTAI | Automated Test Data Generation Using MEA-Graph Planning. | Manish Gupta, Farokh B. Bastani, Latifur Khan, I-Ling Yen |
| 2003 | ISSRE | High-Assurance Synthesis of Security Services from Basic Microservices. | Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen |
| 2003 | ISSRE | Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components. | Hui Ma, I-Ling Yen, Farokh B. Bastani, Kendra M. L. Cooper |
| 2003 | SEKE | Relational Program Architecture for High Quality Software Development. | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen |
| 2003 | SEKE | Automated Software Design of Process-Control Systems. | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen |
| 2002 | ICTAI | Software Measurement Data Analysis Using Memory-Based Reasoning. | Raymond A. Paul, Farokh B. Bastani, Venkata U. B. Challagulla, I-Ling Yen |
| 2002 | ICTAI | Application of AI Planning Techniques to Automated Code Synthesis and Testing. | I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn |
| 2002 | ISORC | An Architecture-Based Comparison of Verification and Statistical Reliability Assessment Methods for Embedded Software Systems. | Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen |
| 2002 | ISORC | A Component-Based Approach for Embedded Software Development. | I-Ling Yen, Jayabharath Goluguri, Farokh B. Bastani, Latifur Khan, John Linn |
| 2002 | ISSRE | Reliability Assessment of Framework-Based Distributed Embedded Software Systems. | Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen |
| 2001 | COMPSAC | A Memory-Based Reasoning Approach for Assessing Software Quality. | Raymond A. Paul, Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen |
| 2001 | ICTAI | An On-Line Repository for Embedded Software. | I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn |
| 2001 | ISSRE | Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs. | Farokh B. Bastani, I-Ling Yen, Sung Kim, John Linn, Kashi Rao |
| 2001 | SRDS | High-Quality Customizable Embedded Software from COTS Components. | Farokh B. Bastani |
| 2000 | COMPSAC | Defect-Based Reliability Analysis for Mission-Critical Software. | Raymond A. Paul, Farokh B. Bastani, I-Ling Yen, Venkata U. B. Challagulla |
| 1997 | COMPSAC | EH* - Extendible Hashing in a Distributed Environment. | Victoria Hilford, Farokh B. Bastani, Bojan Cukic |
| 1996 | ISSRE | On reducing the sensitivity of software reliability to variations in the operational profile. | Bojan Cukic, Farokh B. Bastani |
| 1996 | SEKE | Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions". | Anouar Jamoussi, Farokh B. Bastani |
| 1995 | COMPSAC | (Position Paper) Fault-Tolerant Software. | Farokh B. Bastani |
| 1995 | ISADS | On efficiently tolerating general failures in autonomous decentralized multiserver systems. | I-Ling Yen, Farokh B. Bastani |
| 1994 | ISSRE | Assessment of a sampling method for measuring safety-critical software reliability. | Farokh B. Bastani, Alberto Pasquini |
| 1993 | ISADS | Inherent fault tolerance in decentralized process-control systems. | Farokh B. Bastani, I-Ling Yen |
| 1993 | ISADS | A hybrid architecture for mobile robots based on decentralized, parallel path planning. | Rumi M. Dubash, Farokh B. Bastani |
| 1993 | ICSE | Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. | Farokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini |
| 1993 | ISSRE | Reliability of uniprocessor and multiprocessor real-time artificial intelligence planning systems. | Ing-Ray Chen, Ta-Wei Tsao, Farokh B. Bastani |
| 1992 | COMPSAC | Fault tolerant process planning and control. | Rumi M. Dubash, I-Ling Yen, Farokh B. Bastani |
| 1992 | ICTAI | Algorithmic Mapping of Neural Networks with Multiactivation Production Units onto SIMD Machines. | Yiwei Chen, Farokh B. Bastani |
| 1991 | ICTAI | AI in multimedia (panel session). | Nikolaos G. Bourbakis, Robin Williams, Forouzan Golshani, Myron Flickner, Ted Laliotis, Sukhan Lee, Jos G. Delgado-Frias, Dan Hammerstrom, Cris Koutsougeras, Gerald G. Pechanek, Benjamin W. Wah, John Yen, Farokh B. Bastani, Tom Cooper, Karan Harbison-Briggs, Rudy Lauber, Alun D. Preece, Imran A. Zualkernan, W. T. Tsai, Daniel E. Cooke, Martin S. Feather, Stephen Fickas, N. Minsky, Peter G. Selfridge, Douglas Smith |
| 1991 | ICTAI | The capability of feedforward neural networks with Ω-shaped activation functions. | Yiwei Chen, Farokh B. Bastani |
| 1990 | COMPSAC | High performance massively parallel abstract data type components. | I-Ling Yen, Farokh B. Bastani, T. Al-Marzooq, Ernst L. Leiss |
| 1990 | ICTAI | Assessment of the reliability of AI programs. | Farokh B. Bastani, Ing-Ray Chen |
| 1987 | ICDE | A Fault Tolerant Replicated Storage System. | Farokh B. Bastani, I-Ling Yen |
| 1979 | ICSE | On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants. | C. V. Ramamoorthy, Farokh B. Bastani, John M. Favaro, Yu-King R. Mok, C. W. Nam, Keiichi Suzuki |