Farokh B. Bastani

223 papers A* 4A 22B 38C 19Misc 2Journal 62Unranked 76

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Collaborative Access Control for IoT - A Blockchain Approach. CoRR Yongtao Huang, I-Ling Yen, Farokh B. Bastani
2024	B	`conf`	Pruning Blockchain Protocols for Efficient Access Control in IoT Systems. ICPADS Yongtao Huang, I-Ling Yen, Farokh B. Bastani
2024	J	`jnl`	Pruning Blockchain Protocols for Efficient Access Control in IoT Systems. CoRR Yongtao Huang, I-Ling Yen, Farokh B. Bastani
2023	C	`conf`	Access Control in Dynamic IoT Scenarios. ISADS I-Ling Yen, Ayu Tiwari, Farokh B. Bastani
2023	—	`conf`	Multi-Keyword Based Information Routing in Peer-to-Peer Networks. ICOIN Hieu Tran, Miao Miao, Farokh B. Bastani, I-Ling Yen
2022	J	`jnl`	IoT Data Discovery: Routing Table and Summarization Techniques. CoRR Hieu Tran, Son Nguyen, I-Ling Yen, Farokh B. Bastani
2022	—	`conf`	TLETA: Deep Transfer Learning and Integrated Cellular Knowledge for Estimated Time of Arrival Prediction. ITSC Hieu Tran, Son Nguyen, I-Ling Yen, Farokh B. Bastani
2022	J	`jnl`	TLETA: Deep Transfer Learning and Integrated Cellular Knowledge for Estimated Time of Arrival Prediction. CoRR Hieu Tran, Son Nguyen, I-Ling Yen, Farokh B. Bastani
2021	B	`conf`	Decentralized Service Discovery and Composition in Dynamic IoT Systems. ICPADS Hessam Moeini, I-Ling Yen, Farokh B. Bastani
2021	B	`conf`	Into Summarization Techniques for IoT Data Discovery Routing. CLOUD Hieu Tran, Son Nguyen, I-Ling Yen, Farokh B. Bastani
2021	J	`jnl`	Into Summarization Techniques for IoT Data Discovery Routing. CoRR Hieu Tran, Son Nguyen, I-Ling Yen, Farokh B. Bastani
2020	J	`jnl`	Integrating clustering and regression for workload estimation in the cloud. Concurr. Comput. Pract. Exp. Yongjia Yu, Vasu Jindal, I-Ling Yen, Farokh B. Bastani, Jie Xu, Peter Garraghan
2020	B	`conf`	Service Management in the Edge Cloud for Stream Processing of IoT Data. CLOUD Hachem Moussa, I-Ling Yen, Farokh B. Bastani
2020	J	`jnl`	Summarization in Semantic Based Service Discovery in Dynamic IoT-Edge Networks. CoRR Hessam Moeini, I-Ling Yen, Farokh B. Bastani
2019	—	`conf`	A Smart Role Mapping Recommendation System. COMPSAC (2) Lijuan Diao, Huaduo Wang, Sultan Alsarra, I-Ling Yen, Farokh B. Bastani
2019	C	`conf`	An OpenRBAC Semantic Model for Access Control in Vehicular Networks. SACMAT Sultan Alsarra, I-Ling Yen, Yongtao Huang, Farokh B. Bastani, Bhavani Thuraisingham
2019	B	`conf`	Efficient Multi-Keyword Based Service Discovery Routing in Peer-to-Peer IoT Networks. ICPADS Hessam Moeini, I-Ling Yen, Farokh B. Bastani
2019	—	`conf`	Invited Paper: Semantic IoT Data Description and Discovery in the IoT-Edge-Fog-Cloud Infrastructure. SOSE Wenxi Zeng, Shuai Zhang, I-Ling Yen, Farokh B. Bastani
2019	—	`conf`	Monitoring Data Management Services on the Edge Using Enhanced TSDBs. SOCA Wenxi Zeng, Shuai Zhang, I-Ling Yen, Farokh B. Bastani, San-Yih Hwang
2019	—	`conf`	Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure. HASE Shuai Zhang, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani
2019	J	`jnl`	Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure. CoRR Shuai Zhang, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani
2019	A	`conf`	Service Specification and Discovery in IoT Networks. ICWS Hessam Moeini, I-Ling Yen, Farokh B. Bastani
2019	—	`conf`	Toward Better Service Performance Management via Workload Prediction. SCC Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Yulin Dong, Wei He
2019	—	`conf`	Toward Data Discovery in Dynamic Smart City Applications. HPCC/SmartCity/DSS Hessam Moeini, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani
2019	—	`conf`	Toward Semi-Automated Role Mapping for IoT Systems in Smart Cities. ISC2 Fang Li, Huaduo Wang, Lijuan Diao, I-Ling Yen, Farokh B. Bastani
2018	—	`conf`	Improving the Smartness of Cloud Management via Machine Learning Based Workload Prediction. COMPSAC (2) Yongjia Yu, Vasu Jindal, Farokh B. Bastani, Fang Li, I-Ling Yen
2018	—	`conf`	Resource and Role Hierarchy Based Access Control for Resourceful Systems. COMPSAC (2) Nidhiben Solanki, Yongtao Huang, I-Ling Yen, Farokh B. Bastani, Yuqun Zhang
2018	A	`conf`	Semantic-Based Information Sharing in Vehicular Networks. ICWS Himlun Bista, I-Ling Yen, Farokh B. Bastani, Martin Mueller, Darnell Moore
2018	—	`conf`	Service-Oriented IoT Modeling and Its Deviation from Software Services. SOSE I-Ling Yen, Farokh B. Bastani, Wei Zhu, Hessam Moeini, San-Yih Hwang, Yuqun Zhang
2018	Misc	`conf`	Trustworthy Computing in the Dynamic IoT Cloud. IRI I-Ling Yen, Farokh B. Bastani, Nidhiben Solanki, Yongtao Huang
2017	—	`conf`	A Framework for IoT-Based Monitoring and Diagnosis of Manufacturing Systems. SOSE I-Ling Yen, Shuai Zhang, Farokh B. Bastani, Yuqun Zhang
2017	—	`conf`	A Semantic Model for Information Sharing in Autonomous Vehicle Systems. ICSC Shuai Zhang, I-Ling Yen, Farokh B. Bastani, Hessam Moeini, Darnell Moore
2017	A	`conf`	Automated Holistic Service Composition: Modeling and Composition Reasoning Techniques. ICWS Wei Zhu, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Yuqun Zhang
2017	A	`conf`	Efficient Caching for Peer-to-Peer Service Discovery in Internet of Things. ICWS Hessam Moeini, I-Ling Yen, Farokh B. Bastani
2017	—	`conf`	From Software Services to IoT Services: The Modeling Perspective. ICServ I-Ling Yen, Farokh B. Bastani, San-Yih Hwang, Wei Zhu, Guang Zhou
2017	B	`conf`	Routing in IoT Network for Dynamic Service Discovery. ICPADS Hessam Moeini, I-Ling Yen, Farokh B. Bastani
2017	A	`conf`	SaaS for Automated Job Performance Appraisals Using Service Technologies and Big Data Analytics. ICWS I-Ling Yen, Farokh B. Bastani, Yongtao Huang, Yuqun Zhang, Xin Yao
2016	A	`conf`	A Self-Stabilizing Algorithm for the Foraging Problem in Swarm Robotic Systems. IROS Guang Zhou, Farokh B. Bastani, Wei Zhu, I-Ling Yen
2016	J	`jnl`	Fast strong planning for fully observable nondeterministic planning problems. Ann. Math. Artif. Intell. Jicheng Fu, Andres Calderon Jaramillo, Vincent Ng, Farokh B. Bastani, I-Ling Yen
2016	B	`conf`	Integrating Clustering and Learning for Improved Workload Prediction in the Cloud. CLOUD Yongjia Yu, Vasu Jindal, I-Ling Yen, Farokh B. Bastani
2016	A	`conf`	Multi-tenant Access and Information Flow Control for SaaS. ICWS Nidhiben Solanki, Wei Zhu, I-Ling Yen, Farokh B. Bastani, Elham Rezvani
2016	—	`conf`	Rapid Service Composition Reasoning for Agile Cyber Physical Systems. SOSE I-Ling Yen, Wei Zhu, Farokh B. Bastani, Yongtao Huang, Guang Zhou
2016	B	`conf`	Robust real-time UAV based power line detection and tracking. ICIP Guang Zhou, Jinwei Yuan, I-Ling Yen, Farokh B. Bastani
2016	J	`jnl`	Role-Based Integrated Access Control and Data Provenance for SOA Based Net-Centric Systems. IEEE Trans. Serv. Comput. Wei She, Wei Zhu, I-Ling Yen, Farokh B. Bastani, Bhavani Thuraisingham
2016	—	`conf`	Toward Semantic Enhancement of Monitoring Data Repository. ICSC Shuai Zhang, I-Ling Yen, Farokh B. Bastani
2015	A	`conf`	A PT-SOA Model for CPS/IoT Services. ICWS Wei Zhu, Guang Zhou, I-Ling Yen, Farokh B. Bastani
2015	A	`conf`	A Smart Physical World Based on Service Technologies, Big Data, and Game-Based Crowd Sourcing. ICWS I-Ling Yen, Guang Zhou, Wei Zhu, Farokh B. Bastani, San-Yih Hwang
2015	—	`conf`	An Access and Information Flow Control Paradigm for Secure Information Sharing in Service-Based Systems. COMPSAC (Stephen S. Yau Academic Symposium) Nidhiben Solanki, Timothy Hoffman, I-Ling Yen, Farokh B. Bastani, Stephen S. Yau
2015	C	`conf`	Workload Estimation for Improving Resource Management Decisions in the Cloud. ISADS Jemishkumar Patel, Vasu Jindal, I-Ling Yen, Farokh B. Bastani, Jie Xu, Peter Garraghan
2014	J	`jnl`	Fast Strong Planning for FOND Problems with Multi-Root Directed Acyclic Graphs. Int. J. Artif. Intell. Tools Andres Calderon Jaramillo, Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen
2014	B	`conf`	Online feature subset selection for object tracking. ICIP Jinwei Yuan, Farokh B. Bastani
2014	B	`conf`	Robust object tracking via online informative feature selection. ICIP Jinwei Yuan, Farokh B. Bastani
2013	—	`conf`	Access Protocols in Data Partitioning Based Cloud Storage. IEEE CLOUD Yunqi Ye, Liangliang Xiao, Yinzi Chen, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen
2013	J	`jnl`	Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing. J. Grid Comput. Manghui Tu, Hui Ma, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani, Dianxiang Xu
2013	B	`conf`	Fast Strong Planning for FOND Problems with Multi-root Directed Acyclic Graphs. ICTAI Jicheng Fu, Andres Calderon Jaramillo, Vincent Ng, Farokh B. Bastani, I-Ling Yen
2013	—	`conf`	Multi-purpose Planning for Practical Web Service Composition Problems. ICSSI Wei Zhu, Jian Huang, Farokh B. Bastani, I-Ling Yen
2012	—	`conf`	Automated Exception Handling in Service Composition Using Holistic Planning. CSE Jian Huang, Wei Zhu, Farokh B. Bastani, I-Ling Yen, Jicheng Fu
2012	B	`conf`	Handling Planning Failures with Virtual Actions. ICTAI Jicheng Fu, Sijie Tian, Vincent Ng, Farokh B. Bastani, I-Ling Yen
2012	—	`conf`	Information Assurance for Real-Time Decision Support. ISORC Workshops Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
2012	J	`jnl`	Optimization models for assessing the peak capacity utilization of intelligent transportation systems. Eur. J. Oper. Res. Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen
2012	—	`conf`	Real-Time Anomaly Detection in Streams of Execution Traces. HASE Wenke Zhang, Favyen Bastani, I-Ling Yen, Kevin Hulin, Farokh B. Bastani, Latifur Khan
2012	C	`conf`	Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms. ISORC Guang Zhou, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen
2011	C	`conf`	A Highly Resilient Framework for Autonomous Robotic Swarm Systems Operating in Unknown, Hostile Environments. ISADS Angie Shia, Farokh B. Bastani, I-Ling Yen
2011	—	`conf`	High-Assurance Reconfigurable Multicore Processor Based Systems. HASE Manasi Peshave, Farokh B. Bastani, I-Ling Yen
2011	—	`conf`	Leveraging Service Clouds for Power and QoS Management for Mobile Devices. IEEE CLOUD Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani
2011	—	`conf`	Model-Driven Development: Where Does the Code Come From? ICSC Jicheng Fu, Wei Hao, Farokh B. Bastani, I-Ling Yen
2011	B	`conf`	ROBUST Path Strategy Evaluator. ICTAI Angie Shia, Farokh B. Bastani, I-Ling Yen
2011	—	`conf`	Role-based integrated access control and data provenance for SOA based net-centric systems. SOSE Wei She, I-Ling Yen, Farokh B. Bastani, Bao N. Tran, Bhavani Thuraisingham
2011	A*	`conf`	Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems. IJCAI Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen
2010	—	`conf`	A Framework for Efficient Service Composition in Cyber-Physical Systems. SOSE Jian Huang, Farokh B. Bastani, I-Ling Yen, Wenke Zhang
2010	—	`conf`	A Framework for QoS and Power Management in a Service Cloud Environment with Mobile Devices. SOSE Yunqi Ye, Nisha Jain, Longsheng Xia, Suhas Joshi, I-Ling Yen, Farokh B. Bastani, Kenneth L. Cureton, Mark K. Bowler
2010	B	`conf`	Cloud Storage Design Based on Hybrid of Replication and Data Partitioning. ICPADS Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani
2010	—	`conf`	Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds. HASE Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani
2010	B	`conf`	Real-Time Service-Oriented Distributed Governance. SERVICES Jian Huang, Yansheng Zhang, I-Ling Yen, John T. Carson, Mike F. Siok, Farokh B. Bastani, Yajing Zhao, Jing Dong
2010	B	`conf`	Scalable Authentication and Key Management in SCADA. ICPADS Liangliang Xiao, I-Ling Yen, Farokh B. Bastani
2010	B	`conf`	Secure, Dependable, and High Performance Cloud Storage. SRDS Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani
2010	J	`jnl`	Toward effective service composition for real-time SOA-based systems. Serv. Oriented Comput. Appl. Hachem Moussa, Tong Gao, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng
2010	—	`conf`	Using Virtual Services to Bridge the Semantic Gap. ICSC Jicheng Fu, Wei Hao, I-Ling Yen, Farokh B. Bastani
2010	B	`conf`	Virtual Services in Cloud Computing. SERVICES Jicheng Fu, Wei Hao, Michael Tu, Biao Ma, Joshua Baldwin, Farokh B. Bastani
2009	B	`conf`	Decentralized Path Planner for Multi-robot Systems. ICTAI Yansheng Zhang, Farokh B. Bastani, I-Ling Yen
2009	—	`conf`	Extending service model to build an effective service composition framework for cyber-physical systems. SOCA Jian Huang, Farokh B. Bastani, I-Ling Yen, Jing Dong, Wenke Zhang, Feng-Jian Wang, Hwai-Jung Hsu
2009	J	`jnl`	Guest Editors' Introduction. Int. J. Semantic Comput. Sumit Ghosh, Farokh B. Bastani
2009	A	`conf`	Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems. ISSRE Yansheng Zhang, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau
2009	—	`conf`	Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model. COMPSAC (2) Jian Huang, Farokh B. Bastani, I-Ling Yen, Jun-Jang Jeng
2009	—	`conf`	Using Service Patterns to Achieve Web Service Composition. ICSC Jicheng Fu, Farokh B. Bastani, I-Ling Yen, Wei Hao
2009	C	`conf`	Virtual-device framework for autonomous decentralized multi-robot systems. ISADS Yansheng Zhang, Farokh B. Bastani
2008	—	`conf`	A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation. SUTC Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen
2008	—	`conf`	An Adaptive User Interface Generation Framework for Web Services. SERVICES II Jiang He, I-Ling Yen, Tu Peng, Jing Dong, Farokh B. Bastani
2008	—	`conf`	An Early Reliability Assessment Model for Data-Flow Software Architectures. ENC Gerardo Padilla, Tong Gao, I-Ling Yen, Farokh B. Bastani, Carlos Montes de Oca
2008	—	`conf`	An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. ICSC Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna M. Kavi, Arif Ghafoor, Jaideep Srivastava
2008	—	`conf`	Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. HASE Jicheng Fu, Farokh B. Bastani, I-Ling Yen
2008	C	`conf`	Availability Analysis of Robotic Swarm Systems. PRDC Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen
2008	J	`jnl`	Empirical Assessment of Machine Learning Based Software Defect Prediction Techniques. Int. J. Artif. Intell. Tools Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
2008	—	`conf`	FIP: A Fast Planning-Graph-Based Iterative Planner. ICTAI (1) Jicheng Fu, Farokh B. Bastani, Vincent Ng, I-Ling Yen, Yansheng Zhang
2008	—	`conf`	Low Cost Secure Computation for the General Client-Server Computation Model. HASE Liangliang Xiao, I-Ling Yen, Farokh B. Bastani
2008	J	`jnl`	QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems. Computer I-Ling Yen, Hui Ma, Farokh B. Bastani, Hong Mei
2008	—	`conf`	Security in a peer-to-peer data grid storage system. CSIIRW Liangliang Xiao, I-Ling Yen, Farokh B. Bastani
2008	B	`conf`	Service Composition for Real-Time Assurance. COMPSAC Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng
2007	J	`jnl`	A Flexible Content Adaptation System Using a Rule-Based Approach. IEEE Trans. Knowl. Data Eng. Jiang He, Tong Gao, Wei Hao, I-Ling Yen, Farokh B. Bastani
2007	—	`conf`	A Machine Learning-Based Reliability Assessment Model for Critical Software Systems. COMPSAC (1) Venkata U. B. Challagulla, Farokh B. Bastani, Raymond A. Paul, Wei-Tek Tsai, Yinong Chen
2007	—	`conf`	An Optimization Model for Rigorously Assessing Efficient Heuristics for Traffic Coordination at Intersections. ITSC Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen
2007	Misc	`conf`	Evaluating Dependable Distributed Storage Systems. PDPTA Liangliang Xiao, I-Ling Yen, Yanjin Zhang, Farokh B. Bastani
2007	—	`conf`	Iterative Planning in the Context of Automated Code Synthesis. COMPSAC (1) Jicheng Fu, Farokh B. Bastani, I-Ling Yen
2007	—	`conf`	Model-Driven Prototyping Based Requirements Elicitation. Monterey Workshop Jicheng Fu, Farokh B. Bastani, I-Ling Yen
2007	—	`conf`	Placement in Dependable and Secure Peer-to-Peer Data Grids. HASE Manghui Tu, Liangliang Xiao, Hui Ma, I-Ling Yen, Farokh B. Bastani
2007	J	`jnl`	Rapid goal-oriented automated software testing using MEA-graph planning. Softw. Qual. J. Manish Gupta, Jicheng Fu, Farokh B. Bastani, Latifur Khan, I-Ling Yen
2007	C	`conf`	Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. EUC Yansheng Zhang, Farokh B. Bastani, I-Ling Yen
2006	—	`conf`	A Real-Time Scheduling Based Framework for Traffic Coordination Systems. SUTC (1) Nirav Shah, Farokh B. Bastani, I-Ling Yen
2006	J	`jnl`	A Repository for Component-based Embedded Software Development. Int. J. Softw. Eng. Knowl. Eng. Tong Gao, Hui Ma, I-Ling Yen, Latifur Khan, Farokh B. Bastani
2006	B	`conf`	A Unified Framework for Defect Data Analysis Using the MBR Technique. ICTAI Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen
2006	B	`conf`	Automated AI Planning and Code Pattern Based Code Synthesis. ICTAI Jicheng Fu, Farokh B. Bastani, I-Ling Yen
2006	C	`conf`	Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns. ISORC Jian Liu, Jicheng Fu, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Ann T. Tai, Savio N. Chau
2006	J	`jnl`	Extending Proxy Caching Capability: Issues and Performance. World Wide Web Wei Hao, Jicheng Fu, Jiang He, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen
2006	—	`conf`	Instantiation Semantics for Message Sequence Charts. ENC Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano
2006	—	`conf`	Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. SOSE Wei-Tek Tsai, Miroslaw Malek, Yinong Chen, Farokh B. Bastani
2006	B	`conf`	QoS Adaptive ISHM Systems. ICTAI Yansheng Zhang, Jicheng Fu, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau, Farrokh Vatan, Amir Fijany
2006	J	`jnl`	Replica Placement Algorithms for Mobile Transaction Systems. IEEE Trans. Knowl. Data Eng. Manghui Tu, Peng Li, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani
2005	C	`conf`	A Formal Foundation of Code Pattern Based Development. SEKE Jian Liu, Farokh B. Bastani, I-Ling Yen
2005	A	`conf`	A Framework to Support Survivable Web Services. IPDPS Wei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul
2005	A	`conf`	A Model and Methodology for Composition QoS Analysis of Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Hui Ma, Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Kendra M. L. Cooper
2005	J	`jnl`	A study of the model and algorithms for handling location-dependent continuous queries. Knowl. Inf. Syst. Manish Gupta, Manghui Tu, Latifur Khan, Farokh B. Bastani, I-Ling Yen
2005	—	`conf`	An Adaptive Multiparty Protocol for Secure Data Protection. ICPADS (1) Qingkai Ma, Liangliang Xiao, I-Ling Yen, Manghui Tu, Farokh B. Bastani
2005	C	`conf`	An Approach for Designing Highly Adaptable Process-Control Systems. ISORC Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
2005	C	`conf`	An Object-Oriented Modeling Learning Support System With Inspection Comments. SEKE Tong Gao, Kendra M. L. Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani
2005	J	`jnl`	Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance. IEEE Trans. Software Eng. Dongfeng Wang, Farokh B. Bastani, I-Ling Yen
2005	—	`conf`	Empirical Assessment of Machine Learning based Software Defect Prediction Techniques. WORDS Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
2005	—	`conf`	Meta Code Pattern and Its Refinement. Software Engineering Research and Practice Jian Liu, Farokh B. Bastani, I-Ling Yen
2005	A	`conf`	On the Optimal Placement of Secure Data Objects over Internet. IPDPS Manghui Tu, Peng Li, Qingkai Ma, I-Ling Yen, Farokh B. Bastani
2005	—	`conf`	Toward QoS analysis of adaptive service-oriented architecture. SOSE Tong Gao, Hui Ma, I-Ling Yen, Farokh B. Bastani, Wei-Tek Tsai
2005	C	`conf`	Toward a UML Profile to Support Component-Based Distributed Adaptive Systems. SEKE Tong Gao, Kendra M. L. Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani
2004	J	`jnl`	A Systematic Design Method For High Quality Process-Control Systems Development. Int. J. Softw. Eng. Knowl. Eng. Dongfeng Wang, Farokh B. Bastani, I-Ling Yen
2004	J	`jnl`	A dynamically growing self-organizing tree (DGSOT) for hierarchical clustering gene expression profiles. Bioinform. Feng Luo, Latifur Khan, Farokh B. Bastani, I-Ling Yen, Jizhong Zhou
2004	B	`conf`	An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. ICTAI Mamoun Awad, Latifur Khan, Farokh B. Bastani, I-Ling Yen
2004	B	`conf`	Automated Test Data Generation Using MEA-Graph Planning. ICTAI Manish Gupta, Farokh B. Bastani, Latifur Khan, I-Ling Yen
2004	—	`conf`	Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems. HASE Dongfeng Wang, Hui Ma, Farokh B. Bastani, I-Ling Yen
2004	—	`conf`	Multiparty Computation with Full Computation Power and Reduced Overhead. HASE Qingkai Ma, Wei Hao, I-Ling Yen, Farokh B. Bastani
2004	A	`conf`	Secure and Reliable Decentralized Peer-to-Peer Web Cache. IPDPS Bo Sheng, Farokh B. Bastani
2004	A	`conf`	Survivable Systems Based on an Adaptive NMR Algorithm. IPDPS Qingkai Ma, Wei Li, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen
2004	J	`jnl`	Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks. IEEE Trans. Software Eng. Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen
2003	C	`conf`	Automated Software Design of Process-Control Systems. SEKE Dongfeng Wang, Farokh B. Bastani, I-Ling Yen
2003	—	`conf`	Code Parameterization for Satisfaction of QoS Requirements in Embedded Software. Engineering of Reconfigurable Systems and Algorithms Kendra M. L. Cooper, Jia Zhou, Hui Ma, I-Ling Yen, Farokh B. Bastani
2003	A	`conf`	Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components. ISSRE Hui Ma, I-Ling Yen, Farokh B. Bastani, Kendra M. L. Cooper
2003	A	`conf`	High-Assurance Synthesis of Security Services from Basic Microservices. ISSRE Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen
2003	C	`conf`	Relational Program Architecture for High Quality Software Development. SEKE Dongfeng Wang, Farokh B. Bastani, I-Ling Yen
2002	—	`conf`	A Component-Based Approach for Embedded Software Development. Symposium on Object-Oriented Real-Time Distributed Computing I-Ling Yen, Jayabharath Goluguri, Farokh B. Bastani, Latifur Khan, John Linn
2002	—	`conf`	An Architecture-Based Comparison of Verification and Statistical Reliability Assessment Methods for Embedded Software Systems. Symposium on Object-Oriented Real-Time Distributed Computing Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen
2002	B	`conf`	Application of AI Planning Techniques to Automated Code Synthesis and Testing. ICTAI I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn
2002	J	`jnl`	Guest Editors' Introduction: Special Issue on Embedded Software Engineering. Int. J. Softw. Eng. Knowl. Eng. Yi Deng, Farokh B. Bastani
2002	A	`conf`	Reliability Assessment of Framework-Based Distributed Embedded Software Systems. ISSRE Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen
2002	B	`conf`	Software Measurement Data Analysis Using Memory-Based Reasoning. ICTAI Raymond A. Paul, Farokh B. Bastani, Venkata U. B. Challagulla, I-Ling Yen
2001	B	`conf`	A Memory-Based Reasoning Approach for Assessing Software Quality. COMPSAC Raymond A. Paul, Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen
2001	B	`conf`	An On-Line Repository for Embedded Software. ICTAI I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn
2001	J	`jnl`	Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems. IEEE Trans. Software Eng. I-Ling Yen, Farokh B. Bastani, David J. Taylor
2001	B	`conf`	High-Quality Customizable Embedded Software from COTS Components. SRDS Farokh B. Bastani
2001	—	`conf`	Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. HASE Farokh B. Bastani, I-Ling Yen, Sung Kim
2001	J	`jnl`	Introducing the New Editor-in-Chief of the IEEE Transactions on Knowledge and Data Engineering. IEEE Trans. Knowl. Data Eng. Farokh B. Bastani
2001	A	`conf`	Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs. ISSRE Farokh B. Bastani, I-Ling Yen, Sung Kim, John Linn, Kashi Rao
2000	—	`conf`	A high-assurance measurement repository system. HASE Farokh B. Bastani, Simeon C. Ntafos, I-Ling Yen, Doug E. Harris, Richard R. Morrow, Raymond A. Paul
2000	B	`conf`	Defect-Based Reliability Analysis for Mission-Critical Software. COMPSAC Raymond A. Paul, Farokh B. Bastani, I-Ling Yen, Venkata U. B. Challagulla
2000	J	`jnl`	Editorial. IEEE Trans. Knowl. Data Eng. Farokh B. Bastani
2000	J	`jnl`	Editorial. IEEE Trans. Knowl. Data Eng. Farokh B. Bastani
2000	J	`jnl`	Relational programs. ACM SIGSOFT Softw. Eng. Notes Farokh B. Bastani
1999	J	`jnl`	Editor-in-Chief Prefaces Special-Edition Tribute. IEEE Trans. Knowl. Data Eng. Farokh B. Bastani
1999	J	`jnl`	Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems. Ann. Softw. Eng. Farokh B. Bastani
1998	J	`jnl`	Introducing New Advisory Board and Editorial Board Members. IEEE Trans. Knowl. Data Eng. Farokh B. Bastani
1997	J	`jnl`	Acknowledging TKDE's Fine Past and Looking to an Even Better Future. IEEE Trans. Knowl. Data Eng. Farokh B. Bastani
1997	—	`conf`	Diversity in the software development process. WORDS Victoria Hilford, Michael R. Lyu, Bojan Cukic, Anouar Jamoussi, Farokh B. Bastani
1997	B	`conf`	EH* - Extendible Hashing in a Distributed Environment. COMPSAC Victoria Hilford, Farokh B. Bastani, Bojan Cukic
1997	J	`jnl`	High-Assurance Systems (Introduction to the Special Section). Commun. ACM Sourav Bhattacharya, Akira K. Onoma, Farokh B. Bastani
1996	C	`conf`	Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions". SEKE Anouar Jamoussi, Farokh B. Bastani
1996	—	`conf`	Impact of program transformation on software reliability assessment. HASE Farokh B. Bastani, Bojan Cukic
1996	A	`conf`	On reducing the sensitivity of software reliability to variations in the operational profile. ISSRE Bojan Cukic, Farokh B. Bastani
1996	—	`conf`	Toward dependable safety-critical software. WORDS Farokh B. Bastani, Bojan Cukic, Victoria Hilford, Anouar Jamoussi
1995	B	`conf`	(Position Paper) Fault-Tolerant Software. COMPSAC Farokh B. Bastani
1995	C	`conf`	On efficiently tolerating general failures in autonomous decentralized multiserver systems. ISADS I-Ling Yen, Farokh B. Bastani
1995	J	`jnl`	On the Reliability of AI Planning Software in Real-Time Applications. IEEE Trans. Knowl. Data Eng. Ing-Ray Chen, Farokh B. Bastani, Ta-Wei Tsao
1995	J	`jnl`	Parallel Hashing: Collision Resolution Strategies and Performance. J. Parallel Distributed Comput. I-Ling Yen, Farokh B. Bastani
1995	—	`conf`	Robust parallel resource management in shared memory multiprocessor systems. IPPS I-Ling Yen, Farokh B. Bastani
1994	A	`conf`	Assessment of a sampling method for measuring safety-critical software reliability. ISSRE Farokh B. Bastani, Alberto Pasquini
1994	—	`conf`	Automatic Array Alignment as a Step in Hierarchical Program Transformation. IPPS Bojan Cukic, Farokh B. Bastani
1994	—	`conf`	On the reliability of dependable soft real-time cooperating systems. WORDS I-Ling Yen, Ing-Ray Chen, Farokh B. Bastani
1994	—	`conf`	Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs. FTCS I-Ling Yen, Farokh B. Bastani
1994	J	`jnl`	Warm Standby in Hierarchically Structured Process-Control Programs. IEEE Trans. Software Eng. Ing-Ray Chen, Farokh B. Bastani
1993	J	`jnl`	A Software Reliability Model for Artificial Intelligence Programs. Int. J. Softw. Eng. Knowl. Eng. Farokh B. Bastani, Ing-Ray Chen, Ta-Wei Tsao
1993	C	`conf`	A hybrid architecture for mobile robots based on decentralized, parallel path planning. ISADS Rumi M. Dubash, Farokh B. Bastani
1993	J	`jnl`	Assessment of the Reliability of AI Programs. Int. J. Artif. Intell. Tools Farokh B. Bastani, Ing-Ray Chen
1993	A*	`conf`	Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. ICSE Farokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini
1993	J	`jnl`	Exploiting redundancy to speed up parallel systems. IEEE Parallel Distributed Technol. Syst. Appl. I-Ling Yen, Ernst L. Leiss, Farokh B. Bastani
1993	J	`jnl`	Forword: Software Reliability. IEEE Trans. Software Eng. Farokh B. Bastani
1993	C	`conf`	Inherent fault tolerance in decentralized process-control systems. ISADS Farokh B. Bastani, I-Ling Yen
1993	A	`conf`	Reliability of uniprocessor and multiprocessor real-time artificial intelligence planning systems. ISSRE Ing-Ray Chen, Ta-Wei Tsao, Farokh B. Bastani
1993	—	`conf`	Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel Architectures. IPPS I-Ling Yen, Rumi M. Dubash, Farokh B. Bastani
1993	J	`jnl`	The Reliability of Embedded AI Systems. IEEE Expert Farokh B. Bastani, Ing-Ray Chen
1992	J	`jnl`	A Self-Adjusting Algorithm for Byzantine Agreement. Distributed Comput. Yi Zhao, Farokh B. Bastani
1992	B	`conf`	Algorithmic Mapping of Neural Networks with Multiactivation Production Units onto SIMD Machines. ICTAI Yiwei Chen, Farokh B. Bastani
1992	B	`conf`	Fault tolerant process planning and control. COMPSAC Rumi M. Dubash, I-Ling Yen, Farokh B. Bastani
1992	J	`jnl`	Guest Editors' Introduction: Self-Organizing Knowledge and Data Representation in Distributed Environment. IEEE Trans. Knowl. Data Eng. S. Sitharama Iyengar, Farokh B. Bastani
1992	—	`conf`	Hash Table in Massively Parallel Systems. IPPS I-Ling Yen, Farokh B. Bastani
1991	J	`jnl`	A Model for the Stability Analysis of Maintenance Stragies for Linear List. Comput. J. Farokh B. Bastani, Ing-Ray Chen, Wael Hilal Bahaa-El-Din
1991	B	`conf`	AI in multimedia (panel session). ICTAI 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	—	`conf`	An Inherently Fault Tolerant Sorting Algorithm. IPPS I-Ling Yen, Farokh B. Bastani, Ernst L. Leiss
1991	B	`conf`	The capability of feedforward neural networks with Ω-shaped activation functions. ICTAI Yiwei Chen, Farokh B. Bastani
1990	—	`conf`	Assessment of the reliability of AI programs. TAI Farokh B. Bastani, Ing-Ray Chen
1990	B	`conf`	High performance massively parallel abstract data type components. COMPSAC I-Ling Yen, Farokh B. Bastani, T. Al-Marzooq, Ernst L. Leiss
1989	J	`jnl`	Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers. IEEE Trans. Software Eng. Wael Hilal Bahaa-El-Din, Farokh B. Bastani, Ju-En Teng
1988	J	`jnl`	A Class of Inherently Fault Tolerant Distributed Programs. IEEE Trans. Software Eng. Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen
1988	J	`jnl`	An analysis of competing neural network knowledge representation strategies. Neural Networks Farokh B. Bastani, S. Sitharama Iyengar, Sandeep Gulati
1988	J	`jnl`	Concurrent Maintenance of Data Structures in a Distributed Environment. Comput. J. Farokh B. Bastani, S. Sitharama Iyengar, I-Ling Yen
1988	J	`jnl`	Multilevel Data Structures: Models and Performance. IEEE Trans. Software Eng. Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen
1988	—	`conf`	The Role of Artificial Intelligence in Fault-Tolerant Process-Control Systems. IEA/AIE (Vol. 2) Farokh B. Bastani, Ing-Ray Chen
1987	A*	`conf`	A Fault Tolerant Replicated Storage System. ICDE Farokh B. Bastani, I-Ling Yen
1987	J	`jnl`	Efficient Abstract Data Type Components for Distributed and Parallel Systems. Computer Farokh B. Bastani, Wael Hilal, S. S. Iyengar
1987	—	`conf`	Fault tolerant distributed process-control systems. FJCC Farokh B. Bastani, C. V. Ramamoorthy
1987	—	`conf`	On the overall reliability of hardware/software systems. FJCC Farokh B. Bastani, Ernst L. Leiss
1987	J	`jnl`	The Effect of Data Structures on the Logical Complexity of Programs. Commun. ACM Farokh B. Bastani, S. Sitharama Iyengar
1986	—	`conf`	Performance Analysis of Concurrent Maintenance Policies for Servers in a Distributed Environment. FJCC Farokh B. Bastani, Wael Hilal Bahaa-El-Din, Ing-Ray Chen
1985	J	`jnl`	Experiences with a Feedback Version Development Methodology. IEEE Trans. Software Eng. Farokh B. Bastani
1985	J	`jnl`	Foreword Software Reliability. IEEE Trans. Software Eng. Amrit L. Goel, Farokh B. Bastani
1985	J	`jnl`	On the Uncertainty in the Correctness of Computer Programs. IEEE Trans. Software Eng. Farokh B. Bastani
1984	J	`jnl`	Performance Improvement of Abstractions Through Context Dependent Transformations. IEEE Trans. Software Eng. Farokh B. Bastani
1982	J	`jnl`	Software Reliability - Status and Perspectives. IEEE Trans. Software Eng. C. V. Ramamoorthy, Farokh B. Bastani
1981	J	`jnl`	Application of a Methodology for the Development and Validation of Reliable Process Control Software. IEEE Trans. Software Eng. C. V. Ramamoorthy, Yu-King R. Mok, Farokh B. Bastani, Gene H. Chin, Keiichi Suzuki
1979	A*	`conf`	On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants. ICSE C. V. Ramamoorthy, Farokh B. Bastani, John M. Favaro, Yu-King R. Mok, C. W. Nam, Keiichi Suzuki