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 (ICSE, 1979)

Application of a Methodology for the Development and Validation of Reliable Process Control Software. - C. V. Ramamoorthy; Yu-King R. Mok; Farokh B. Bastani; Gene H. Chin; Keiichi Suzuki (IEEE Trans. Software Eng., 1981)

Software Reliability - Status and Perspectives. - C. V. Ramamoorthy; Farokh B. Bastani (IEEE Trans. Software Eng., 1982)

Performance Improvement of Abstractions Through Context Dependent Transformations. - Farokh B. Bastani (IEEE Trans. Software Eng., 1984)

Experiences with a Feedback Version Development Methodology. - Farokh B. Bastani (IEEE Trans. Software Eng., 1985)

On the Uncertainty in the Correctness of Computer Programs. - Farokh B. Bastani (IEEE Trans. Software Eng., 1985)

Foreword Software Reliability. - Amrit L. Goel; Farokh B. Bastani (IEEE Trans. Software Eng., 1985)

Performance Analysis of Concurrent Maintenance Policies for Servers in a Distributed Environment. - Farokh B. Bastani; Wael Hilal Bahaa-El-Din; Ing-Ray Chen (FJCC, 1986)

On the overall reliability of hardware/software systems. - Farokh B. Bastani; Ernst L. Leiss (FJCC, 1987)

Fault tolerant distributed process-control systems. - Farokh B. Bastani; C. V. Ramamoorthy (FJCC, 1987)

A Fault Tolerant Replicated Storage System. - Farokh B. Bastani; I-Ling Yen (ICDE, 1987)

The Effect of Data Structures on the Logical Complexity of Programs. - Farokh B. Bastani; S. Sitharama Iyengar (Commun. ACM, 1987)

Efficient Abstract Data Type Components for Distributed and Parallel Systems. - Farokh B. Bastani; Wael Hilal; S. S. Iyengar 001 (Computer, 1987)

The Role of Artificial Intelligence in Fault-Tolerant Process-Control Systems. - Farokh B. Bastani; Ing-Ray Chen (IEA/AIE (Vol. 2), 1988)

Concurrent Maintenance of Data Structures in a Distributed Environment. - Farokh B. Bastani; S. Sitharama Iyengar; I-Ling Yen (Comput. J., 1988)

An analysis of competing neural network knowledge representation strategies. - Farokh B. Bastani; S. Sitharama Iyengar; Sandeep Gulati (Neural Networks, 1988)

A Class of Inherently Fault Tolerant Distributed Programs. - Farokh B. Bastani; I-Ling Yen; Ing-Ray Chen (IEEE Trans. Software Eng., 1988)

Multilevel Data Structures: Models and Performance. - Abha Moitra; S. Sitharama Iyengar; Farokh B. Bastani; I-Ling Yen (IEEE Trans. Software Eng., 1988)

Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers. - Wael Hilal Bahaa-El-Din; Farokh B. Bastani; Ju-En Teng (IEEE Trans. Software Eng., 1989)

High performance massively parallel abstract data type components. - I-Ling Yen; Farokh B. Bastani; T. Al-Marzooq; Ernst L. Leiss (COMPSAC, 1990)

AI in multimedia (panel session). - Nikolaos G. Bourbakis; Robin Williams 001; Forouzan Golshani; Myron Flickner; Ted Laliotis; Sukhan Lee 001; José G. Delgado-Frias; Dan Hammerstrom; Cris Koutsougeras; Gerald G. Pechanek; Benjamin W. Wah; John Yen; et al. (ICTAI, 1991)

The capability of feedforward neural networks with Ω-shaped activation functions. - Yiwei Chen; Farokh B. Bastani (ICTAI, 1991)

An Inherently Fault Tolerant Sorting Algorithm. - I-Ling Yen; Farokh B. Bastani; Ernst L. Leiss (IPPS, 1991)

A Model for the Stability Analysis of Maintenance Stragies for Linear List. - Farokh B. Bastani; Ing-Ray Chen; Wael Hilal Bahaa-El-Din (Comput. J., 1991)

Fault tolerant process planning and control. - Rumi M. Dubash; I-Ling Yen; Farokh B. Bastani (COMPSAC, 1992)

Algorithmic Mapping of Neural Networks with Multiactivation Production Units onto SIMD Machines. - Yiwei Chen; Farokh B. Bastani (ICTAI, 1992)

Hash Table in Massively Parallel Systems. - I-Ling Yen; Farokh B. Bastani (IPPS, 1992)

A Self-Adjusting Algorithm for Byzantine Agreement. - Yi Zhao; Farokh B. Bastani (Distributed Comput., 1992)

