Farokh B. Bastani Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJian 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
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJicheng Fu, Farokh B. Bastani, I-Ling Yen, Wei Hao: Using Service Patterns to Achieve Web Service Composition. ICSC 2009: 402-407
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYansheng Zhang, Farokh B. Bastani, I-Ling Yen: Decentralized Path Planner for Multi-robot Systems. ICTAI 2009: 171-175
2008
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng: Service Composition for Real-Time Assurance. COMPSAC 2008: 1174-1179
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerardo 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
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiangliang Xiao, I-Ling Yen, Farokh B. Bastani: Low Cost Secure Computation for the General Client-Server Computation Model. HASE 2008: 19-26
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJicheng 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
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond 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
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJicheng Fu, Farokh B. Bastani, Vincent Ng, I-Ling Yen, Yansheng Zhang: FIP: A Fast Planning-Graph-Based Iterative Planner. ICTAI (1) 2008: 419-426
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen: Availability Analysis of Robotic Swarm Systems. PRDC 2008: 331-338
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNirav 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
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI-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)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkata 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
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJicheng Fu, Farokh B. Bastani, I-Ling Yen: Iterative Planning in the Context of Automated Code Synthesis. COMPSAC (1) 2007: 251-259
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkata 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
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYansheng Zhang, Farokh B. Bastani, I-Ling Yen: Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. EUC 2007: 754-766
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManghui 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
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJicheng Fu, Farokh B. Bastani, I-Ling Yen: Model-Driven Prototyping Based Requirements Elicitation. Monterey Workshop 2007: 43-61
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiangliang Xiao, I-Ling Yen, Yanjin Zhang, Farokh B. Bastani: Evaluating Dependable Distributed Storage Systems. PDPTA 2007: 948-954
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJiang 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)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManish 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
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano: Instantiation Semantics for Message Sequence Charts. ENC 2006: 191-199
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen: A Unified Framework for Defect Data Analysis Using the MBR Technique. ICTAI 2006: 39-46
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYansheng 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
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJicheng Fu, Farokh B. Bastani, I-Ling Yen: Automated AI Planning and Code Pattern Based Code Synthesis. ICTAI 2006: 540-546
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJian 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
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Tek Tsai, Miroslaw Malek, Yinong Chen, Farokh B. Bastani: Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. SOSE 2006: 3-10
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNirav Shah, Farokh B. Bastani, I-Ling Yen: A Real-Time Scheduling Based Framework for Traffic Coordination Systems. SUTC (1) 2006: 321-325
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManghui 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)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTong 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)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQingkai Ma, Liangliang Xiao, I-Ling Yen, Manghui Tu, Farokh B. Bastani: An Adaptive Multiparty Protocol for Secure Data Protection. ICPADS (1) 2005: 43-49
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHui 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
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul: A Framework to Support Survivable Web Services. IPDPS 2005
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManghui Tu, Peng Li, Qingkai Ma, I-Ling Yen, Farokh B. Bastani: On the Optimal Placement of Secure Data Objects over Internet. IPDPS 2005
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: An Approach for Designing Highly Adaptable Process-Control Systems. ISORC 2005: 106-113
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTong 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
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTong 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
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJian Liu, Farokh B. Bastani, I-Ling Yen: A Formal Foundation of Code Pattern Based Development. SEKE 2005: 274-279
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJian Liu, Farokh B. Bastani, I-Ling Yen: Meta Code Pattern and Its Refinement. Software Engineering Research and Practice 2005: 504-510
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkata 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongfeng 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)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManish 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
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQingkai Ma, Wei Hao, I-Ling Yen, Farokh B. Bastani: Multiparty Computation with Full Computation Power and Reduced Overhead. HASE 2004: 241-248
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongfeng 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
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManish Gupta, Farokh B. Bastani, Latifur Khan, I-Ling Yen: Automated Test Data Generation Using MEA-Graph Planning. ICTAI 2004: 174-182
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMamoun Awad, Latifur Khan, Farokh B. Bastani, I-Ling Yen: An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. ICTAI 2004: 663-667
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBo Sheng, Farokh B. Bastani: Secure and Reliable Decentralized Peer-to-Peer Web Cache. IPDPS 2004
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQingkai Ma, Wei Li, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen: Survivable Systems Based on an Adaptive NMR Algorithm. IPDPS 2004
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng 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)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSung 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)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongfeng 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
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKendra 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
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen: High-Assurance Synthesis of Security Services from Basic Microservices. ISSRE 2003: 154-168
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHui 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
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongfeng Wang, Farokh B. Bastani, I-Ling Yen: Relational Program Architecture for High Quality Software Development. SEKE 2003: 346-353
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongfeng Wang, Farokh B. Bastani, I-Ling Yen: Automated Software Design of Process-Control Systems. SEKE 2003: 467-474
2002
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI-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
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond A. Paul, Farokh B. Bastani, Venkata U. B. Challagulla, I-Ling Yen: Software Measurement Data Analysis Using Memory-Based Reasoning. ICTAI 2002: 261-267
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen: Reliability Assessment of Framework-Based Distributed Embedded Software Systems. ISSRE 2002: 367-376
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI-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-
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi 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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond 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
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani, I-Ling Yen, Sung Kim: Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. HASE 2001: 65-74
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn: An On-Line Repository for Embedded Software. ICTAI 2001: 314-
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani: High-Quality Customizable Embedded Software from COTS Components. SRDS 2001: 174-175
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh 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)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI-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
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond A. Paul, Farokh B. Bastani, I-Ling Yen, Venkata U. B. Challagulla: Defect-Based Reliability Analysis for Mission-Critical Software. COMPSAC 2000: 439-444
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani: Editorial. IEEE Trans. Knowl. Data Eng. 12(1): 96-101 (2000)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani: Editorial. IEEE Trans. Knowl. Data Eng. 12(5): 821-823 (2000)
1999
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani: Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems. Ann. Software Eng. 7: 5-24 (1999)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani: Editor-in-Chief Prefaces Special-Edition Tribute. IEEE Trans. Knowl. Data Eng. 11(1): 1 (1999)
1998
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani: Introducing New Advisory Board and Editorial Board Members. IEEE Trans. Knowl. Data Eng. 10(6): 865-867 (1998)
1997
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictoria Hilford, Farokh B. Bastani, Bojan Cukic: EH* - Extendible Hashing in a Distributed Environment. COMPSAC 1997: 217-
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSourav Bhattacharya, Akira K. Onoma, Farokh B. Bastani: High-Assurance Systems (Introduction to the Special Section). Commun. ACM 40(1): 67 (1997)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani, Bojan Cukic: Impact of program transformation on software reliability assessment. HASE 1996: 214-221
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnouar Jamoussi, Farokh B. Bastani: Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions". SEKE 1996: 17-24
1995
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani: (Position Paper) Fault-Tolerant Software. COMPSAC 1995: 391
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI-Ling Yen, Farokh B. Bastani: Robust parallel resource management in shared memory multiprocessor systems. IPPS 1995: 458-465
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIng-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)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI-Ling Yen, Farokh B. Bastani: Parallel Hashing: Collision Resolution Strategies and Performance. J. Parallel Distrib. Comput. 31(2): 190-198 (1995)
1994
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI-Ling Yen, Farokh B. Bastani: Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs. FTCS 1994: 154-163
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBojan Cukic, Farokh B. Bastani: Automatic Array Alignment as a Step in Hierarchical Program Transformation. IPPS 1994: 578-582
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIng-Ray Chen, Farokh B. Bastani: Warm Standby in Hierarchically Structured Process-Control Programs. IEEE Trans. Software Eng. 20(8): 658-663 (1994)
1993
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini: Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. ICSE 1993: 45-54
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI-Ling Yen, Rumi M. Dubash, Farokh B. Bastani: Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel Architectures. IPPS 1993: 672-679
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani, Ing-Ray Chen: The Reliability of Embedded AI Systems. IEEE Expert 8(2): 72-78 (1993)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani: Forword: Software Reliability. IEEE Trans. Software Eng. 19(11): 1013-1014 (1993)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh 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
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYiwei Chen, Farokh B. Bastani: Algorithmic Mapping of Neural Networks with Multiactivation Production Units onto SIMD Machines. ICTAI 1992: 93-97
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI-Ling Yen, Farokh B. Bastani: Hash Table in Massively Parallel Systems. IPPS 1992: 660-664
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Zhao, Farokh B. Bastani: A Self-Adjusting Algorithm for Byzantine Agreement. Distributed Computing 5(4): 219-226 (1992)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. 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
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI-Ling Yen, Farokh B. Bastani, Ernst L. Leiss: An Inherently Fault Tolerant Sorting Algorithm. IPPS 1991: 37-42
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWael 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani, Ing-Ray Chen: The Role of Artificial Intelligence in Fault-Tolerant Process-Control Systems. IEA/AIE (Vol. 2) 1988: 1049-1058
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani, S. Sitharama Iyengar, I-Ling Yen: Concurrent Maintenance of Data Structures in a Distributed Environment. Comput. J. 31(2): 165-174 (1988)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh 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)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbha 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani, I-Ling Yen: A Fault Tolerant Replicated Storage System. ICDE 1987: 449-454
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani, S. Sitharama Iyengar: The Effect of Data Structures on the Logical Complexity of Programs. Commun. ACM 30(3): 250-259 (1987)
1986
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh 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
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmrit L. Goel, Farokh B. Bastani: Foreword Software Reliability. IEEE Trans. Software Eng. 11(12): 1409-1410 (1985)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani: Experiences with a Feedback Version Development Methodology. IEEE Trans. Software Eng. 11(8): 718-723 (1985)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani: On the Uncertainty in the Correctness of Computer Programs. IEEE Trans. Software Eng. 11(9): 857-864 (1985)
1984
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarokh B. Bastani: Performance Improvement of Abstractions Through Context Dependent Transformations. IEEE Trans. Software Eng. 10(1): 100-116 (1984)
1982
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. V. Ramamoorthy, Farokh B. Bastani: Software Reliability - Status and Perspectives. IEEE Trans. Software Eng. 8(4): 354-371 (1982)
1981
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. 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

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)