- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j42 |      | Manghui Tu, Hui Ma, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani, Dianxiang Xu: Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing. J. Grid Comput. 11(1): 103-127 (2013) |
| 2012 | ||
| j41 | | 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) |
| c98 | | Jian Huang, Wei Zhu, Farokh B. Bastani, I-Ling Yen, Jicheng Fu: Automated Exception Handling in Service Composition Using Holistic Planning. CSE 2012: 251-258 |
| c97 | | Wenke Zhang, Favyen Bastani, I-Ling Yen, Kevin Hulin, Farokh B. Bastani, Latifur Khan: Real-Time Anomaly Detection in Streams of Execution Traces. HASE 2012: 32-39 |
| c96 | | Jicheng Fu, Sijie Tian, Vincent Ng, Farokh B. Bastani, I-Ling Yen: Handling Planning Failures with Virtual Actions. ICTAI 2012: 468-475 |
| c95 | | Guang Zhou, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms. ISORC 2012: 95-102 |
| c94 | | Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: Information Assurance for Real-Time Decision Support. ISORC Workshops 2012: 150-155 |
| 2011 | ||
| c93 | | 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 |
| c92 | | Manasi Peshave, Farokh B. Bastani, I-Ling Yen: High-Assurance Reconfigurable Multicore Processor Based Systems. HASE 2011: 220-226 |
| c91 | | |
| c90 | | 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 |
| c89 | | 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 |
| c88 | | Jicheng Fu, Wei Hao, Farokh B. Bastani, I-Ling Yen: Model-Driven Development: Where Does the Code Come From? ICSC 2011: 255-262 |
| c87 | | 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 | ||
| j40 | | 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) |
| c86 | | Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani: Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds. HASE 2010: 152-161 |
| c85 | | Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Scalable Authentication and Key Management in SCADA. ICPADS 2010: 172-179 |
| c84 | | 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 |
| c83 | | Jicheng Fu, Wei Hao, I-Ling Yen, Farokh B. Bastani: Using Virtual Services to Bridge the Semantic Gap. ICSC 2010: 218-223 |
| c82 | | Jicheng Fu, Wei Hao, Michael Tu, Biao Ma, Joshua Baldwin, Farokh B. Bastani: Virtual Services in Cloud Computing. SERVICES 2010: 467-472 |
| c81 | | 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 |
| c80 | | 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 |
| c79 | | Jian Huang, Farokh B. Bastani, I-Ling Yen, Wenke Zhang: A Framework for Efficient Service Composition in Cyber-Physical Systems. SOSE 2010: 291-298 |
| c78 | | Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Secure, Dependable, and High Performance Cloud Storage. SRDS 2010: 194-203 |
| 2009 | ||
| j39 | | Sumit Ghosh, Farokh B. Bastani: Guest Editors' Introduction. Int. J. Semantic Computing 3(1): 1-3 (2009) |
| c77 | | 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 |
| c76 | | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Decentralized Path Planner for Multi-robot Systems. ICTAI 2009: 171-175 |
| c75 | | Yansheng Zhang, Farokh B. Bastani: Virtual-device framework for autonomous decentralized multi-robot systems. ISADS 2009: 73-80 |
| c74 | | 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 |
| c73 | | Jicheng Fu, Farokh B. Bastani, I-Ling Yen, Wei Hao: Using Service Patterns to Achieve Web Service Composition. ICSC 2009: 402-407 |
| c72 | | 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 |
| 2008 | ||
| j38 | | 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) |
| j37 | | 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) |
| c71 | | Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng: Service Composition for Real-Time Assurance. COMPSAC 2008: 1174-1179 |
| c70 | | 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 |
| c69 | | Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Low Cost Secure Computation for the General Client-Server Computation Model. HASE 2008: 19-26 |
| c68 | | 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 |
| c67 | | 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 |
| c66 | | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen: Availability Analysis of Robotic Swarm Systems. PRDC 2008: 331-338 |
| c65 | | 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 |
| c64 | | 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 |
| 2007 | ||
| j36 | | 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) |
| j35 | | 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) |
| c63 | | 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 |
| c62 | | Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Iterative Planning in the Context of Automated Code Synthesis. COMPSAC (1) 2007: 251-259 |
| c61 | | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. EUC 2007: 754-766 |
| c60 | | 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 |
| c59 | | Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Model-Driven Prototyping Based Requirements Elicitation. Monterey Workshop 2007: 43-61 |
| c58 |  | Liangliang Xiao, I-Ling Yen, Yanjin Zhang, Farokh B. Bastani: Evaluating Dependable Distributed Storage Systems. PDPTA 2007: 948-954 |
| 2006 | ||
| j34 | | 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) |
| j33 | | 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) |
| j32 | | 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) |
| c57 | | Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano: Instantiation Semantics for Message Sequence Charts. ENC 2006: 191-199 |
| c56 | | 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 |
| c55 | | 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 |
| c54 | | Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Automated AI Planning and Code Pattern Based Code Synthesis. ICTAI 2006: 540-546 |
| c53 | | 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 |
| c52 | | Wei-Tek Tsai, Miroslaw Malek, Yinong Chen, Farokh B. Bastani: Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. SOSE 2006: 3-10 |
| c51 | | Nirav Shah, Farokh B. Bastani, I-Ling Yen: A Real-Time Scheduling Based Framework for Traffic Coordination Systems. SUTC (1) 2006: 321-325 |
| 2005 | ||
| j31 | | 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) |
| j30 | | 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) |
| c50 | | 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 |
| c49 | | Wei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul: A Framework to Support Survivable Web Services. IPDPS 2005 |
| c48 | | Manghui Tu, Peng Li, Qingkai Ma, I-Ling Yen, Farokh B. Bastani: On the Optimal Placement of Secure Data Objects over Internet. IPDPS 2005 |
| c47 | | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: An Approach for Designing Highly Adaptable Process-Control Systems. ISORC 2005: 106-113 |
| c46 | | 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 |
| c45 | | 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 |
| c44 | | 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 |
| c43 | | Jian Liu, Farokh B. Bastani, I-Ling Yen: A Formal Foundation of Code Pattern Based Development. SEKE 2005: 274-279 |
| c42 | | Jian Liu, Farokh B. Bastani, I-Ling Yen: Meta Code Pattern and Its Refinement. Software Engineering Research and Practice 2005: 504-510 |
| c41 | | 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 |
| 2004 | ||
| j29 | | 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) |
| j28 | | 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) |
| j27 | | 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) |
| c40 | | 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 |
| c39 | | Qingkai Ma, Wei Hao, I-Ling Yen, Farokh B. Bastani: Multiparty Computation with Full Computation Power and Reduced Overhead. HASE 2004: 241-248 |
| c38 | | Manish Gupta, Farokh B. Bastani, Latifur Khan, I-Ling Yen: Automated Test Data Generation Using MEA-Graph Planning. ICTAI 2004: 174-182 |
| c37 | | Mamoun Awad, Latifur Khan, Farokh B. Bastani, I-Ling Yen: An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. ICTAI 2004: 663-667 |
| c36 | | Qingkai Ma, Wei Li, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen: Survivable Systems Based on an Adaptive NMR Algorithm. IPDPS 2004 |
| c35 | | |
| 2003 | ||
| c34 | | 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 |
| c33 | | Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen: High-Assurance Synthesis of Security Services from Basic Microservices. ISSRE 2003: 154-168 |
| c32 | | 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 |
| c31 | | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: Relational Program Architecture for High Quality Software Development. SEKE 2003: 346-353 |
| c30 | | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: Automated Software Design of Process-Control Systems. SEKE 2003: 467-474 |
| 2002 | ||
| j26 | | 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) |
| c29 | | 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 |
| c28 | | 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 |
| c27 | | 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 |
| c26 | | 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- |
| c25 | | Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen: Reliability Assessment of Framework-Based Distributed Embedded Software Systems. ISSRE 2002: 367-376 |
| 2001 | ||
| j25 | | 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) |
| c24 | | 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 |
| c23 | | Farokh B. Bastani, I-Ling Yen, Sung Kim: Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. HASE 2001: 65-74 |
| c22 | | I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn: An On-Line Repository for Embedded Software. ICTAI 2001: 314- |
| c21 | | 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 |
| c20 | | Farokh B. Bastani: High-Quality Customizable Embedded Software from COTS Components. SRDS 2001: 174-175 |
| e5 | | 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) |
| 2000 | ||
| j24 | | |
| j23 | | |
| j22 | | |
| c19 | | 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 |
| 1999 | ||
| j21 | | Farokh B. Bastani: Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems. Ann. Software Eng. 7: 5-24 (1999) |
| e4 | | Farokh B. Bastani: Editor-in-Chief Prefaces Special-Edition Tribute. IEEE Trans. Knowl. Data Eng. 11(1): 1 (1999) |
| 1998 | ||
| e3 | | Farokh B. Bastani: Introducing New Advisory Board and Editorial Board Members. IEEE Trans. Knowl. Data Eng. 10(6): 865-867 (1998) |
| 1997 | ||
| j20 | | Sourav Bhattacharya, Akira K. Onoma, Farokh B. Bastani: High-Assurance Systems (Introduction to the Special Section). Commun. ACM 40(1): 67 (1997) |
| c18 | | Victoria Hilford, Farokh B. Bastani, Bojan Cukic: EH* - Extendible Hashing in a Distributed Environment. COMPSAC 1997: 217-222 |
| c17 | | Victoria Hilford, Michael R. Lyu, Bojan Cukic, Anouar Jamoussi, Farokh B. Bastani: Diversity in the software development process. WORDS 1997: 129-136 |
| e2 | | 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 | ||
| c16 | | Farokh B. Bastani, Bojan Cukic: Impact of program transformation on software reliability assessment. HASE 1996: 214-221 |
| c15 | | Anouar Jamoussi, Farokh B. Bastani: Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions". SEKE 1996: 17-24 |
| c14 | | Farokh B. Bastani, Bojan Cukic, Victoria Hilford, Anouar Jamoussi: Toward dependable safety-critical software. WORDS 1996: 86-92 |
| 1995 | ||
| j19 | | I-Ling Yen, Farokh B. Bastani: Parallel Hashing: Collision Resolution Strategies and Performance. J. Parallel Distrib. Comput. 31(2): 190-198 (1995) |
| j18 | | 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) |
| c13 | | |
| c12 | | I-Ling Yen, Farokh B. Bastani: Robust parallel resource management in shared memory multiprocessor systems. IPPS 1995: 458-465 |
| 1994 | ||
| j17 | | Ing-Ray Chen, Farokh B. Bastani: Warm Standby in Hierarchically Structured Process-Control Programs. IEEE Trans. Software Eng. 20(8): 658-663 (1994) |
| c11 | | I-Ling Yen, Farokh B. Bastani: Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs. FTCS 1994: 154-163 |
| c10 | | Bojan Cukic, Farokh B. Bastani: Automatic Array Alignment as a Step in Hierarchical Program Transformation. IPPS 1994: 578-582 |
| 1993 | ||
| j16 | | Farokh B. Bastani, Ing-Ray Chen: The Reliability of Embedded AI Systems. IEEE Expert 8(2): 72-78 (1993) |
| j15 | | 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) |
| j14 | | Farokh B. Bastani: Forword: Software Reliability. IEEE Trans. Software Eng. 19(11): 1013-1014 (1993) |
| c9 | | 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 |
| c8 | | I-Ling Yen, Rumi M. Dubash, Farokh B. Bastani: Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel Architectures. IPPS 1993: 672-679 |
| 1992 | ||
| j13 | | Yi Zhao, Farokh B. Bastani: A Self-Adjusting Algorithm for Byzantine Agreement. Distributed Computing 5(4): 219-226 (1992) |
| c7 | | Yiwei Chen, Farokh B. Bastani: Algorithmic Mapping of Neural Networks with Multiactivation Production Units onto SIMD Machines. ICTAI 1992: 93-97 |
| c6 | | |
| e1 | | 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 | ||
| j12 | | 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) |
| c5 | | I-Ling Yen, Farokh B. Bastani, Ernst L. Leiss: An Inherently Fault Tolerant Sorting Algorithm. IPPS 1991: 37-42 |
| 1989 | ||
| j11 | | 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 | ||
| j10 | | 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) |
| j9 | | 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) |
| j8 | | 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) |
| c4 | | Farokh B. Bastani, Ing-Ray Chen: The Role of Artificial Intelligence in Fault-Tolerant Process-Control Systems. IEA/AIE (Vol. 2) 1988: 1049-1058 |
| 1987 | ||
| j7 | | Farokh B. Bastani, S. Sitharama Iyengar: The Effect of Data Structures on the Logical Complexity of Programs. Commun. ACM 30(3): 250-259 (1987) |
| c3 | | |
| 1986 | ||
| c2 | | 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 | ||
| j6 | | Farokh B. Bastani: Experiences with a Feedback Version Development Methodology. IEEE Trans. Software Eng. 11(8): 718-723 (1985) |
| j5 | | Farokh B. Bastani: On the Uncertainty in the Correctness of Computer Programs. IEEE Trans. Software Eng. 11(9): 857-864 (1985) |
| j4 | | Amrit L. Goel, Farokh B. Bastani: Foreword Software Reliability. IEEE Trans. Software Eng. 11(12): 1409-1410 (1985) |
| 1984 | ||
| j3 | | Farokh B. Bastani: Performance Improvement of Abstractions Through Context Dependent Transformations. IEEE Trans. Software Eng. 10(1): 100-116 (1984) |
| 1982 | ||
| j2 | | C. V. Ramamoorthy, Farokh B. Bastani: Software Reliability - Status and Perspectives. IEEE Trans. Software Eng. 8(4): 354-371 (1982) |
| 1981 | ||
| j1 | | 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 | ||
| c1 | | 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 |
Colors in the list of coauthors
Last update Mon May 20 22:43:21 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page