Guest Editors' Introduction: Self-Organizing Knowledge and Data Representation in Distributed Environment. - S. Sitharama Iyengar; Farokh B. Bastani (IEEE Trans. Knowl. Data Eng., 1992)

Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. - Farokh B. Bastani; Giuseppe DiMarco; Alberto Pasquini (ICSE, 1993)

Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel Architectures. - I-Ling Yen; Rumi M. Dubash; Farokh B. Bastani (IPPS, 1993)

Inherent fault tolerance in decentralized process-control systems. - Farokh B. Bastani; I-Ling Yen (ISADS, 1993)

A hybrid architecture for mobile robots based on decentralized, parallel path planning. - Rumi M. Dubash; Farokh B. Bastani (ISADS, 1993)

Reliability of uniprocessor and multiprocessor real-time artificial intelligence planning systems. - Ing-Ray Chen; Ta-Wei Tsao; Farokh B. Bastani (ISSRE, 1993)

The Reliability of Embedded AI Systems. - Farokh B. Bastani; Ing-Ray Chen (IEEE Expert, 1993)

Exploiting redundancy to speed up parallel systems. - I-Ling Yen; Ernst L. Leiss; Farokh B. Bastani (IEEE Parallel Distributed Technol. Syst. Appl., 1993)

Assessment of the Reliability of AI Programs. - Farokh B. Bastani; Ing-Ray Chen (Int. J. Artif. Intell. Tools, 1993)

A Software Reliability Model for Artificial Intelligence Programs. - Farokh B. Bastani; Ing-Ray Chen; Ta-Wei Tsao (Int. J. Softw. Eng. Knowl. Eng., 1993)

Forword: Software Reliability. - Farokh B. Bastani (IEEE Trans. Software Eng., 1993)

Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs. - I-Ling Yen; Farokh B. Bastani (FTCS, 1994)

Automatic Array Alignment as a Step in Hierarchical Program Transformation. - Bojan Cukic; Farokh B. Bastani (IPPS, 1994)

Assessment of a sampling method for measuring safety-critical software reliability. - Farokh B. Bastani; Alberto Pasquini (ISSRE, 1994)

On the reliability of dependable soft real-time cooperating systems. - I-Ling Yen; Ing-Ray Chen; Farokh B. Bastani (WORDS, 1994)

Warm Standby in Hierarchically Structured Process-Control Programs. - Ing-Ray Chen; Farokh B. Bastani (IEEE Trans. Software Eng., 1994)

(Position Paper) Fault-Tolerant Software. - Farokh B. Bastani (COMPSAC, 1995)

Robust parallel resource management in shared memory multiprocessor systems. - I-Ling Yen; Farokh B. Bastani (IPPS, 1995)

On efficiently tolerating general failures in autonomous decentralized multiserver systems. - I-Ling Yen; Farokh B. Bastani (ISADS, 1995)

Parallel Hashing: Collision Resolution Strategies and Performance. - I-Ling Yen; Farokh B. Bastani (J. Parallel Distributed Comput., 1995)

On the Reliability of AI Planning Software in Real-Time Applications. - Ing-Ray Chen; Farokh B. Bastani; Ta-Wei Tsao (IEEE Trans. Knowl. Data Eng., 1995)

Impact of program transformation on software reliability assessment. - Farokh B. Bastani; Bojan Cukic (HASE, 1996)

On reducing the sensitivity of software reliability to variations in the operational profile. - Bojan Cukic; Farokh B. Bastani (ISSRE, 1996)

Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions". - Anouar Jamoussi; Farokh B. Bastani (SEKE, 1996)

Toward dependable safety-critical software. - Farokh B. Bastani; Bojan Cukic; Victoria Hilford; Anouar Jamoussi (WORDS, 1996)

EH* - Extendible Hashing in a Distributed Environment. - Victoria Hilford; Farokh B. Bastani; Bojan Cukic (COMPSAC, 1997)

Diversity in the software development process. - Victoria Hilford; Michael R. Lyu; Bojan Cukic; Anouar Jamoussi; Farokh B. Bastani (WORDS, 1997)

High-Assurance Systems (Introduction to the Special Section). - Sourav Bhattacharya; Akira K. Onoma; Farokh B. Bastani (Commun. ACM, 1997)

Acknowledging TKDE's Fine Past and Looking to an Even Better Future. - Farokh B. Bastani (IEEE Trans. Knowl. Data Eng., 1997)

Introducing New Advisory Board and Editorial Board Members. - Farokh B. Bastani (IEEE Trans. Knowl. Data Eng., 1998)

Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems. - Farokh B. Bastani (Ann. Softw. Eng., 1999)

Editor-in-Chief Prefaces Special-Edition Tribute. - Farokh B. Bastani (IEEE Trans. Knowl. Data Eng., 1999)

