Farokh B. Bastani

	2012
138		Guang Zhou, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms. ISORC 2012: 95-102
137		Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: Information Assurance for Real-Time Decision Support. ISORC Workshops 2012: 150-155
136		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)
	2011
135		Manasi Peshave, Farokh B. Bastani, I-Ling Yen: High-Assurance Reconfigurable Multicore Processor Based Systems. HASE 2011: 220-226
134		Jicheng Fu, Wei Hao, Farokh B. Bastani, I-Ling Yen: Model-Driven Development: Where Does the Code Come From? ICSC 2011: 255-262
133		Angie Shia, Farokh B. Bastani, I-Ling Yen: ROBUST Path Strategy Evaluator. ICTAI 2011: 567-574
132		Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Leveraging Service Clouds for Power and QoS Management for Mobile Devices. IEEE CLOUD 2011: 235-242
131		Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen: Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems. IJCAI 2011: 1949-1954
130		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
129		Wei She, I-Ling Yen, Farokh B. Bastani, Bao N. Tran, Bhavani M. Thuraisingham: Role-based integrated access control and data provenance for SOA based net-centric systems. SOSE 2011: 225-234
	2010
128		Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani: Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds. HASE 2010: 152-161
127		Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Scalable Authentication and Key Management in SCADA. ICPADS 2010: 172-179
126		Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Cloud Storage Design Based on Hybrid of Replication and Data Partitioning. ICPADS 2010: 415-422
125		Jicheng Fu, Wei Hao, I-Ling Yen, Farokh B. Bastani: Using Virtual Services to Bridge the Semantic Gap. ICSC 2010: 218-223
124		Jicheng Fu, Wei Hao, Michael Tu, Biao Ma, Joshua Baldwin, Farokh B. Bastani: Virtual Services in Cloud Computing. SERVICES 2010: 467-472
123		Jian Huang, Yansheng Zhang, I-Ling Yen, John T. Carson, Mike F. Siok, Farokh B. Bastani, Yajing Zhao, Jing Dong: Real-Time Service-Oriented Distributed Governance. SERVICES 2010: 479-484
122		Yunqi Ye, Nisha Jain, Longsheng Xia, Suhas Joshi, I-Ling Yen, Farokh B. Bastani, Kenneth L. Cureton, Mark K. Bowler: A Framework for QoS and Power Management in a Service Cloud Environment with Mobile Devices. SOSE 2010: 236-243
121		Jian Huang, Farokh B. Bastani, I-Ling Yen, Wenke Zhang: A Framework for Efficient Service Composition in Cyber-Physical Systems. SOSE 2010: 291-298
120		Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Secure, Dependable, and High Performance Cloud Storage. SRDS 2010: 194-203
119		Hachem Moussa, Tong Gao, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng: Toward effective service composition for real-time SOA-based systems. Service Oriented Computing and Applications 4(1): 17-31 (2010)
	2009
118		Jian Huang, Farokh B. Bastani, I-Ling Yen, Jun-Jang Jeng: Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model. COMPSAC (2) 2009: 122-127
117		Jicheng Fu, Farokh B. Bastani, I-Ling Yen, Wei Hao: Using Service Patterns to Achieve Web Service Composition. ICSC 2009: 402-407
116		Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Decentralized Path Planner for Multi-robot Systems. ICTAI 2009: 171-175
115		Yansheng Zhang, Farokh B. Bastani: Virtual-device framework for autonomous decentralized multi-robot systems. ISADS 2009: 73-80
114		Yansheng Zhang, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau: Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems. ISSRE 2009: 51-60
113		Jian Huang, Farokh B. Bastani, I-Ling Yen, Jing Dong, Wenke Zhang, Feng-Jian Wang, Hwai-Jung Hsu: Extending service model to build an effective service composition framework for cyber-physical systems. SOCA 2009: 1-8
112		Sumit Ghosh, Farokh B. Bastani: Guest Editors' Introduction. Int. J. Semantic Computing 3(1): 1-3 (2009)
	2008
