I-Ling Yen

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2013
164QoS-Driven Service Composition with Reconfigurable Services. Hui Ma, Favyen Bastani, I-Ling Yen, Hong Mei. IEEE T. Services Computing (6): 20-34 (2013). Web SearchBibTeXDownload
163Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing. Manghui Tu, Hui Ma, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani, Dianxiang Xu. J. Grid Comput. (11): 103-127 (2013). Web SearchBibTeXDownload
2012
162Security analysis for order preserving encryption schemes. Liangliang Xiao, I-Ling Yen. CISS 2012, 1-6. Web SearchBibTeXDownload
161Automated Exception Handling in Service Composition Using Holistic Planning. Jian Huang, Wei Zhu, Farokh B. Bastani, I-Ling Yen, Jicheng Fu. CSE 2012, 251-258. Web SearchBibTeXDownload
160Optimization models for assessing the peak capacity utilization of intelligent transportation systems. Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen. European Journal of Operational Research (216): 239-251 (2012). Web SearchBibTeXDownload
159Real-Time Anomaly Detection in Streams of Execution Traces. Wenke Zhang, Favyen Bastani, I-Ling Yen, Kevin Hulin, Farokh B. Bastani, Latifur Khan. HASE 2012, 32-39. Web SearchBibTeXDownload
158An Efficient Homomorphic Encryption Protocol for Multi-User Systems. Liangliang Xiao, Osbert Bastani, I-Ling Yen. IACR Cryptology ePrint Archive (2012): 193 (2012). Web SearchBibTeXDownload
157A Note for the Ideal Order-Preserving Encryption Object and Generalized Order-Preserving Encryption. Liangliang Xiao, I-Ling Yen. IACR Cryptology ePrint Archive (2012): 350 (2012). Web SearchBibTeXDownload
156Extending Order Preserving Encryption for Multi-User Systems. Liangliang Xiao, I-Ling Yen, Dung T. Huynh. IACR Cryptology ePrint Archive (2012): 192 (2012). Web SearchBibTeXDownload
155Security Analysis and Enhancement for Prefix-Preserving Encryption Schemes. Liangliang Xiao, I-Ling Yen. IACR Cryptology ePrint Archive (2012): 191 (2012). Web SearchBibTeXDownload
154Handling Planning Failures with Virtual Actions. Jicheng Fu, Sijie Tian, Vincent Ng, Farokh B. Bastani, I-Ling Yen. ICTAI 2012, 468-475. Web SearchBibTeXDownload
153A Service Pattern Model for Flexible Service Composition. Chien-Hsiang Lee, San-Yih Hwang, I-Ling Yen. ICWS 2012, 626-627. Web SearchBibTeXDownload
152Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms. Guang Zhou, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen. ISORC 2012, 95-102. Web SearchBibTeXDownload
151Information Assurance for Real-Time Decision Support. Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul. ISORC Workshops 2012, 150-155. Web SearchBibTeXDownload
2011
150High-Assurance Reconfigurable Multicore Processor Based Systems. Manasi Peshave, Farokh B. Bastani, I-Ling Yen. HASE 2011, 220-226. Web SearchBibTeXDownload
149Model-Driven Development: Where Does the Code Come From?. Jicheng Fu, Wei Hao, Farokh B. Bastani, I-Ling Yen. ICSC 2011, 255-262. Web SearchBibTeXDownload
148ROBUST Path Strategy Evaluator. Angie Shia, Farokh B. Bastani, I-Ling Yen. ICTAI 2011, 567-574. Web SearchBibTeXDownload
147Rule-Based Run-Time Information Flow Control in Service Cloud. Wei She, I-Ling Yen, Bhavani M. Thuraisingham, San-Yih Huang. ICWS 2011, 524-531. Web SearchBibTeXDownload
146Leveraging Service Clouds for Power and QoS Management for Mobile Devices. Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani. IEEE CLOUD 2011, 235-242. Web SearchBibTeXDownload
145Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems. Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen. IJCAI 2011, 1949-1954. Web SearchBibTeXDownload
144A Highly Resilient Framework for Autonomous Robotic Swarm Systems Operating in Unknown, Hostile Environments. Angie Shia, Farokh B. Bastani, I-Ling Yen. ISADS 2011, 147-153. Web SearchBibTeXDownload
143QoS-driven dynamic adaptation in media intensive systems. Panfeng Xue, I-Ling Yen, Kendra M. L. Cooper. SOCA 2011, 1-8. Web SearchBibTeXDownload
142Role-based integrated access control and data provenance for SOA based net-centric systems. Wei She, I-Ling Yen, Farokh B. Bastani, Bao N. Tran, Bhavani M. Thuraisingham. SOSE 2011, 225-234. Web SearchBibTeXDownload
2010
141WS-Sim: A Web Service Simulation Toolset with Realistic Data Support. Wei She, I-Ling Yen, Bhavani M. Thuraisingham. COMPSAC Workshops 2010, 109-114. Web SearchBibTeXDownload
140Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds. Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani. HASE 2010, 152-161. Web SearchBibTeXDownload
139Kernel-based Approaches for Collaborative Filtering. Zhonghang Xia, Wenke Zhang, Manghui Tu, I-Ling Yen. ICMLA 2010, 229-234. Web SearchBibTeXDownload
138Scalable Authentication and Key Management in SCADA. Liangliang Xiao, I-Ling Yen, Farokh B. Bastani. ICPADS 2010, 172-179. Web SearchBibTeXDownload
137Cloud Storage Design Based on Hybrid of Replication and Data Partitioning. Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani. ICPADS 2010, 415-422. Web SearchBibTeXDownload
136Using Virtual Services to Bridge the Semantic Gap. Jicheng Fu, Wei Hao, I-Ling Yen, Farokh B. Bastani. ICSC 2010, 218-223. Web SearchBibTeXDownload
135Policy-Driven Service Composition with Information Flow Control. Wei She, I-Ling Yen, Bhavani M. Thuraisingham, Elisa Bertino. ICWS 2010, 50-57. Web SearchBibTeXDownload
134Secure Data Objects Replication in Data Grid. Manghui Tu, Peng Li, I-Ling Yen, Bhavani M. Thuraisingham, Latifur Khan. IEEE Trans. Dependable Sec. Comput. (7): 50-64 (2010). Web SearchBibTeXDownload
133Enhancing Security Modeling for Web Services Using Delegation and Pass-On. Wei She, I-Ling Yen, Bhavani M. Thuraisingham. Int. J. Web Service Res. (7): 1-21 (2010). Web SearchBibTeXDownload
132Toward effective service composition for real-time SOA-based systems. Hachem Moussa, Tong Gao, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng. Service Oriented Computing and Applications (4): 17-31 (2010). Web SearchBibTeXDownload
131Real-Time Service-Oriented Distributed Governance. Jian Huang, Yansheng Zhang, I-Ling Yen, John T. Carson, Mike F. Siok, Farokh B. Bastani, Yajing Zhao, Jing Dong. SERVICES 2010, 479-484. Web SearchBibTeXDownload
130A Framework for QoS and Power Management in a Service Cloud Environment with Mobile Devices. Yunqi Ye, Nisha Jain, Longsheng Xia, Suhas Joshi, I-Ling Yen, Farokh B. Bastani, Kenneth L. Cureton, Mark K. Bowler. SOSE 2010, 236-243. Web SearchBibTeXDownload
129A Framework for Efficient Service Composition in Cyber-Physical Systems. Jian Huang, Farokh B. Bastani, I-Ling Yen, Wenke Zhang. SOSE 2010, 291-298. Web SearchBibTeXDownload
128Secure, Dependable, and High Performance Cloud Storage. Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani. SRDS 2010, 194-203. Web SearchBibTeXDownload
2009
127Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model. Jian Huang, Farokh B. Bastani, I-Ling Yen, Jun-Jang Jeng. COMPSAC (2) 2009, 122-127. Web SearchBibTeXDownload
126Dynamic Service and Data Migration in the Clouds. Wei Hao, I-Ling Yen, Bhavani M. Thuraisingham. COMPSAC (2) 2009, 134-139. Web SearchBibTeXDownload
125Using Service Patterns to Achieve Web Service Composition. Jicheng Fu, Farokh B. Bastani, I-Ling Yen, Wei Hao. ICSC 2009, 402-407. Web SearchBibTeXDownload
124Decentralized Path Planner for Multi-robot Systems. Yansheng Zhang, Farokh B. Bastani, I-Ling Yen. ICTAI 2009, 171-175. Web SearchBibTeXDownload
123The SCIFC Model for Information Flow Control in Web Service Composition. Wei She, I-Ling Yen, Bhavani M. Thuraisingham, Elisa Bertino. ICWS 2009, 1-8. Web SearchBibTeXDownload
122Achieving high performance web applications by service and database replications at edge servers. Wei Hao, Jicheng Fu, I-Ling Yen, Zhonghang Xia. IPCCC 2009, 153-160. Web SearchBibTeXDownload
121Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems. Yansheng Zhang, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau. ISSRE 2009, 51-60. Web SearchBibTeXDownload
120Effective and efficient implementation of an information flow control protocol for service composition. Wei She, I-Ling Yen, Bhavani M. Thuraisingham, Elisa Bertino. SOCA 2009, 1-8. Web SearchBibTeXDownload
119Extending service model to build an effective service composition framework for cyber-physical systems. Jian Huang, Farokh B. Bastani, I-Ling Yen, Jing Dong, Wenke Zhang, Feng-Jian Wang, Hwai-Jung Hsu. SOCA 2009, 1-8. Web SearchBibTeXDownload
2008
118Service Composition for Real-Time Assurance. Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng. COMPSAC 2008, 1174-1179. Web SearchBibTeXDownload
117An Early Reliability Assessment Model for Data-Flow Software Architectures. Gerardo Padilla, Tong Gao, I-Ling Yen, Farokh B. Bastani, Carlos Montes de Oca. ENC 2008, 9-19. Web SearchBibTeXDownload
116Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. Jicheng Fu, Farokh B. Bastani, I-Ling Yen. HASE 2008, 333-342. Web SearchBibTeXDownload
115Low Cost Secure Computation for the General Client-Server Computation Model. Liangliang Xiao, I-Ling Yen, Farokh B. Bastani. HASE 2008, 19-26. Web SearchBibTeXDownload
114Secure, Highly Available, and High Performance Peer-to-Peer Storage Systems. Yunqi Ye, I-Ling Yen, Liangliang Xiao, Bhavani M. Thuraisingham. HASE 2008, 383-391. Web SearchBibTeXDownload
113An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna Kavi, Arif Ghafoor, Jaideep Srivastava. ICSC 2008, 386-393. Web SearchBibTeXDownload
112FIP: A Fast Planning-Graph-Based Iterative Planner. Jicheng Fu, Farokh B. Bastani, Vincent Ng, I-Ling Yen, Yansheng Zhang. ICTAI (1) 2008, 419-426. Web SearchBibTeXDownload
111A Novel PSO-MP Approach for Database Replications at Edge Servers. Wei Hao, Jicheng Fu, I-Ling Yen, Zhonghang Xia. ICTAI (2) 2008, 291-298. Web SearchBibTeXDownload
110Enhancing Security Modeling for Web Services Using Delegation and Pass-On. Wei She, I-Ling Yen, Bhavani M. Thuraisingham. ICWS 2008, 545-552. Web SearchBibTeXDownload
109QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems. I-Ling Yen, Hui Ma, Farokh B. Bastani, Hong Mei. IEEE Computer (41): 48-55 (2008). Web SearchBibTeXDownload
108Empirical Assessment of Machine Learning Based Software Defect Prediction Techniques. Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul. International Journal on Artificial Intelligence Tools (17): 389-400 (2008). Web SearchBibTeXDownload
107Availability Analysis of Robotic Swarm Systems. Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen. PRDC 2008, 331-338. Web SearchBibTeXDownload
106A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation. Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen. SUTC 2008, 177-184. Web SearchBibTeXDownload
2007
105Iterative Planning in the Context of Automated Code Synthesis. Jicheng Fu, Farokh B. Bastani, I-Ling Yen. COMPSAC (1) 2007, 251-259. Web SearchBibTeXDownload
104Preference update for e-commerce applications: Model, language, and processing. Peng Li, Manghui Tu, I-Ling Yen, Zhonghang Xia. Electronic Commerce Research (7): 17-44 (2007). Web SearchBibTeXDownload
103Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. Yansheng Zhang, Farokh B. Bastani, I-Ling Yen. EUC 2007, 754-766. Web SearchBibTeXDownload
102Delegation-Based Security Model for Web Services. Wei She, Bhavani M. Thuraisingham, I-Ling Yen. HASE 2007, 82-91. Cited by 2Web SearchBibTeXDownload
101Placement in Dependable and Secure Peer-to-Peer Data Grids. Manghui Tu, Liangliang Xiao, Hui Ma, I-Ling Yen, Farokh B. Bastani. HASE 2007, 133-140. Web SearchBibTeXDownload
100Adaptive User Interface Generation for Web Services. Jiang He, I-Ling Yen. ICEBE 2007, 536-539. Web SearchBibTeXDownload
99On the Customization of Components: A Rule-Based Approach. Jia Zhou, Kendra Cooper, Hui Ma, I-Ling Yen. IEEE Trans. Knowl. Data Eng. (19): 1262-1275 (2007). Web SearchBibTeXDownload
98A Flexible Content Adaptation System Using a Rule-Based Approach. Jiang He, Tong Gao, Wei Hao, I-Ling Yen, Farokh B. Bastani. IEEE Trans. Knowl. Data Eng. (19): 127-140 (2007). Web SearchBibTeXDownload
97A distributed integrated request processing algorithm for QoS assurance in large-scale media-based systems. Zhonghang Xia, Wei Hao, I-Ling Yen. J. Parallel Distrib. Comput. (67): 863-875 (2007). Web SearchBibTeXDownload
96Model-Driven Prototyping Based Requirements Elicitation. Jicheng Fu, Farokh B. Bastani, I-Ling Yen. Monterey Workshop 2007, 43-61. Web SearchBibTeXDownload
95Evaluating Dependable Distributed Storage Systems. Liangliang Xiao, I-Ling Yen, Yanjin Zhang, Farokh B. Bastani. PDPTA 2007, 948-954. Web SearchBibTeX
94Correlated Data Placement in Widely Distributed Systems. Manghui Tu, Dongfeng Wang, Yanjin Zhang, I-Ling Yen. PDPTA 2007, 44-50. Web SearchBibTeX
93Rapid goal-oriented automated software testing using MEA-graph planning. Manish Gupta, Jicheng Fu, Farokh B. Bastani, Latifur Khan, I-Ling Yen. Software Quality Journal (15): 241-263 (2007). Web SearchBibTeXDownload
2006
92A Visualization Model for Web Sitemaps. Quang Vinh Nguyen, Mao Lin Huang, Kang Zhang, I-Ling Yen. CGIV 2006, 12-17. Web SearchBibTeXDownload
91Automated AI Planning and Code Pattern Based Code Synthesis. Jicheng Fu, Farokh B. Bastani, I-Ling Yen. ICTAI 2006, 540-546. Web SearchBibTeXDownload
90QoS Adaptive ISHM Systems. Yansheng Zhang, Jicheng Fu, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau, Farrokh Vatan, Amir Fijany. ICTAI 2006, 47-54. Web SearchBibTeXDownload
89A Unified Framework for Defect Data Analysis Using the MBR Technique. Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen. ICTAI 2006, 39-46. Web SearchBibTeXDownload
88Replica Placement Algorithms for Mobile Transaction Systems. Manghui Tu, Peng Li, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani. IEEE Trans. Knowl. Data Eng. (18): 954-970 (2006). Web SearchBibTeXDownload
87A Repository for Component-based Embedded Software Development. Tong Gao, Hui Ma, I-Ling Yen, Latifur Khan, Farokh B. Bastani. International Journal of Software Engineering and Knowledge Engineering (16): 523-552 (2006). Web SearchBibTeXDownload
86Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns. Jian Liu, Jicheng Fu, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Ann T. Tai, Savio N. Chau. ISORC 2006, 109-116. Web SearchBibTeXDownload
85A Software Enhancement System for Embedded Software Development. Jia Zhou, Kendra Cooper, I-Ling Yen, John Linn, Raymond A. Paul. ISORC 2006, 93-100. Web SearchBibTeXDownload
84QoS analysis for component-based embedded software: Model and methodology. Hui Ma, I-Ling Yen, Jia Zhou, Kendra Cooper. Journal of Systems and Software (79): 859-870 (2006). Web SearchBibTeXDownload
83An integrated admission control scheme for the delivery of streaming media. Zhonghang Xia, I-Ling Yen, Donglei Du, Peng Li. J. Parallel Distrib. Comput. (66): 334-344 (2006). Web SearchBibTeXDownload
82An Infrastructure for Web Services Migration for Real-Time Applications. Wei Hao, Tong Gao, I-Ling Yen, Yinong Chen, Raymond A. Paul. SOSE 2006, 41-48. Web SearchBibTeXDownload
81A Real-Time Scheduling Based Framework for Traffic Coordination Systems. Nirav Shah, Farokh B. Bastani, I-Ling Yen. SUTC (1) 2006, 321-325. Web SearchBibTeXDownload
80Admission Control Algorithms for Revenue Optimization with QoS Guarantees in Mobile Wireless Networks. Ing-Ray Chen, Okan Yilmaz, I-Ling Yen. Wireless Personal Communications (38): 357-376 (2006). Web SearchBibTeXDownload
79Extending Proxy Caching Capability: Issues and Performance. Wei Hao, Jicheng Fu, Jiang He, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen. World Wide Web (9): 253-275 (2006). Web SearchBibTeXDownload
2005
78An Adaptive Multiparty Protocol for Secure Data Protection. Qingkai Ma, Liangliang Xiao, I-Ling Yen, Manghui Tu, Farokh B. Bastani. ICPADS (1) 2005, 43-49. Web SearchBibTeXDownload
77A Model and Methodology for Composition QoS Analysis of Embedded Systems. Hui Ma, Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Kendra Cooper. IEEE Real-Time and Embedded Technology and Applications Symposium 2005, 56-65. Web SearchBibTeXDownload
76A Distributed Admission Control Model for QoS Assurance in Large-Scale Media Delivery Systems. Zhonghang Xia, Wei Hao, I-Ling Yen, Peng Li. IEEE Trans. Parallel Distrib. Syst. (16): 1143-1153 (2005). Web SearchBibTeXDownload
75Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance. Dongfeng Wang, Farokh B. Bastani, I-Ling Yen. IEEE Trans. Software Eng. (31): 713-732 (2005). Web SearchBibTeXDownload
74M3-Update: A New Update Model for E-Commerce and Web-Based Applications. Peng Li, Zhonghang Xia, Manghui Tu, I-Ling Yen. I. J. Comput. Appl. (12): 152-162 (2005). Web SearchBibTeX
73On the Optimal Placement of Secure Data Objects over Internet. Manghui Tu, Peng Li, Qingkai Ma, I-Ling Yen, Farokh B. Bastani. IPDPS 2005. Web SearchBibTeXDownload
72A Framework to Support Survivable Web Services. Wei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul. IPDPS 2005. Web SearchBibTeXDownload
71An Approach for Designing Highly Adaptable Process-Control Systems. Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul. ISORC 2005, 106-113. Web SearchBibTeXDownload
70Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration. Jia Zhou, Kendra Cooper, I-Ling Yen, Raymond A. Paul. ISORC 2005, 426-433. Web SearchBibTeXDownload
69A study of the model and algorithms for handling location-dependent continuous queries. Manish Gupta, Manghui Tu, Latifur Khan, Farokh B. Bastani, I-Ling Yen. Knowl. Inf. Syst. (8): 414-437 (2005). Web SearchBibTeXDownload
68Adaptive QoS Control Based on Benefit Optimization for Video Servers Providing Differentiated Services. Ing-Ray Chen, Sheng-Tun Li, I-Ling Yen. Multimedia Tools Appl. (25): 167-185 (2005). Web SearchBibTeXDownload
67A Formal Foundation of Code Pattern Based Development. Jian Liu, Farokh B. Bastani, I-Ling Yen. SEKE 2005, 274-279. Web SearchBibTeX
66An Object-Oriented Modeling Learning Support System With Inspection Comments. Tatsuya Kinjo, Atsuo Hazeyama, Hui Ma, I-Ling Yen, Farokh B. Bastani. SEKE 2005, 211-216. Web SearchBibTeX
65Toward a UML Profile to Support Component-Based Distributed Adaptive Systems. Tong Gao, Kendra Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani. SEKE 2005, 217-222. Web SearchBibTeX
64Meta Code Pattern and Its Refinement. Jian Liu, Farokh B. Bastani, I-Ling Yen. Software Engineering Research and Practice 2005, 504-510. Web SearchBibTeX
63Update Propagation Algorithms for Supporting Disconnected Write in Mobile Wireless Systems with Data Broadcasting Capability. Ing-Ray Chen, Ngoc Anh Phan, I-Ling Yen. Wireless Personal Communications (34): 227-253 (2005). Web SearchBibTeXDownload
62Empirical Assessment of Machine Learning based Software Defect Prediction Techniques. Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul. WORDS 2005, 263-270. Web SearchBibTeXDownload
2004
61A dynamically growing self-organizing tree (DGSOT) for hierarchical clustering gene expression profiles. Feng Luo, Latifur Khan, Farokh B. Bastani, I-Ling Yen, Jizhong Zhou. Bioinformatics (20): 2605-2617 (2004). Web SearchBibTeXDownload
60A Rule-Based Component Customization Technique for QoS Properties. Jia Zhou, Kendra Cooper, I-Ling Yen. HASE 2004, 302-303. Web SearchBibTeXDownload
59Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems. Dongfeng Wang, Hui Ma, Farokh B. Bastani, I-Ling Yen. HASE 2004, 3-11. Web SearchBibTeXDownload
58Multiparty Computation with Full Computation Power and Reduced Overhead. Qingkai Ma, Wei Hao, I-Ling Yen, Farokh B. Bastani. HASE 2004, 241-248. Web SearchBibTeXDownload
57Proxy assistant for streaming media delivery. Zhonghang Xia, I-Ling Yen. ICME 2004, 1331-1334. Web SearchBibTeX
56Automated Test Data Generation Using MEA-Graph Planning. Manish Gupta, Farokh B. Bastani, Latifur Khan, I-Ling Yen. ICTAI 2004, 174-182. Web SearchBibTeXDownload
55An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. Mamoun Awad, Latifur Khan, Farokh B. Bastani, I-Ling Yen. ICTAI 2004, 663-667. Web SearchBibTeXDownload
54Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks. Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen. IEEE Trans. Software Eng. (30): 218-230 (2004). Web SearchBibTeXDownload
53A Systematic Design Method For High Quality Process-Control Systems Development. Dongfeng Wang, Farokh B. Bastani, I-Ling Yen. International Journal of Software Engineering and Knowledge Engineering (14): 43-59 (2004). Web SearchBibTeXDownload
52Survivable Systems Based on an Adaptive NMR Algorithm. Qingkai Ma, Wei Li, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen. IPDPS 2004. Web SearchBibTeXDownload
51A Neural Network Based Approach for Overlay Multicast in Media Streaming Systems. Zhonghang Xia, Peng Li, I-Ling Yen. IPDPS 2004. Web SearchBibTeXDownload
50Transaction Based Dynamic Partial Replication in Mobile Environments. Manghui Tu, Peng Li, I-Ling Yen. IPDPS 2004. Web SearchBibTeXDownload
49Replicated Object Management with Periodic Maintenance in Mobile Wireless Systems. Ding-Chau Wang, Ing-Ray Chen, Chih-Ping Chu, I-Ling Yen. Wireless Personal Communications (28): 17-33 (2004). Web SearchBibTeXDownload
2003
48PeAgent - A Mobile Agent System to Support Secure Internet and Web Applications. Qingkai Ma, Wei Hao, Wei Li, Manghui Tu, I-Ling Yen. COMPSAC 2003, 690-695. Web SearchBibTeXDownload
47Code Parameterization for Satisfaction of QoS Requirements in Embedded Software. Kendra Cooper, Jia Zhou, Hui Ma, I-Ling Yen, Farokh B. Bastani. Engineering of Reconfigurable Systems and Algorithms 2003, 58-64. Web SearchBibTeX
46A distributed admission control model for large-scale continuous media services. Zhonghang Xia, I-Ling Yen, Peng Li. GLOBECOM 2003, 4001-4005. Web SearchBibTeXDownload
45M3TAgent : A Transaction Processing System for B2C E-Commerce. Peng Li, I-Ling Yen, Zhonghang Xia. IKE 2003, 186-192. Web SearchBibTeX
44Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components. Hui Ma, I-Ling Yen, Farokh B. Bastani, Kendra Cooper. ISSRE 2003, 383-393. Web SearchBibTeXDownload
43High-Assurance Synthesis of Security Services from Basic Microservices. Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen. ISSRE 2003, 154-168. Web SearchBibTeXDownload
42Automated Software Design of Process-Control Systems. Dongfeng Wang, Farokh B. Bastani, I-Ling Yen. SEKE 2003, 467-474. Web SearchBibTeX
41Relational Program Architecture for High Quality Software Development. Dongfeng Wang, Farokh B. Bastani, I-Ling Yen. SEKE 2003, 346-353. Web SearchBibTeX
2002
40Application of AI Planning Techniques to Automated Code Synthesis and Testing. I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn. ICTAI 2002, 131-137. Web SearchBibTeXDownload
39Software Measurement Data Analysis Using Memory-Based Reasoning. Raymond A. Paul, Farokh B. Bastani, Venkata U. B. Challagulla, I-Ling Yen. ICTAI 2002, 261-267. Web SearchBibTeXDownload
38Algorithms for Supporting Disconnected Write Operations for Wireless Web Access in Mobile Client-Server Environments. Ing-Ray Chen, Ngoc Anh Phan, I-Ling Yen. IEEE Trans. Mob. Comput. (1): 46-58 (2002). Web SearchBibTeXDownload
37Reliability Assessment of Framework-Based Distributed Embedded Software Systems. Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen. ISSRE 2002, 367-376. Web SearchBibTeXDownload
36QoS Control Algorithms Based on Benefit Optimization for Video Servers Providing Differentiated Services. Ing-Ray Chen, Sheng-Tun Li, I-Ling Yen. JCIS 2002, 988-991. Web SearchBibTeX
35An Architecture-Based Comparison of Verification and Statistical Reliability Assessment Methods for Embedded Software Systems. Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen. Symposium on Object-Oriented Real-Time Distributed Computing 2002, 177-180. Web SearchBibTeXDownload
34A Component-Based Approach for Embedded Software Development. I-Ling Yen, Jayabharath Goluguri, Farokh B. Bastani, Latifur Khan, John Linn. Symposium on Object-Oriented Real-Time Distributed Computing 2002, 402. Web SearchBibTeXDownload
2001
33Multi-Criteria Transaction for E-Commerce Applications. Peng Li, Jayabharath Goluguri, I-Ling Yen, Ann T. Tai. COMPSAC 2001, 596-602. Web SearchBibTeXDownload
32A Memory-Based Reasoning Approach for Assessing Software Quality. Raymond A. Paul, Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen. COMPSAC 2001, 97-103. Web SearchBibTeXDownload
31Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. Farokh B. Bastani, I-Ling Yen, Sung Kim. HASE 2001, 65-74. Web SearchBibTeX
30An On-Line Repository for Embedded Software. I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn. ICTAI 2001, 314. Web SearchBibTeXDownload
29Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems. I-Ling Yen, Farokh B. Bastani, David J. Taylor. IEEE Trans. Software Eng. (27): 193-207 (2001). Web SearchBibTeXDownload
28TCP Glow Performance Guarantee in DiffServ Networks. Biao Chen, I-Ling Yen. International Conference on Internet Computing (1) 2001, 424-430. Web SearchBibTeX
27Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server Environments. Ing-Ray Chen, Ngoc Anh Phan, I-Ling Yen. ISADS 2001, 456-463. Web SearchBibTeXDownload
26Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs. Farokh B. Bastani, I-Ling Yen, Sung Kim, John Linn, Kashi Rao. ISSRE 2001, 314-323. Web SearchBibTeXDownload
2000
25Defect-Based Reliability Analysis for Mission-Critical Software. Raymond A. Paul, Farokh B. Bastani, I-Ling Yen, Venkata U. B. Challagulla. COMPSAC 2000, 439-444. Web SearchBibTeXDownload
1999
24Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure. I-Ling Yen, Biao Chen, Ing-Ray Chen. HASE 1999, 161-168. Web SearchBibTeXDownload
23The Design and Implementation of a Customizable Fault Tolerance Framework. I-Ling Yen, Iftikhar Ahmed, Ramanujam Jagannath, Sreeparna Kundu. International Journal of Software Engineering and Knowledge Engineering (9): 181-202 (1999). Web SearchBibTeXDownload
22A 2-phase N-modular redundancy algorithm. I-Ling Yen, Hitesh Kapoor. WORDS (Jan.) 1999, 195-202. Web SearchBibTeXDownload
1998
21Toward Integrated Methods for High-Assurance Systems (Guest Editors' Introduction). I-Ling Yen, Raymond A. Paul, Kinji Mori. IEEE Computer (31): 32-34 (1998). Web SearchBibTeXDownload
20Key Applications for High-Assurance Systems. 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. IEEE Computer (31): 35-45 (1998). Web SearchBibTeXDownload
19Implementation of a Customizable Fault Tolerance Framework. I-Ling Yen, Iftikhar Ahmed, Ramanujam Jagannath, Sreeparna Kundu. ISORC 1998, 230-239. Web SearchBibTeXDownload
1997
18Implementation and performance assessment of multilevel data structures. I-Ling Yen, K. Karun. COMPSAC 1997, 153-157. Web SearchBibTeXDownload
17An object-oriented fault-tolerance framework based on specialization techniques. I-Ling Yen. WORDS 1997, 291-297. Web SearchBibTeXDownload
1996
16Computer security: the good, the bad and the ugly. I-Ling Yen. HASE 1996, 52-53. Web SearchBibTeXDownload
15A Highly Safe Self-Stabilizing Mutual Exclusion Algorithm. I-Ling Yen. Inf. Process. Lett. (57): 301-305 (1996). Web SearchBibTeXDownload
14Specialized N-Modular Redundant Processors in Large-Scale Distributed Systems. I-Ling Yen. SRDS 1996, 12-21. Web SearchBibTeX
1995
13Quality Assessment for Multiple Server Cooperating Systems. I-Ling Yen, Ing-Ray Chen. COMPSAC 1995, 218-223. Web SearchBibTeXDownload
12Analysis of Probabilistic Error Checking Procedures on Storage Systems. Ing-Ray Chen, I-Ling Yen. Comput. J. (38): 348-354 (1995). Web SearchBibTeXDownload
11Guiding processor allocation with estimated execution time for mesh connected multiple processor systems. Yung-Kang Chu, I-Ling Yen, Diane T. Rover. HICSS (2) 1995, 163-172. Web SearchBibTeXDownload
10Robust parallel resource management in shared memory multiprocessor systems. I-Ling Yen, Farokh B. Bastani. IPPS 1995, 458-465. Web SearchBibTeXDownload
9Parallel Hashing: Collision Resolution Strategies and Performance. I-Ling Yen, Farokh B. Bastani. J. Parallel Distrib. Comput. (31): 190-198 (1995). Web SearchBibTeXDownload
1994
8Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs. I-Ling Yen, Farokh B. Bastani. FTCS 1994, 154-163. Web SearchBibTeXDownload
1993
7Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel Architectures. I-Ling Yen, Rumi M. Dubash, Farokh B. Bastani. IPPS 1993, 672-679. Web SearchBibTeX
1992
6Hash Table in Massively Parallel Systems. I-Ling Yen, Farokh B. Bastani. IPPS 1992, 660-664. Web SearchBibTeX
1991
5An Inherently Fault Tolerant Sorting Algorithm. I-Ling Yen, Farokh B. Bastani, Ernst L. Leiss. IPPS 1991, 37-42. Web SearchBibTeX
1988
4Concurrent Maintenance of Data Structures in a Distributed Environment. Farokh B. Bastani, S. Sitharama Iyengar, I-Ling Yen. Comput. J. (31): 165-174 (1988). Web SearchBibTeXDownload
3Multilevel Data Structures: Models and Performance. Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen. IEEE Trans. Software Eng. (14): 858-867 (1988). Web SearchBibTeXDownload
2A Class of Inherently Fault Tolerant Distributed Programs. Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen. IEEE Trans. Software Eng. (14): 1432-1442 (1988). Web SearchBibTeXDownload
1987
1A Fault Tolerant Replicated Storage System. Farokh B. Bastani, I-Ling Yen. ICDE 1987, 449-454. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research