Defect-Based Reliability Analysis for Mission-Critical Software. - Raymond A. Paul; Farokh B. Bastani; I-Ling Yen; Venkata U. B. Challagulla (COMPSAC, 2000)

A high-assurance measurement repository system. - Farokh B. Bastani; Simeon C. Ntafos; I-Ling Yen; Doug E. Harris; Richard R. Morrow; Raymond A. Paul (HASE, 2000)

Relational programs. - Farokh B. Bastani (ACM SIGSOFT Softw. Eng. Notes, 2000)

Editorial. - Farokh B. Bastani (IEEE Trans. Knowl. Data Eng., 2000)

A Memory-Based Reasoning Approach for Assessing Software Quality. - Raymond A. Paul; Venkata U. B. Challagulla; Farokh B. Bastani; I-Ling Yen (COMPSAC, 2001)

Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. - Farokh B. Bastani; I-Ling Yen; Sung Kim (HASE, 2001)

An On-Line Repository for Embedded Software. - I-Ling Yen; Latifur Khan; Balakrishnan Prabhakaran 001; Farokh B. Bastani; John Linn (ICTAI, 2001)

Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs. - Farokh B. Bastani; I-Ling Yen; Sung Kim; John Linn; Kashi Rao (ISSRE, 2001)

High-Quality Customizable Embedded Software from COTS Components. - Farokh B. Bastani (SRDS, 2001)

Introducing the New Editor-in-Chief of the IEEE Transactions on Knowledge and Data Engineering. - Farokh B. Bastani (IEEE Trans. Knowl. Data Eng., 2001)

Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems. - I-Ling Yen; Farokh B. Bastani; David J. Taylor (IEEE Trans. Software Eng., 2001)

Software Measurement Data Analysis Using Memory-Based Reasoning. - Raymond A. Paul; Farokh B. Bastani; Venkata U. B. Challagulla; I-Ling Yen (ICTAI, 2002)