111		Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng: Service Composition for Real-Time Assurance. COMPSAC 2008: 1174-1179
110		Gerardo Padilla, Tong Gao, I-Ling Yen, Farokh B. Bastani, Carlos Montes de Oca: An Early Reliability Assessment Model for Data-Flow Software Architectures. ENC 2008: 9-19
109		Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Low Cost Secure Computation for the General Client-Server Computation Model. HASE 2008: 19-26
108		Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. HASE 2008: 333-342
107		Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna Kavi, Arif Ghafoor, Jaideep Srivastava: An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. ICSC 2008: 386-393
106		Jicheng Fu, Farokh B. Bastani, Vincent Ng, I-Ling Yen, Yansheng Zhang: FIP: A Fast Planning-Graph-Based Iterative Planner. ICTAI (1) 2008: 419-426
105		Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen: Availability Analysis of Robotic Swarm Systems. PRDC 2008: 331-338
104		Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen: A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation. SUTC 2008: 177-184
103		I-Ling Yen, Hui Ma, Farokh B. Bastani, Hong Mei: QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems. IEEE Computer 41(8): 48-55 (2008)
102		Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: Empirical Assessment of Machine Learning Based Software Defect Prediction Techniques. International Journal on Artificial Intelligence Tools 17(2): 389-400 (2008)
	2007
101		Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Iterative Planning in the Context of Automated Code Synthesis. COMPSAC (1) 2007: 251-259
100		Venkata U. B. Challagulla, Farokh B. Bastani, Raymond A. Paul, Wei-Tek Tsai, Yinong Chen: A Machine Learning-Based Reliability Assessment Model for Critical Software Systems. COMPSAC (1) 2007: 79-86
99		Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. EUC 2007: 754-766
98		Manghui Tu, Liangliang Xiao, Hui Ma, I-Ling Yen, Farokh B. Bastani: Placement in Dependable and Secure Peer-to-Peer Data Grids. HASE 2007: 133-140
97		Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Model-Driven Prototyping Based Requirements Elicitation. Monterey Workshop 2007: 43-61
96		Liangliang Xiao, I-Ling Yen, Yanjin Zhang, Farokh B. Bastani: Evaluating Dependable Distributed Storage Systems. PDPTA 2007: 948-954
95		Jiang He, Tong Gao, Wei Hao, I-Ling Yen, Farokh B. Bastani: A Flexible Content Adaptation System Using a Rule-Based Approach. IEEE Trans. Knowl. Data Eng. 19(1): 127-140 (2007)
94		Manish Gupta, Jicheng Fu, Farokh B. Bastani, Latifur Khan, I-Ling Yen: Rapid goal-oriented automated software testing using MEA-graph planning. Software Quality Journal 15(3): 241-263 (2007)
	2006
93		Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano: Instantiation Semantics for Message Sequence Charts. ENC 2006: 191-199
92		Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen: A Unified Framework for Defect Data Analysis Using the MBR Technique. ICTAI 2006: 39-46
91		Yansheng Zhang, Jicheng Fu, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau, Farrokh Vatan, Amir Fijany: QoS Adaptive ISHM Systems. ICTAI 2006: 47-54
90		Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Automated AI Planning and Code Pattern Based Code Synthesis. ICTAI 2006: 540-546
89		Jian Liu, Jicheng Fu, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Ann T. Tai, Savio N. Chau: Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns. ISORC 2006: 109-116
88		Wei-Tek Tsai, Miroslaw Malek, Yinong Chen, Farokh B. Bastani: Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. SOSE 2006: 3-10
87		Nirav Shah, Farokh B. Bastani, I-Ling Yen: A Real-Time Scheduling Based Framework for Traffic Coordination Systems. SUTC (1) 2006: 321-325
86		Manghui Tu, Peng Li, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Replica Placement Algorithms for Mobile Transaction Systems. IEEE Trans. Knowl. Data Eng. 18(7): 954-970 (2006)
85		Tong Gao, Hui Ma, I-Ling Yen, Latifur Khan, Farokh B. Bastani: A Repository for Component-based Embedded Software Development. International Journal of Software Engineering and Knowledge Engineering 16(4): 523-552 (2006)
84		Wei Hao, Jicheng Fu, Jiang He, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen: Extending Proxy Caching Capability: Issues and Performance. World Wide Web 9(3): 253-275 (2006)
	2005
