| 2013 | ||
|---|---|---|
| j40 | 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) | |
| j39 | Hui Ma, Favyen Bastani, I-Ling Yen, Hong Mei: QoS-Driven Service Composition with Reconfigurable Services. IEEE T. Services Computing 6(1): 20-34 (2013) | |
| 2012 | ||
| j38 | 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) | |
| c120 | Liangliang Xiao, I-Ling Yen: Security analysis for order preserving encryption schemes. CISS 2012: 1-6 | |
| c119 | 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 | |
| c118 | 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 | |
| c117 | Jicheng Fu, Sijie Tian, Vincent Ng, Farokh B. Bastani, I-Ling Yen: Handling Planning Failures with Virtual Actions. ICTAI 2012: 468-475 | |
| c116 | Chien-Hsiang Lee, San-Yih Hwang, I-Ling Yen: A Service Pattern Model for Flexible Service Composition. ICWS 2012: 626-627 | |
| c115 | Guang Zhou, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms. ISORC 2012: 95-102 | |
| c114 | Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: Information Assurance for Real-Time Decision Support. ISORC Workshops 2012: 150-155 | |
| i4 | Liangliang Xiao, I-Ling Yen: Security Analysis and Enhancement for Prefix-Preserving Encryption Schemes. IACR Cryptology ePrint Archive 2012: 191 (2012) | |
| i3 | Liangliang Xiao, I-Ling Yen, Dung T. Huynh: Extending Order Preserving Encryption for Multi-User Systems. IACR Cryptology ePrint Archive 2012: 192 (2012) | |
| i2 | Liangliang Xiao, Osbert Bastani, I-Ling Yen: An Efficient Homomorphic Encryption Protocol for Multi-User Systems. IACR Cryptology ePrint Archive 2012: 193 (2012) | |
| i1 | Liangliang Xiao, I-Ling Yen: A Note for the Ideal Order-Preserving Encryption Object and Generalized Order-Preserving Encryption. IACR Cryptology ePrint Archive 2012: 350 (2012) | |
| 2011 | ||
| c113 | 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 | |
| c112 | Manasi Peshave, Farokh B. Bastani, I-Ling Yen: High-Assurance Reconfigurable Multicore Processor Based Systems. HASE 2011: 220-226 | |
| c111 | ||
| c110 | Wei She, I-Ling Yen, Bhavani M. Thuraisingham, San-Yih Huang: Rule-Based Run-Time Information Flow Control in Service Cloud. ICWS 2011: 524-531 | |
| c109 | 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 | |
| c108 | 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 | |
| c107 | Jicheng Fu, Wei Hao, Farokh B. Bastani, I-Ling Yen: Model-Driven Development: Where Does the Code Come From? ICSC 2011: 255-262 | |
| c106 | Panfeng Xue, I-Ling Yen, Kendra M. L. Cooper: QoS-driven dynamic adaptation in media intensive systems. SOCA 2011: 1-8 | |
| c105 | 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 | ||
| j37 | Wei She, I-Ling Yen, Bhavani M. Thuraisingham: Enhancing Security Modeling for Web Services Using Delegation and Pass-On. Int. J. Web Service Res. 7(1): 1-21 (2010) | |
| j36 | 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) | |
| j35 | Manghui Tu, Peng Li, I-Ling Yen, Bhavani M. Thuraisingham, Latifur Khan: Secure Data Objects Replication in Data Grid. IEEE Trans. Dependable Sec. Comput. 7(1): 50-64 (2010) | |
| c104 | Wei She, I-Ling Yen, Bhavani M. Thuraisingham: WS-Sim: A Web Service Simulation Toolset with Realistic Data Support. COMPSAC Workshops 2010: 109-114 | |
| c103 | Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani: Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds. HASE 2010: 152-161 | |
| c102 | Zhonghang Xia, Wenke Zhang, Manghui Tu, I-Ling Yen: Kernel-based Approaches for Collaborative Filtering. ICMLA 2010: 229-234 | |
| c101 | Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Scalable Authentication and Key Management in SCADA. ICPADS 2010: 172-179 | |
| c100 | 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 | |
| c99 | Wei She, I-Ling Yen, Bhavani M. Thuraisingham, Elisa Bertino: Policy-Driven Service Composition with Information Flow Control. ICWS 2010: 50-57 | |
| c98 | Jicheng Fu, Wei Hao, I-Ling Yen, Farokh B. Bastani: Using Virtual Services to Bridge the Semantic Gap. ICSC 2010: 218-223 | |
| c97 | 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 | |
| c96 | 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 | |
| c95 | Jian Huang, Farokh B. Bastani, I-Ling Yen, Wenke Zhang: A Framework for Efficient Service Composition in Cyber-Physical Systems. SOSE 2010: 291-298 | |
| c94 | Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Secure, Dependable, and High Performance Cloud Storage. SRDS 2010: 194-203 | |
| 2009 | ||
| c93 | 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 | |
| c92 | Wei Hao, I-Ling Yen, Bhavani M. Thuraisingham: Dynamic Service and Data Migration in the Clouds. COMPSAC (2) 2009: 134-139 | |
| c91 | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Decentralized Path Planner for Multi-robot Systems. ICTAI 2009: 171-175 | |
| c90 | Wei She, I-Ling Yen, Bhavani M. Thuraisingham, Elisa Bertino: The SCIFC Model for Information Flow Control in Web Service Composition. ICWS 2009: 1-8 | |
| c89 | Wei Hao, Jicheng Fu, I-Ling Yen, Zhonghang Xia: Achieving high performance web applications by service and database replications at edge servers. IPCCC 2009: 153-160 | |
| c88 | 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 | |
| c87 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen, Wei Hao: Using Service Patterns to Achieve Web Service Composition. ICSC 2009: 402-407 | |
| c86 | 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 | |
| c85 | Wei She, I-Ling Yen, Bhavani M. Thuraisingham, Elisa Bertino: Effective and efficient implementation of an information flow control protocol for service composition. SOCA 2009: 1-8 | |
| 2008 | ||
| j34 | 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) | |
| j33 | 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) | |
| c84 | Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng: Service Composition for Real-Time Assurance. COMPSAC 2008: 1174-1179 | |
| c83 | 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 | |
| c82 | Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Low Cost Secure Computation for the General Client-Server Computation Model. HASE 2008: 19-26 | |
| c81 | 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 | |
| c80 | Yunqi Ye, I-Ling Yen, Liangliang Xiao, Bhavani M. Thuraisingham: Secure, Highly Available, and High Performance Peer-to-Peer Storage Systems. HASE 2008: 383-391 | |
| c79 | Wei Hao, Jicheng Fu, I-Ling Yen, Zhonghang Xia: A Novel PSO-MP Approach for Database Replications at Edge Servers. ICTAI (2) 2008: 291-298 | |
| c78 | 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 | |
| c77 | Wei She, I-Ling Yen, Bhavani M. Thuraisingham: Enhancing Security Modeling for Web Services Using Delegation and Pass-On. ICWS 2008: 545-552 | |
| c76 | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen: Availability Analysis of Robotic Swarm Systems. PRDC 2008: 331-338 | |
| c75 | 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 | |
| c74 | 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 | ||
| j32 | Peng Li, Manghui Tu, I-Ling Yen, Zhonghang Xia: Preference update for e-commerce applications: Model, language, and processing. Electronic Commerce Research 7(1): 17-44 (2007) | |
| j31 | Zhonghang Xia, Wei Hao, I-Ling Yen: A distributed integrated request processing algorithm for QoS assurance in large-scale media-based systems. J. Parallel Distrib. Comput. 67(7): 863-875 (2007) | |
| j30 | 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) | |
| j29 | 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) | |
| j28 | Jia Zhou, Kendra Cooper, Hui Ma, I-Ling Yen: On the Customization of Components: A Rule-Based Approach. IEEE Trans. Knowl. Data Eng. 19(9): 1262-1275 (2007) | |
| c73 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Iterative Planning in the Context of Automated Code Synthesis. COMPSAC (1) 2007: 251-259 | |
| c72 | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. EUC 2007: 754-766 | |
| c71 | Wei She, Bhavani M. Thuraisingham, I-Ling Yen: Delegation-Based Security Model for Web Services. HASE 2007: 82-91 | |
| c70 | 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 | |
| c69 | ||
| c68 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Model-Driven Prototyping Based Requirements Elicitation. Monterey Workshop 2007: 43-61 | |
| c67 | Manghui Tu, Dongfeng Wang, Yanjin Zhang, I-Ling Yen: Correlated Data Placement in Widely Distributed Systems. PDPTA 2007: 44-50 | |
| c66 | Liangliang Xiao, I-Ling Yen, Yanjin Zhang, Farokh B. Bastani: Evaluating Dependable Distributed Storage Systems. PDPTA 2007: 948-954 | |
| 2006 | ||
| j27 | 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) | |
| j26 | Zhonghang Xia, I-Ling Yen, Donglei Du, Peng Li: An integrated admission control scheme for the delivery of streaming media. J. Parallel Distrib. Comput. 66(3): 334-344 (2006) | |
| j25 | Hui Ma, I-Ling Yen, Jia Zhou, Kendra Cooper: QoS analysis for component-based embedded software: Model and methodology. Journal of Systems and Software 79(6): 859-870 (2006) | |
| j24 | 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) | |
| j23 | Ing-Ray Chen, Okan Yilmaz, I-Ling Yen: Admission Control Algorithms for Revenue Optimization with QoS Guarantees in Mobile Wireless Networks. Wireless Personal Communications 38(3): 357-376 (2006) | |
| j22 | 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) | |
| c65 | Quang Vinh Nguyen, Mao Lin Huang, Kang Zhang, I-Ling Yen: A Visualization Model for Web Sitemaps. CGIV 2006: 12-17 | |
| c64 | 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 | |
| c63 | 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 | |
| c62 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Automated AI Planning and Code Pattern Based Code Synthesis. ICTAI 2006: 540-546 | |
| c61 | Jia Zhou, Kendra Cooper, I-Ling Yen, John Linn, Raymond A. Paul: A Software Enhancement System for Embedded Software Development. ISORC 2006: 93-100 | |
| c60 | 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 | |
| c59 | Wei Hao, Tong Gao, I-Ling Yen, Yinong Chen, Raymond A. Paul: An Infrastructure for Web Services Migration for Real-Time Applications. SOSE 2006: 41-48 | |
| c58 | Nirav Shah, Farokh B. Bastani, I-Ling Yen: A Real-Time Scheduling Based Framework for Traffic Coordination Systems. SUTC (1) 2006: 321-325 | |
| 2005 | ||
| j21 | Peng Li, Zhonghang Xia, Manghui Tu, I-Ling Yen: M3-Update: A New Update Model for E-Commerce and Web-Based Applications. I. J. Comput. Appl. 12(3): 152-162 (2005) | |
| j20 | 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) | |
| j19 | Ing-Ray Chen, Sheng-Tun Li, I-Ling Yen: Adaptive QoS Control Based on Benefit Optimization for Video Servers Providing Differentiated Services. Multimedia Tools Appl. 25(2): 167-185 (2005) | |
| j18 | Zhonghang Xia, Wei Hao, I-Ling Yen, Peng Li: A Distributed Admission Control Model for QoS Assurance in Large-Scale Media Delivery Systems. IEEE Trans. Parallel Distrib. Syst. 16(12): 1143-1153 (2005) | |
| j17 | 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) | |
| j16 | Ing-Ray Chen, Ngoc Anh Phan, I-Ling Yen: Update Propagation Algorithms for Supporting Disconnected Write in Mobile Wireless Systems with Data Broadcasting Capability. Wireless Personal Communications 34(3): 227-253 (2005) | |
| c57 | 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 | |
| c56 | Wei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul: A Framework to Support Survivable Web Services. IPDPS 2005 | |
| c55 | Manghui Tu, Peng Li, Qingkai Ma, I-Ling Yen, Farokh B. Bastani: On the Optimal Placement of Secure Data Objects over Internet. IPDPS 2005 | |
| c54 | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: An Approach for Designing Highly Adaptable Process-Control Systems. ISORC 2005: 106-113 | |
| c53 | Jia Zhou, Kendra Cooper, I-Ling Yen, Raymond A. Paul: Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration. ISORC 2005: 426-433 | |
| c52 | 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 | |
| c51 | 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 | |
| c50 | 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 | |
| c49 | Jian Liu, Farokh B. Bastani, I-Ling Yen: A Formal Foundation of Code Pattern Based Development. SEKE 2005: 274-279 | |
| c48 | Jian Liu, Farokh B. Bastani, I-Ling Yen: Meta Code Pattern and Its Refinement. Software Engineering Research and Practice 2005: 504-510 | |
| c47 | 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 | ||
| j15 | 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) | |
| j14 | 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) | |
| j13 | 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) | |
| j12 | Ding-Chau Wang, Ing-Ray Chen, Chih-Ping Chu, I-Ling Yen: Replicated Object Management with Periodic Maintenance in Mobile Wireless Systems. Wireless Personal Communications 28(1): 17-33 (2004) | |
| c46 | 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 | |
| c45 | Qingkai Ma, Wei Hao, I-Ling Yen, Farokh B. Bastani: Multiparty Computation with Full Computation Power and Reduced Overhead. HASE 2004: 241-248 | |
| c44 | Jia Zhou, Kendra Cooper, I-Ling Yen: A Rule-Based Component Customization Technique for QoS Properties. HASE 2004: 302-303 | |
| c43 | ||
| c42 | Manish Gupta, Farokh B. Bastani, Latifur Khan, I-Ling Yen: Automated Test Data Generation Using MEA-Graph Planning. ICTAI 2004: 174-182 | |
| c41 | Mamoun Awad, Latifur Khan, Farokh B. Bastani, I-Ling Yen: An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. ICTAI 2004: 663-667 | |
| c40 | Qingkai Ma, Wei Li, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen: Survivable Systems Based on an Adaptive NMR Algorithm. IPDPS 2004 | |
| c39 | Manghui Tu, Peng Li, I-Ling Yen: Transaction Based Dynamic Partial Replication in Mobile Environments. IPDPS 2004 | |
| c38 | Zhonghang Xia, Peng Li, I-Ling Yen: A Neural Network Based Approach for Overlay Multicast in Media Streaming Systems. IPDPS 2004 | |
| 2003 | ||
| c37 | Qingkai Ma, Wei Hao, Wei Li, Manghui Tu, I-Ling Yen: PeAgent - A Mobile Agent System to Support Secure Internet and Web Applications. COMPSAC 2003: 690-695 | |
| c36 | 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 | |
| c35 | Zhonghang Xia, I-Ling Yen, Peng Li: A distributed admission control model for large-scale continuous media services. GLOBECOM 2003: 4001-4005 | |
| c34 | Peng Li, I-Ling Yen, Zhonghang Xia: M3TAgent : A Transaction Processing System for B2C E-Commerce. IKE 2003: 186-192 | |
| 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 | ||
| j11 | Ing-Ray Chen, Ngoc Anh Phan, I-Ling Yen: Algorithms for Supporting Disconnected Write Operations for Wireless Web Access in Mobile Client-Server Environments. IEEE Trans. Mob. Comput. 1(1): 46-58 (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 | |
| c24 | Ing-Ray Chen, Sheng-Tun Li, I-Ling Yen: QoS Control Algorithms Based on Benefit Optimization for Video Servers Providing Differentiated Services. JCIS 2002: 988-991 | |
| 2001 | ||
| j10 | 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) | |
| c23 | 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 | |
| c22 | Peng Li, Jayabharath Goluguri, I-Ling Yen, Ann T. Tai: Multi-Criteria Transaction for E-Commerce Applications. COMPSAC 2001: 596-602 | |
| c21 | Farokh B. Bastani, I-Ling Yen, Sung Kim: Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. HASE 2001: 65-74 | |
| c20 | Biao Chen, I-Ling Yen: TCP Glow Performance Guarantee in DiffServ Networks. International Conference on Internet Computing (1) 2001: 424-430 | |
| c19 | I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn: An On-Line Repository for Embedded Software. ICTAI 2001: 314- | |
| c18 | Ing-Ray Chen, Ngoc Anh Phan, I-Ling Yen: Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server Environments. ISADS 2001: 456-463 | |
| c17 | 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 | |
| 2000 | ||
| c16 | 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 | ||
| j9 | I-Ling Yen, Iftikhar Ahmed, Ramanujam Jagannath, Sreeparna Kundu: The Design and Implementation of a Customizable Fault Tolerance Framework. International Journal of Software Engineering and Knowledge Engineering 9(2): 181-202 (1999) | |
| c15 | I-Ling Yen, Biao Chen, Ing-Ray Chen: Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure. HASE 1999: 161-168 | |
| c14 | ||
| 1998 | ||
| j8 | I-Ling Yen, Raymond A. Paul, Kinji Mori: Toward Integrated Methods for High-Assurance Systems (Guest Editors' Introduction). IEEE Computer 31(4): 32-34 (1998) | |
| j7 | I-Ling Yen, Raymond A. Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry: Key Applications for High-Assurance Systems. IEEE Computer 31(4): 35-45 (1998) | |
| c13 | I-Ling Yen, Iftikhar Ahmed, Ramanujam Jagannath, Sreeparna Kundu: Implementation of a Customizable Fault Tolerance Framework. ISORC 1998: 230-239 | |
| 1997 | ||
| c12 | I-Ling Yen, K. Karun: Implementation and performance assessment of multilevel data structures. COMPSAC 1997: 153-157 | |
| c11 | I-Ling Yen: An object-oriented fault-tolerance framework based on specialization techniques. WORDS 1997: 291-297 | |
| 1996 | ||
| j6 | I-Ling Yen: A Highly Safe Self-Stabilizing Mutual Exclusion Algorithm. Inf. Process. Lett. 57(6): 301-305 (1996) | |
| c10 | ||
| c9 | I-Ling Yen: Specialized N-Modular Redundant Processors in Large-Scale Distributed Systems. SRDS 1996: 12-21 | |
| 1995 | ||
| j5 | Ing-Ray Chen, I-Ling Yen: Analysis of Probabilistic Error Checking Procedures on Storage Systems. Comput. J. 38(5): 348-354 (1995) | |
| j4 | I-Ling Yen, Farokh B. Bastani: Parallel Hashing: Collision Resolution Strategies and Performance. J. Parallel Distrib. Comput. 31(2): 190-198 (1995) | |
| c8 | I-Ling Yen, Ing-Ray Chen: Quality Assessment for Multiple Server Cooperating Systems. COMPSAC 1995: 218-223 | |
| c7 | Yung-Kang Chu, I-Ling Yen, Diane T. Rover: Guiding processor allocation with estimated execution time for mesh connected multiple processor systems. HICSS (2) 1995: 163-172 | |
| c6 | I-Ling Yen, Farokh B. Bastani: Robust parallel resource management in shared memory multiprocessor systems. IPPS 1995: 458-465 | |
| 1994 | ||
| c5 | I-Ling Yen, Farokh B. Bastani: Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs. FTCS 1994: 154-163 | |
| 1993 | ||
| c4 | 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 | ||
| c3 | ||
| 1991 | ||
| c2 | I-Ling Yen, Farokh B. Bastani, Ernst L. Leiss: An Inherently Fault Tolerant Sorting Algorithm. IPPS 1991: 37-42 | |
| 1988 | ||
| j3 | 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) | |
| j2 | 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) | |
| j1 | 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) | |
| 1987 | ||
| c1 | ||
Colors in the list of coauthors
Last update Tue May 21 17:12:16 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page