Application of AI Planning Techniques to Automated Code Synthesis and Testing. - I-Ling Yen; Farokh B. Bastani; Fiaz Mohamed; Hui Ma 006; John Linn (ICTAI, 2002)

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 (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

A Component-Based Approach for Embedded Software Development. - I-Ling Yen; Jayabharath Goluguri; Farokh B. Bastani; Latifur Khan; John Linn (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

Reliability Assessment of Framework-Based Distributed Embedded Software Systems. - Farokh B. Bastani; Sung Kim; I-Ling Yen; Ing-Ray Chen (ISSRE, 2002)

Guest Editors' Introduction: Special Issue on Embedded Software Engineering. - Yi Deng 001; Farokh B. Bastani (Int. J. Softw. Eng. Knowl. Eng., 2002)

Code Parameterization for Satisfaction of QoS Requirements in Embedded Software. - Kendra M. L. Cooper; Jia Zhou; Hui Ma 006; I-Ling Yen; Farokh B. Bastani (Engineering of Reconfigurable Systems and Algorithms, 2003)

High-Assurance Synthesis of Security Services from Basic Microservices. - Sung Kim; Farokh B. Bastani; I-Ling Yen; Ing-Ray Chen (ISSRE, 2003)

Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components. - Hui Ma 006; I-Ling Yen; Farokh B. Bastani; Kendra M. L. Cooper (ISSRE, 2003)

Relational Program Architecture for High Quality Software Development. - Dongfeng Wang; Farokh B. Bastani; I-Ling Yen (SEKE, 2003)

Automated Software Design of Process-Control Systems. - Dongfeng Wang; Farokh B. Bastani; I-Ling Yen (SEKE, 2003)

Multiparty Computation with Full Computation Power and Reduced Overhead. - Qingkai Ma; Wei Hao 001; I-Ling Yen; Farokh B. Bastani (HASE, 2004)

Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems. - Dongfeng Wang; Hui Ma 006; Farokh B. Bastani; I-Ling Yen (HASE, 2004)

An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. - Mamoun Awad; Latifur Khan; Farokh B. Bastani; I-Ling Yen (ICTAI, 2004)

Automated Test Data Generation Using MEA-Graph Planning. - Manish Gupta 008; Farokh B. Bastani; Latifur Khan; I-Ling Yen (ICTAI, 2004)

Survivable Systems Based on an Adaptive NMR Algorithm. - Qingkai Ma; Wei Li; I-Ling Yen; Farokh B. Bastani; Ing-Ray Chen (IPDPS, 2004)

Secure and Reliable Decentralized Peer-to-Peer Web Cache. - Bo Sheng; Farokh B. Bastani (IPDPS, 2004)

A dynamically growing self-organizing tree (DGSOT) for hierarchical clustering gene expression profiles. - Feng Luo 001; Latifur Khan; Farokh B. Bastani; I-Ling Yen; Jizhong Zhou (Bioinform., 2004)

A Systematic Design Method For High Quality Process-Control Systems Development. - Dongfeng Wang; Farokh B. Bastani; I-Ling Yen (Int. J. Softw. Eng. Knowl. Eng., 2004)

Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks. - Sung Kim; Farokh B. Bastani; I-Ling Yen; Ing-Ray Chen (IEEE Trans. Software Eng., 2004)

An Adaptive Multiparty Protocol for Secure Data Protection. - Qingkai Ma; Liangliang Xiao; I-Ling Yen; Manghui Tu; Farokh B. Bastani (ICPADS (1), 2005)

A Framework to Support Survivable Web Services. - Wei Li; Jiang He; Qingkai Ma; I-Ling Yen; Farokh B. Bastani; Raymond A. Paul (IPDPS, 2005)

On the Optimal Placement of Secure Data Objects over Internet. - Manghui Tu; Peng Li 033; Qingkai Ma; I-Ling Yen; Farokh B. Bastani (IPDPS, 2005)

An Approach for Designing Highly Adaptable Process-Control Systems. - Dongfeng Wang; Farokh B. Bastani; I-Ling Yen; Raymond A. Paul (ISORC, 2005)

A Model and Methodology for Composition QoS Analysis of Embedded Systems. - Hui Ma 006; Dongfeng Wang; Farokh B. Bastani; I-Ling Yen; Kendra M. L. Cooper (IEEE Real-Time and Embedded Technology and Applications Symposium, 2005)

An Object-Oriented Modeling Learning Support System With Inspection Comments. - Tong Gao; Kendra M. L. Cooper; Hui Ma 006; I-Ling Yen; Farokh B. Bastani (SEKE, 2005)

Toward a UML Profile to Support Component-Based Distributed Adaptive Systems. - Tong Gao; Kendra M. L. Cooper; Hui Ma 006; I-Ling Yen; Farokh B. Bastani (SEKE, 2005)

A Formal Foundation of Code Pattern Based Development. - Jian Liu; Farokh B. Bastani; I-Ling Yen (SEKE, 2005)

Meta Code Pattern and Its Refinement. - Jian Liu; Farokh B. Bastani; I-Ling Yen (Software Engineering Research and Practice, 2005)

Toward QoS analysis of adaptive service-oriented architecture. - Tong Gao; Hui Ma 006; I-Ling Yen; Farokh B. Bastani; Wei-Tek Tsai (SOSE, 2005)

A study of the model and algorithms for handling location-dependent continuous queries. - Manish Gupta 008; Manghui Tu; Latifur Khan; Farokh B. Bastani; I-Ling Yen (Knowl. Inf. Syst., 2005)

Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance. - Dongfeng Wang; Farokh B. Bastani; I-Ling Yen (IEEE Trans. Software Eng., 2005)

Instantiation Semantics for Message Sequence Charts. - Gerardo Padilla; Farokh B. Bastani; Carlos Montes de Oca; Miguel A. Serrano (ENC, 2006)

A Unified Framework for Defect Data Analysis Using the MBR Technique. - Venkata U. B. Challagulla; Farokh B. Bastani; I-Ling Yen (ICTAI, 2006)

Automated AI Planning and Code Pattern Based Code Synthesis. - Jicheng Fu; Farokh B. Bastani; I-Ling Yen (ICTAI, 2006)

QoS Adaptive ISHM Systems. - Yansheng Zhang; Jicheng Fu; I-Ling Yen; Farokh B. Bastani; Ann T. Tai; Savio N. Chau; Farrokh Vatan; Amir Fijany (ICTAI, 2006)

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 (ISORC, 2006)

Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. - Wei-Tek Tsai; Miroslaw Malek; Yinong Chen; Farokh B. Bastani (SOSE, 2006)

A Real-Time Scheduling Based Framework for Traffic Coordination Systems. - Nirav Shah 001; Farokh B. Bastani; I-Ling Yen (SUTC (1), 2006)

A Repository for Component-based Embedded Software Development. - Tong Gao; Hui Ma 006; I-Ling Yen; Latifur Khan; Farokh B. Bastani (Int. J. Softw. Eng. Knowl. Eng., 2006)

Replica Placement Algorithms for Mobile Transaction Systems. - Manghui Tu; Peng Li 033; Liangliang Xiao; I-Ling Yen; Farokh B. Bastani (IEEE Trans. Knowl. Data Eng., 2006)

Extending Proxy Caching Capability: Issues and Performance. - Wei Hao 001; Jicheng Fu; Jiang He; I-Ling Yen; Farokh B. Bastani; Ing-Ray Chen (World Wide Web, 2006)

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 (COMPSAC (1), 2007)

Iterative Planning in the Context of Automated Code Synthesis. - Jicheng Fu; Farokh B. Bastani; I-Ling Yen (COMPSAC (1), 2007)

Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. - Yansheng Zhang; Farokh B. Bastani; I-Ling Yen (EUC, 2007)

Placement in Dependable and Secure Peer-to-Peer Data Grids. - Manghui Tu; Liangliang Xiao; Hui Ma 006; I-Ling Yen; Farokh B. Bastani (HASE, 2007)

An Optimization Model for Rigorously Assessing Efficient Heuristics for Traffic Coordination at Intersections. - Nirav Shah 001; Subodha Kumar; Farokh B. Bastani; I-Ling Yen (ITSC, 2007)

Model-Driven Prototyping Based Requirements Elicitation. - Jicheng Fu; Farokh B. Bastani; I-Ling Yen (Monterey Workshop, 2007)

Evaluating Dependable Distributed Storage Systems. - Liangliang Xiao; I-Ling Yen; Yanjin Zhang; Farokh B. Bastani (PDPTA, 2007)

Rapid goal-oriented automated software testing using MEA-graph planning. - Manish Gupta 008; Jicheng Fu; Farokh B. Bastani; Latifur Khan; I-Ling Yen (Softw. Qual. J., 2007)

A Flexible Content Adaptation System Using a Rule-Based Approach. - Jiang He; Tong Gao; Wei Hao 001; I-Ling Yen; Farokh B. Bastani (IEEE Trans. Knowl. Data Eng., 2007)

Service Composition for Real-Time Assurance. - Tong Gao; Hachem Moussa; I-Ling Yen; Farokh B. Bastani; Jun-Jang Jeng (COMPSAC, 2008)

Security in a peer-to-peer data grid storage system. - Liangliang Xiao; I-Ling Yen; Farokh B. Bastani (CSIIRW, 2008)

An Early Reliability Assessment Model for Data-Flow Software Architectures. - Gerardo Padilla; Tong Gao; I-Ling Yen; Farokh B. Bastani; Carlos Montes de Oca (ENC, 2008)

Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. - Jicheng Fu; Farokh B. Bastani; I-Ling Yen (HASE, 2008)

Low Cost Secure Computation for the General Client-Server Computation Model. - Liangliang Xiao; I-Ling Yen; Farokh B. Bastani (HASE, 2008)

FIP: A Fast Planning-Graph-Based Iterative Planner. - Jicheng Fu; Farokh B. Bastani; Vincent Ng 001; I-Ling Yen; Yansheng Zhang (ICTAI (1), 2008)

Availability Analysis of Robotic Swarm Systems. - Yansheng Zhang; Farokh B. Bastani; I-Ling Yen; Jicheng Fu; Ing-Ray Chen (PRDC, 2008)

An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. - Raymond A. Paul; I-Ling Yen; Farokh B. Bastani; Jing Dong 005; Wei-Tek Tsai; Krishna M. Kavi; Arif Ghafoor; Jaideep Srivastava (ICSC, 2008)

An Adaptive User Interface Generation Framework for Web Services. - Jiang He; I-Ling Yen; Tu Peng; Jing Dong 005; Farokh B. Bastani (SERVICES II, 2008)

A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation. - Nirav Shah 001; Subodha Kumar; Farokh B. Bastani; I-Ling Yen (SUTC, 2008)

QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems. - I-Ling Yen; Hui Ma 006; Farokh B. Bastani; Hong Mei 001 (Computer, 2008)

Empirical Assessment of Machine Learning Based Software Defect Prediction Techniques. - Venkata U. B. Challagulla; Farokh B. Bastani; I-Ling Yen; Raymond A. Paul (Int. J. Artif. Intell. Tools, 2008)

Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model. - Jian Huang; Farokh B. Bastani; I-Ling Yen; Jun-Jang Jeng (COMPSAC (2), 2009)

Decentralized Path Planner for Multi-robot Systems. - Yansheng Zhang; Farokh B. Bastani; I-Ling Yen (ICTAI, 2009)

Virtual-device framework for autonomous decentralized multi-robot systems. - Yansheng Zhang; Farokh B. Bastani (ISADS, 2009)

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 (ISSRE, 2009)

Using Service Patterns to Achieve Web Service Composition. - Jicheng Fu; Farokh B. Bastani; I-Ling Yen; Wei Hao 001 (ICSC, 2009)

Extending service model to build an effective service composition framework for cyber-physical systems. - Jian Huang; Farokh B. Bastani; I-Ling Yen; Jing Dong 005; Wenke Zhang; Feng-Jian Wang; Hwai-Jung Hsu (SOCA, 2009)

Guest Editors' Introduction. - Sumit Ghosh; Farokh B. Bastani (Int. J. Semantic Comput., 2009)

Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds. - Liangliang Xiao; Yunqi Ye; I-Ling Yen; Farokh B. Bastani (HASE, 2010)

Scalable Authentication and Key Management in SCADA. - Liangliang Xiao; I-Ling Yen; Farokh B. Bastani (ICPADS, 2010)

Cloud Storage Design Based on Hybrid of Replication and Data Partitioning. - Yunqi Ye; Liangliang Xiao; I-Ling Yen; Farokh B. Bastani (ICPADS, 2010)

Using Virtual Services to Bridge the Semantic Gap. - Jicheng Fu; Wei Hao 001; I-Ling Yen; Farokh B. Bastani (ICSC, 2010)

Virtual Services in Cloud Computing. - Jicheng Fu; Wei Hao 001; Michael Tu; Biao Ma; Joshua Baldwin; Farokh B. Bastani (SERVICES, 2010)

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 005 (SERVICES, 2010)

A Framework for Efficient Service Composition in Cyber-Physical Systems. - Jian Huang; Farokh B. Bastani; I-Ling Yen; Wenke Zhang (SOSE, 2010)

A Framework for QoS and Power Management in a Service Cloud Environment with Mobile Devices. - Yunqi Ye; Nisha Jain; Longsheng Xia; Suhas Joshi; I-Ling Yen; Farokh B. Bastani; Kenneth L. Cureton; Mark K. Bowler (SOSE, 2010)

Secure, Dependable, and High Performance Cloud Storage. - Yunqi Ye; Liangliang Xiao; I-Ling Yen; Farokh B. Bastani (SRDS, 2010)

Toward effective service composition for real-time SOA-based systems. - Hachem Moussa; Tong Gao; I-Ling Yen; Farokh B. Bastani; Jun-Jang Jeng (Serv. Oriented Comput. Appl., 2010)

Leveraging Service Clouds for Power and QoS Management for Mobile Devices. - Yunqi Ye; Liangliang Xiao; I-Ling Yen; Farokh B. Bastani (IEEE CLOUD, 2011)

High-Assurance Reconfigurable Multicore Processor Based Systems. - Manasi Peshave; Farokh B. Bastani; I-Ling Yen (HASE, 2011)

ROBUST Path Strategy Evaluator. - Angie Shia; Farokh B. Bastani; I-Ling Yen (ICTAI, 2011)

Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems. - Jicheng Fu; Vincent Ng 001; Farokh B. Bastani; I-Ling Yen (IJCAI, 2011)

A Highly Resilient Framework for Autonomous Robotic Swarm Systems Operating in Unknown, Hostile Environments. - Angie Shia; Farokh B. Bastani; I-Ling Yen (ISADS, 2011)

Model-Driven Development: Where Does the Code Come From? - Jicheng Fu; Wei Hao 001; Farokh B. Bastani; I-Ling Yen (ICSC, 2011)

Role-based integrated access control and data provenance for SOA based net-centric systems. - Wei She; I-Ling Yen; Farokh B. Bastani; Bao N. Tran; Bhavani Thuraisingham (SOSE, 2011)

Automated Exception Handling in Service Composition Using Holistic Planning. - Jian Huang; Wei Zhu 002; Farokh B. Bastani; I-Ling Yen; Jicheng Fu (CSE, 2012)

Real-Time Anomaly Detection in Streams of Execution Traces. - Wenke Zhang; Favyen Bastani; I-Ling Yen; Kevin Hulin; Farokh B. Bastani; Latifur Khan (HASE, 2012)

Handling Planning Failures with Virtual Actions. - Jicheng Fu; Sijie Tian; Vincent Ng 001; Farokh B. Bastani; I-Ling Yen (ICTAI, 2012)

Information Assurance for Real-Time Decision Support. - Liangliang Xiao; Farokh B. Bastani; I-Ling Yen; Raymond A. Paul (ISORC Workshops, 2012)

Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms. - Guang Zhou; Yansheng Zhang; Farokh B. Bastani; I-Ling Yen (ISORC, 2012)

Optimization models for assessing the peak capacity utilization of intelligent transportation systems. - Nirav Shah 001; Subodha Kumar; Farokh B. Bastani; I-Ling Yen (Eur. J. Oper. Res., 2012)

Access Protocols in Data Partitioning Based Cloud Storage. - Yunqi Ye; Liangliang Xiao; Yinzi Chen; I-Ling Yen; Farokh B. Bastani; Ing-Ray Chen (IEEE CLOUD, 2013)

Multi-purpose Planning for Practical Web Service Composition Problems. - Wei Zhu 002; Jian Huang; Farokh B. Bastani; I-Ling Yen (ICSSI, 2013)

Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing. - Manghui Tu; Hui Ma 006; Liangliang Xiao; I-Ling Yen; Farokh B. Bastani; Dianxiang Xu (J. Grid Comput., 2013)

Robust object tracking via online informative feature selection. - Jinwei Yuan; Farokh B. Bastani (ICIP, 2014)

Online feature subset selection for object tracking. - Jinwei Yuan; Farokh B. Bastani (ICIP, 2014)

Fast Strong Planning for FOND Problems with Multi-Root Directed Acyclic Graphs. - Andres Calderon Jaramillo; Jicheng Fu; Vincent Ng 001; Farokh B. Bastani; I-Ling Yen (Int. J. Artif. Intell. Tools, 2014)

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 (COMPSAC (Stephen S. Yau Academic Symposium), 2015)

A PT-SOA Model for CPS/IoT Services. - Wei Zhu 002; Guang Zhou; I-Ling Yen; Farokh B. Bastani (ICWS, 2015)

A Smart Physical World Based on Service Technologies, Big Data, and Game-Based Crowd Sourcing. - I-Ling Yen; Guang Zhou; Wei Zhu 002; Farokh B. Bastani; San-Yih Hwang (ICWS, 2015)

Workload Estimation for Improving Resource Management Decisions in the Cloud. - Jemishkumar Patel; Vasu Jindal; I-Ling Yen; Farokh B. Bastani; Jie Xu 007; Peter Garraghan (ISADS, 2015)

Integrating Clustering and Learning for Improved Workload Prediction in the Cloud. - Yongjia Yu; Vasu Jindal; I-Ling Yen; Farokh B. Bastani (CLOUD, 2016)

Robust real-time UAV based power line detection and tracking. - Guang Zhou; Jinwei Yuan; I-Ling Yen; Farokh B. Bastani (ICIP, 2016)

Multi-tenant Access and Information Flow Control for SaaS. - Nidhiben Solanki; Wei Zhu 002; I-Ling Yen; Farokh B. Bastani; Elham Rezvani (ICWS, 2016)

A Self-Stabilizing Algorithm for the Foraging Problem in Swarm Robotic Systems. - Guang Zhou; Farokh B. Bastani; Wei Zhu 002; I-Ling Yen (IROS, 2016)

Toward Semantic Enhancement of Monitoring Data Repository. - Shuai Zhang 012; I-Ling Yen; Farokh B. Bastani (ICSC, 2016)

Rapid Service Composition Reasoning for Agile Cyber Physical Systems. - I-Ling Yen; Wei Zhu 002; Farokh B. Bastani; Yongtao Huang; Guang Zhou (SOSE, 2016)

Fast strong planning for fully observable nondeterministic planning problems. - Jicheng Fu; Andres Calderon Jaramillo; Vincent Ng 001; Farokh B. Bastani; I-Ling Yen (Ann. Math. Artif. Intell., 2016)

Role-Based Integrated Access Control and Data Provenance for SOA Based Net-Centric Systems. - Wei She; Wei Zhu 002; I-Ling Yen; Farokh B. Bastani; Bhavani Thuraisingham (IEEE Trans. Serv. Comput., 2016)

Routing in IoT Network for Dynamic Service Discovery. - Hessam Moeini; I-Ling Yen; Farokh B. Bastani (ICPADS, 2017)

From Software Services to IoT Services: The Modeling Perspective. - I-Ling Yen; Farokh B. Bastani; San-Yih Hwang; Wei Zhu 002; Guang Zhou (ICServ, 2017)

Automated Holistic Service Composition: Modeling and Composition Reasoning Techniques. - Wei Zhu 002; Farokh B. Bastani; I-Ling Yen; Jicheng Fu; Yuqun Zhang (ICWS, 2017)

Efficient Caching for Peer-to-Peer Service Discovery in Internet of Things. - Hessam Moeini; I-Ling Yen; Farokh B. Bastani (ICWS, 2017)

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 001 (ICWS, 2017)

A Semantic Model for Information Sharing in Autonomous Vehicle Systems. - Shuai Zhang 012; I-Ling Yen; Farokh B. Bastani; Hessam Moeini; Darnell Moore (ICSC, 2017)

A Framework for IoT-Based Monitoring and Diagnosis of Manufacturing Systems. - I-Ling Yen; Shuai Zhang 012; Farokh B. Bastani; Yuqun Zhang (SOSE, 2017)

Resource and Role Hierarchy Based Access Control for Resourceful Systems. - Nidhiben Solanki; Yongtao Huang; I-Ling Yen; Farokh B. Bastani; Yuqun Zhang (COMPSAC (2), 2018)

Improving the Smartness of Cloud Management via Machine Learning Based Workload Prediction. - Yongjia Yu; Vasu Jindal; Farokh B. Bastani; Fang Li 010; I-Ling Yen (COMPSAC (2), 2018)

Semantic-Based Information Sharing in Vehicular Networks. - Himlun Bista; I-Ling Yen; Farokh B. Bastani; Martin Mueller; Darnell Moore (ICWS, 2018)

Trustworthy Computing in the Dynamic IoT Cloud. - I-Ling Yen; Farokh B. Bastani; Nidhiben Solanki; Yongtao Huang (IRI, 2018)

Service-Oriented IoT Modeling and Its Deviation from Software Services. - I-Ling Yen; Farokh B. Bastani; Wei Zhu 002; Hessam Moeini; San-Yih Hwang; Yuqun Zhang (SOSE, 2018)

A Smart Role Mapping Recommendation System. - Lijuan Diao; Huaduo Wang; Sultan Alsarra; I-Ling Yen; Farokh B. Bastani (COMPSAC (2), 2019)

Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure. - Shuai Zhang 012; Wenxi Zeng; I-Ling Yen; Farokh B. Bastani (HASE, 2019)

Toward Data Discovery in Dynamic Smart City Applications. - Hessam Moeini; Wenxi Zeng; I-Ling Yen; Farokh B. Bastani (HPCC/SmartCity/DSS, 2019)

Efficient Multi-Keyword Based Service Discovery Routing in Peer-to-Peer IoT Networks. - Hessam Moeini; I-Ling Yen; Farokh B. Bastani (ICPADS, 2019)

Service Specification and Discovery in IoT Networks. - Hessam Moeini; I-Ling Yen; Farokh B. Bastani (ICWS, 2019)

Toward Semi-Automated Role Mapping for IoT Systems in Smart Cities. - Fang Li 010; Huaduo Wang; Lijuan Diao; I-Ling Yen; Farokh B. Bastani (ISC2, 2019)

An OpenRBAC Semantic Model for Access Control in Vehicular Networks. - Sultan Alsarra; I-Ling Yen; Yongtao Huang; Farokh B. Bastani; Bhavani Thuraisingham (SACMAT, 2019)

Toward Better Service Performance Management via Workload Prediction. - Hachem Moussa; I-Ling Yen; Farokh B. Bastani; Yulin Dong; Wei He (SCC, 2019)

Monitoring Data Management Services on the Edge Using Enhanced TSDBs. - Wenxi Zeng; Shuai Zhang 012; I-Ling Yen; Farokh B. Bastani; San-Yih Hwang (SOCA, 2019)

Invited Paper: Semantic IoT Data Description and Discovery in the IoT-Edge-Fog-Cloud Infrastructure. - Wenxi Zeng; Shuai Zhang 012; I-Ling Yen; Farokh B. Bastani (SOSE, 2019)

Service Management in the Edge Cloud for Stream Processing of IoT Data. - Hachem Moussa; I-Ling Yen; Farokh B. Bastani (CLOUD, 2020)

Integrating clustering and regression for workload estimation in the cloud. - Yongjia Yu; Vasu Jindal; I-Ling Yen; Farokh B. Bastani; Jie Xu 007; Peter Garraghan (Concurr. Comput. Pract. Exp., 2020)

Summarization in Semantic Based Service Discovery in Dynamic IoT-Edge Networks. - Hessam Moeini; I-Ling Yen; Farokh B. Bastani (CoRR, 2020)

Into Summarization Techniques for IoT Data Discovery Routing. - Hieu Tran; Son Nguyen; I-Ling Yen; Farokh B. Bastani (CLOUD, 2021)

Decentralized Service Discovery and Composition in Dynamic IoT Systems. - Hessam Moeini; I-Ling Yen; Farokh B. Bastani (ICPADS, 2021)

TLETA: Deep Transfer Learning and Integrated Cellular Knowledge for Estimated Time of Arrival Prediction. - Hieu Tran; Son Nguyen; I-Ling Yen; Farokh B. Bastani (ITSC, 2022)

IoT Data Discovery: Routing Table and Summarization Techniques. - Hieu Tran; Son Nguyen; I-Ling Yen; Farokh B. Bastani (CoRR, 2022)

Multi-Keyword Based Information Routing in Peer-to-Peer Networks. - Hieu Tran; Miao Miao; Farokh B. Bastani; I-Ling Yen (ICOIN, 2023)

Access Control in Dynamic IoT Scenarios. - I-Ling Yen; Ayu Tiwari; Farokh B. Bastani (ISADS, 2023)

Pruning Blockchain Protocols for Efficient Access Control in IoT Systems. - Yongtao Huang; I-Ling Yen; Farokh B. Bastani (ICPADS, 2024)

Collaborative Access Control for IoT - A Blockchain Approach. - Yongtao Huang; I-Ling Yen; Farokh B. Bastani (CoRR, 2024)