83		Qingkai Ma, Liangliang Xiao, I-Ling Yen, Manghui Tu, Farokh B. Bastani: An Adaptive Multiparty Protocol for Secure Data Protection. ICPADS (1) 2005: 43-49
82		Hui Ma, Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Kendra Cooper: A Model and Methodology for Composition QoS Analysis of Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 56-65
81		Wei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul: A Framework to Support Survivable Web Services. IPDPS 2005
80		Manghui Tu, Peng Li, Qingkai Ma, I-Ling Yen, Farokh B. Bastani: On the Optimal Placement of Secure Data Objects over Internet. IPDPS 2005
79		Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: An Approach for Designing Highly Adaptable Process-Control Systems. ISORC 2005: 106-113
78		Tong Gao, Kendra Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani: An Object-Oriented Modeling Learning Support System With Inspection Comments. SEKE 2005: 211-216
77		Tong Gao, Kendra Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani: Toward a UML Profile to Support Component-Based Distributed Adaptive Systems. SEKE 2005: 217-222
76		Jian Liu, Farokh B. Bastani, I-Ling Yen: A Formal Foundation of Code Pattern Based Development. SEKE 2005: 274-279
75		Jian Liu, Farokh B. Bastani, I-Ling Yen: Meta Code Pattern and Its Refinement. Software Engineering Research and Practice 2005: 504-510
74		Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: Empirical Assessment of Machine Learning based Software Defect Prediction Techniques. WORDS 2005: 263-270
73		Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance. IEEE Trans. Software Eng. 31(9): 713-732 (2005)
72		Manish Gupta, Manghui Tu, Latifur Khan, Farokh B. Bastani, I-Ling Yen: A study of the model and algorithms for handling location-dependent continuous queries. Knowl. Inf. Syst. 8(4): 414-437 (2005)
	2004
71		Qingkai Ma, Wei Hao, I-Ling Yen, Farokh B. Bastani: Multiparty Computation with Full Computation Power and Reduced Overhead. HASE 2004: 241-248
70		Dongfeng Wang, Hui Ma, Farokh B. Bastani, I-Ling Yen: Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems. HASE 2004: 3-11
69		Manish Gupta, Farokh B. Bastani, Latifur Khan, I-Ling Yen: Automated Test Data Generation Using MEA-Graph Planning. ICTAI 2004: 174-182
68		Mamoun Awad, Latifur Khan, Farokh B. Bastani, I-Ling Yen: An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. ICTAI 2004: 663-667
67		Bo Sheng, Farokh B. Bastani: Secure and Reliable Decentralized Peer-to-Peer Web Cache. IPDPS 2004
66		Qingkai Ma, Wei Li, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen: Survivable Systems Based on an Adaptive NMR Algorithm. IPDPS 2004
65		Feng Luo, Latifur Khan, Farokh B. Bastani, I-Ling Yen, Jizhong Zhou: A dynamically growing self-organizing tree (DGSOT) for hierarchical clustering gene expression profiles. Bioinformatics 20(16): 2605-2617 (2004)
64		Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen: Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks. IEEE Trans. Software Eng. 30(4): 218-230 (2004)
63		Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: A Systematic Design Method For High Quality Process-Control Systems Development. International Journal of Software Engineering and Knowledge Engineering 14(1): 43-59 (2004)
	2003
62		Kendra Cooper, Jia Zhou, Hui Ma, I-Ling Yen, Farokh B. Bastani: Code Parameterization for Satisfaction of QoS Requirements in Embedded Software. Engineering of Reconfigurable Systems and Algorithms 2003: 58-64
61		Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen: High-Assurance Synthesis of Security Services from Basic Microservices. ISSRE 2003: 154-168
60		Hui Ma, I-Ling Yen, Farokh B. Bastani, Kendra Cooper: Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components. ISSRE 2003: 383-393
59		Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: Relational Program Architecture for High Quality Software Development. SEKE 2003: 346-353
58		Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: Automated Software Design of Process-Control Systems. SEKE 2003: 467-474
	2002
57		I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn: Application of AI Planning Techniques to Automated Code Synthesis and Testing. ICTAI 2002: 131-137
56		Raymond A. Paul, Farokh B. Bastani, Venkata U. B. Challagulla, I-Ling Yen: Software Measurement Data Analysis Using Memory-Based Reasoning. ICTAI 2002: 261-267
55		Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen: Reliability Assessment of Framework-Based Distributed Embedded Software Systems. ISSRE 2002: 367-376
54		Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen: An Architecture-Based Comparison of Verification and Statistical Reliability Assessment Methods for Embedded Software Systems. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 177-180
53		I-Ling Yen, Jayabharath Goluguri, Farokh B. Bastani, Latifur Khan, John Linn: A Component-Based Approach for Embedded Software Development. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 402-
52		Yi Deng, Farokh B. Bastani: Guest Editors' Introduction: Special Issue on Embedded Software Engineering. International Journal of Software Engineering and Knowledge Engineering 12(2): 103-105 (2002)
	2001
51		Raymond A. Paul, Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen: A Memory-Based Reasoning Approach for Assessing Software Quality. COMPSAC 2001: 97-103
50		Farokh B. Bastani, I-Ling Yen, Sung Kim: Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. HASE 2001: 65-74
49		I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn: An On-Line Repository for Embedded Software. ICTAI 2001: 314-
48		Farokh B. Bastani, I-Ling Yen, Sung Kim, John Linn, Kashi Rao: Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs. ISSRE 2001: 314-323
47		Farokh B. Bastani: High-Quality Customizable Embedded Software from COTS Components. SRDS 2001: 174-175
46		Farokh B. Bastani: Introducing the New Editor-in-Chief of the IEEE Transactions on Knowledge and Data Engineering. IEEE Trans. Knowl. Data Eng. 13(1): 1-2 (2001)
45		I-Ling Yen, Farokh B. Bastani, David J. Taylor: Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems. IEEE Trans. Software Eng. 27(3): 193-207 (2001)
	2000
44		Raymond A. Paul, Farokh B. Bastani, I-Ling Yen, Venkata U. B. Challagulla: Defect-Based Reliability Analysis for Mission-Critical Software. COMPSAC 2000: 439-444
43		Farokh B. Bastani: Editorial. IEEE Trans. Knowl. Data Eng. 12(1): 96-101 (2000)
42		Farokh B. Bastani: Editorial. IEEE Trans. Knowl. Data Eng. 12(5): 821-823 (2000)
	1999
41		Farokh B. Bastani: Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems. Ann. Software Eng. 7: 5-24 (1999)
40		Farokh B. Bastani: Editor-in-Chief Prefaces Special-Edition Tribute. IEEE Trans. Knowl. Data Eng. 11(1): 1 (1999)
	1998
39		Farokh B. Bastani: Introducing New Advisory Board and Editorial Board Members. IEEE Trans. Knowl. Data Eng. 10(6): 865-867 (1998)
	1997
38		Victoria Hilford, Farokh B. Bastani, Bojan Cukic: EH* - Extendible Hashing in a Distributed Environment. COMPSAC 1997: 217-
37		Sourav Bhattacharya, Akira K. Onoma, Farokh B. Bastani: High-Assurance Systems (Introduction to the Special Section). Commun. ACM 40(1): 67 (1997)
36		Farokh B. Bastani: Acknowledging TKDE's Fine Past and Looking to an Even Better Future. IEEE Trans. Knowl. Data Eng. 9(1): 1-2 (1997)
	1996
35		Farokh B. Bastani, Bojan Cukic: Impact of program transformation on software reliability assessment. HASE 1996: 214-221
34		Anouar Jamoussi, Farokh B. Bastani: Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions". SEKE 1996: 17-24
	1995
33		Farokh B. Bastani: (Position Paper) Fault-Tolerant Software. COMPSAC 1995: 391
32		I-Ling Yen, Farokh B. Bastani: Robust parallel resource management in shared memory multiprocessor systems. IPPS 1995: 458-465
31		Ing-Ray Chen, Farokh B. Bastani, Ta-Wei Tsao: On the Reliability of AI Planning Software in Real-Time Applications. IEEE Trans. Knowl. Data Eng. 7(1): 4-13 (1995)
30		I-Ling Yen, Farokh B. Bastani: Parallel Hashing: Collision Resolution Strategies and Performance. J. Parallel Distrib. Comput. 31(2): 190-198 (1995)
	1994
29		I-Ling Yen, Farokh B. Bastani: Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs. FTCS 1994: 154-163
28		Bojan Cukic, Farokh B. Bastani: Automatic Array Alignment as a Step in Hierarchical Program Transformation. IPPS 1994: 578-582
27		Ing-Ray Chen, Farokh B. Bastani: Warm Standby in Hierarchically Structured Process-Control Programs. IEEE Trans. Software Eng. 20(8): 658-663 (1994)
	1993
26		Farokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini: Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. ICSE 1993: 45-54
25		I-Ling Yen, Rumi M. Dubash, Farokh B. Bastani: Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel Architectures. IPPS 1993: 672-679
24		Farokh B. Bastani, Ing-Ray Chen: The Reliability of Embedded AI Systems. IEEE Expert 8(2): 72-78 (1993)
23		Farokh B. Bastani: Forword: Software Reliability. IEEE Trans. Software Eng. 19(11): 1013-1014 (1993)
22		Farokh B. Bastani, Ing-Ray Chen, Ta-Wei Tsao: A Software Reliability Model for Artificial Intelligence Programs. International Journal of Software Engineering and Knowledge Engineering 3(1): 99-114 (1993)
	1992
21		Yiwei Chen, Farokh B. Bastani: Algorithmic Mapping of Neural Networks with Multiactivation Production Units onto SIMD Machines. ICTAI 1992: 93-97
20		I-Ling Yen, Farokh B. Bastani: Hash Table in Massively Parallel Systems. IPPS 1992: 660-664
19		Yi Zhao, Farokh B. Bastani: A Self-Adjusting Algorithm for Byzantine Agreement. Distributed Computing 5(4): 219-226 (1992)
18		S. Sitharama Iyengar, Farokh B. Bastani: Guest Editors' Introduction: Self-Organizing Knowledge and Data Representation in Distributed Environment. IEEE Trans. Knowl. Data Eng. 4(2): 105-108 (1992)
	1991
17		I-Ling Yen, Farokh B. Bastani, Ernst L. Leiss: An Inherently Fault Tolerant Sorting Algorithm. IPPS 1991: 37-42
16		Farokh B. Bastani, Ing-Ray Chen, Wael Hilal Bahaa-El-Din: A Model for the Stability Analysis of Maintenance Stragies for Linear List. Comput. J. 34(1): 80-87 (1991)
	1989
15		Wael Hilal Bahaa-El-Din, Farokh B. Bastani, Ju-En Teng: Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers. IEEE Trans. Software Eng. 15(12): 1526-1536 (1989)
	1988
14		Farokh B. Bastani, Ing-Ray Chen: The Role of Artificial Intelligence in Fault-Tolerant Process-Control Systems. IEA/AIE (Vol. 2) 1988: 1049-1058
13		Farokh B. Bastani, S. Sitharama Iyengar, I-Ling Yen: Concurrent Maintenance of Data Structures in a Distributed Environment. Comput. J. 31(2): 165-174 (1988)
12		Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen: A Class of Inherently Fault Tolerant Distributed Programs. IEEE Trans. Software Eng. 14(10): 1432-1442 (1988)
11		Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen: Multilevel Data Structures: Models and Performance. IEEE Trans. Software Eng. 14(6): 858-867 (1988)
	1987
10		Farokh B. Bastani, I-Ling Yen: A Fault Tolerant Replicated Storage System. ICDE 1987: 449-454
9		Farokh B. Bastani, S. Sitharama Iyengar: The Effect of Data Structures on the Logical Complexity of Programs. Commun. ACM 30(3): 250-259 (1987)
	1986
8		Farokh B. Bastani, Wael Hilal Bahaa-El-Din, Ing-Ray Chen: Performance Analysis of Concurrent Maintenance Policies for Servers in a Distributed Environment. FJCC 1986: 611-619
	1985
7		Amrit L. Goel, Farokh B. Bastani: Foreword Software Reliability. IEEE Trans. Software Eng. 11(12): 1409-1410 (1985)
6		Farokh B. Bastani: Experiences with a Feedback Version Development Methodology. IEEE Trans. Software Eng. 11(8): 718-723 (1985)
5		Farokh B. Bastani: On the Uncertainty in the Correctness of Computer Programs. IEEE Trans. Software Eng. 11(9): 857-864 (1985)
	1984
4		Farokh B. Bastani: Performance Improvement of Abstractions Through Context Dependent Transformations. IEEE Trans. Software Eng. 10(1): 100-116 (1984)
	1982
3		C. V. Ramamoorthy, Farokh B. Bastani: Software Reliability - Status and Perspectives. IEEE Trans. Software Eng. 8(4): 354-371 (1982)
	1981
2		C. V. Ramamoorthy, Yu-King R. Mok, Farokh B. Bastani, Gene H. Chin, Keiichi Suzuki: Application of a Methodology for the Development and Validation of Reliable Process Control Software. IEEE Trans. Software Eng. 7(6): 537-555 (1981)
	1979
1		C. V. Ramamoorthy, Farokh B. Bastani, John M. Favaro, Yu-King R. Mok, C. W. Nam, Keiichi Suzuki: On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants. ICSE 1979: 231-240

Coauthor Index

1	Mamoun Awad	[68]
2	Wael Hilal Bahaa-El-Din	[8] [15] [16]
3	Joshua Baldwin	[124]
4	Sourav Bhattacharya	[37]
5	Mark K. Bowler	[122]
6	John T. Carson	[123]
7	Venkata U. B. Challagulla	[44] [51] [56] [74] [92] [100] [102]
8	Savio N. Chau	[89] [91] [114]
9	Ing-Ray Chen	[8] [12] [14] [16] [22] [24] [27] [31] [54] [55] [61] [64] [66] [84] [105]
10	Yinong Chen	[88] [100]
11	Yiwei Chen	[21]
12	Gene H. Chin	[2]
13	Kendra Cooper (Kendra M. L. Cooper)	[60] [62] [77] [78] [82]
14	Bojan Cukic	[28] [35] [38]
15	Kenneth L. Cureton	[122]
16	Yi Deng	[52]
17	Giuseppe DiMarco	[26]
18	Jing Dong	[107] [113] [123]
19	Rumi M. Dubash	[25]
20	John M. Favaro	[1]
21	Amir Fijany	[91]
22	Jicheng Fu	[84] [89] [90] [91] [94] [97] [101] [105] [106] [108] [117] [124] [125] [131] [134]
23	Tong Gao	[77] [78] [85] [95] [110] [111] [119]
24	Arif Ghafoor	[107]
25	Sumit Ghosh	[112]
26	Amrit L. Goel	[7]
27	Jayabharath Goluguri	[53]
28	Manish Gupta	[69] [72] [94]
29	Wei Hao	[71] [84] [95] [117] [124] [125] [134]
30	Jiang He	[81] [84] [95]
31	Victoria Hilford	[38]
32	Hwai-Jung Hsu	[113]
33	Jian Huang	[113] [118] [121] [123]
34	S. Sitharama Iyengar (S. S. Iyengar)	[9] [11] [13] [18]
35	Nisha Jain	[122]
36	Anouar Jamoussi	[34]
37	Jun-Jang Jeng	[111] [118] [119]
38	Suhas Joshi	[122]
39	Krishna Kavi	[107]
40	Latifur Khan (Latifur R. Khan)	[49] [53] [65] [68] [69] [72] [85] [94]
41	Sung Kim	[48] [50] [54] [55] [61] [64]
42	Subodha Kumar	[104] [136]
43	Ernst L. Leiss	[17]
44	Peng Li	[80] [86]
45	Wei Li	[66] [81]
46	John Linn	[48] [49] [53] [57]
47	Jian Liu	[75] [76] [89]
48	Feng Luo	[65]
49	Biao Ma	[124]
50	Hui Ma	[57] [60] [62] [70] [77] [78] [82] [85] [98] [103]
51	Qingkai Ma	[66] [71] [80] [81] [83]
52	Miroslaw Malek	[88]
53	Hong Mei	[103]
54	Fiaz Mohamed	[57]
55	Abha Moitra	[11]
56	Yu-King R. Mok	[1] [2]
57	Hachem Moussa	[111] [119]
58	C. W. Nam	[1]
59	Vincent Ng	[106] [131]
60	Carlos Montes de Oca	[93] [110]
61	Akira K. Onoma	[37]
62	Gerardo Padilla	[93] [110]
63	Alberto Pasquini	[26]
64	Raymond A. Paul	[44] [51] [56] [74] [79] [81] [100] [102] [107] [137]
65	Manasi Peshave	[135]
66	B. Prabhakaran (Balakrishnan Prabhakaran)	[49]
67	C. V. Ramamoorthy (Chittoor V. Ramamoorthy)	[1] [2] [3]
68	Kashi Rao	[48]
69	Miguel A. Serrano	[93]
70	Nirav Shah	[87] [104] [136]
71	Wei She	[129]
72	Bo Sheng	[67]
73	Angie Shia	[130] [133]
74	Mike F. Siok	[123]
75	Jaideep Srivastava	[107]
76	Keiichi Suzuki	[1] [2]
77	Ann T. Tai	[89] [91] [114]
78	David J. Taylor	[45]
79	Ju-En Teng	[15]
80	Bhavani M. Thuraisingham	[129]
81	Bao N. Tran	[129]
82	Wei-Tek Tsai	[88] [100] [107]
83	Ta-Wei Tsao	[22] [31]
84	Manghui Tu	[72] [80] [83] [86] [98]
85	Michael Tu	[124]
86	Farrokh Vatan	[91]
87	Dongfeng Wang	[58] [59] [63] [70] [73] [79] [82]
88	Feng-Jian Wang	[113]
89	Longsheng Xia	[122]
90	Liangliang Xiao	[83] [86] [96] [98] [109] [120] [126] [127] [128] [132] [137]
91	Yunqi Ye	[120] [122] [126] [128] [132]
92	I-Ling Yen	[10] [11] [12] [13] [17] [20] [25] [29] [30] [32] [44] [45] [48] [49] [50] [51] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [89] [90] [91] [92] [94] [95] [96] [97] [98] [99] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [113] [114] [116] [117] [118] [119] [120] [121] [122] [123] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138]
93	Wenke Zhang	[113] [121]
94	Yanjin Zhang	[96]
95	Yansheng Zhang	[89] [91] [99] [105] [106] [114] [115] [116] [123] [138]
96	Yajing Zhao	[123]
97	Yi Zhao	[19]
98	Guang Zhou	[138]
99	Jia Zhou	[62]
100	Jizhong Zhou	[65]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page