2008 | ||
---|---|---|
110 | EE | Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng: Service Composition for Real-Time Assurance. COMPSAC 2008: 1174-1179 |
109 | EE | 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 |
108 | EE | Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Low Cost Secure Computation for the General Client-Server Computation Model. HASE 2008: 19-26 |
107 | EE | 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 |
106 | EE | 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 |
105 | EE | 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 |
104 | EE | 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 |
103 | EE | 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 |
102 | EE | Wei She, I-Ling Yen, Bhavani M. Thuraisingham: Enhancing Security Modeling for Web Services Using Delegation and Pass-On. ICWS 2008: 545-552 |
101 | EE | 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 |
100 | EE | Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: Empirical Assessment of Machine Learning Based Software Defect Prediction Techniques. International Journal on Artificial Intelligence Tools 17(2): 389-400 (2008) |
2007 | ||
99 | EE | Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Iterative Planning in the Context of Automated Code Synthesis. COMPSAC (1) 2007: 251-259 |
98 | EE | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. EUC 2007: 754-766 |
97 | EE | 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 |
96 | EE | Wei She, Bhavani M. Thuraisingham, I-Ling Yen: Delegation-Based Security Model for Web Services. HASE 2007: 82-91 |
95 | EE | Jiang He, I-Ling Yen: Adaptive User Interface Generation for Web Services. ICEBE 2007: 536-539 |
94 | EE | Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Model-Driven Prototyping Based Requirements Elicitation. Monterey Workshop 2007: 43-61 |
93 | Manghui Tu, Dongfeng Wang, Yanjin Zhang, I-Ling Yen: Correlated Data Placement in Widely Distributed Systems. PDPTA 2007: 44-50 | |
92 | Liangliang Xiao, I-Ling Yen, Yanjin Zhang, Farokh B. Bastani: Evaluating Dependable Distributed Storage Systems. PDPTA 2007: 948-954 | |
91 | EE | 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) |
90 | EE | 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) |
89 | EE | 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) |
88 | EE | 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) |
87 | EE | Manish Gupta, Jicheng Fu, Farokh B. Bastani, Latifur Khan, I-Ling Yen: Rapid goal-oriented automated software testing using MEA-graph planning. Software Quality Journal 15(3): 241-263 (2007) |
2006 | ||
86 | EE | Quang Vinh Nguyen, Mao Lin Huang, Kang Zhang, I-Ling Yen: A Visualization Model for Web Sitemaps. CGIV 2006: 12-17 |
85 | EE | 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 |
84 | EE | 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 |
83 | EE | Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Automated AI Planning and Code Pattern Based Code Synthesis. ICTAI 2006: 540-546 |
82 | EE | 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 |
81 | EE | Jia Zhou, Kendra Cooper, I-Ling Yen, John Linn, Raymond A. Paul: A Software Enhancement System for Embedded Software Development. ISORC 2006: 93-100 |
80 | EE | 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 |
79 | EE | Nirav Shah, Farokh B. Bastani, I-Ling Yen: A Real-Time Scheduling Based Framework for Traffic Coordination Systems. SUTC (1) 2006: 321-325 |
78 | EE | 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) |
77 | EE | 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) |
76 | EE | 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) |
75 | EE | 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) |
74 | EE | Wei Hao, Jicheng Fu, Jiang He, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen: Extending Proxy Caching Capability: Issues and Performance. World Wide Web 9(3): 253-275 (2006) |
2005 | ||
73 | EE | 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 |
72 | EE | 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 |
71 | EE | Wei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul: A Framework to Support Survivable Web Services. IPDPS 2005 |
70 | EE | Manghui Tu, Peng Li, Qingkai Ma, I-Ling Yen, Farokh B. Bastani: On the Optimal Placement of Secure Data Objects over Internet. IPDPS 2005 |
69 | EE | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: An Approach for Designing Highly Adaptable Process-Control Systems. ISORC 2005: 106-113 |
68 | EE | 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 |
67 | 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 | |
66 | 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 | |
65 | Jian Liu, Farokh B. Bastani, I-Ling Yen: A Formal Foundation of Code Pattern Based Development. SEKE 2005: 274-279 | |
64 | Jian Liu, Farokh B. Bastani, I-Ling Yen: Meta Code Pattern and Its Refinement. Software Engineering Research and Practice 2005: 504-510 | |
63 | EE | 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 |
62 | 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) | |
61 | EE | 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) |
60 | EE | 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) |
59 | EE | 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) |
58 | EE | 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) |
2004 | ||
57 | EE | Qingkai Ma, Wei Hao, I-Ling Yen, Farokh B. Bastani: Multiparty Computation with Full Computation Power and Reduced Overhead. HASE 2004: 241-248 |
56 | EE | 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 |
55 | EE | Jia Zhou, Kendra Cooper, I-Ling Yen: A Rule-Based Component Customization Technique for QoS Properties. HASE 2004: 302-303 |
54 | Zhonghang Xia, I-Ling Yen: Proxy assistant for streaming media delivery. ICME 2004: 1331-1334 | |
53 | EE | Manish Gupta, Farokh B. Bastani, Latifur Khan, I-Ling Yen: Automated Test Data Generation Using MEA-Graph Planning. ICTAI 2004: 174-182 |
52 | EE | Mamoun Awad, Latifur Khan, Farokh B. Bastani, I-Ling Yen: An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. ICTAI 2004: 663-667 |
51 | EE | Zhonghang Xia, Peng Li, I-Ling Yen: A Neural Network Based Approach for Overlay Multicast in Media Streaming Systems. IPDPS 2004 |
50 | EE | Qingkai Ma, Wei Li, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen: Survivable Systems Based on an Adaptive NMR Algorithm. IPDPS 2004 |
49 | EE | Manghui Tu, Peng Li, I-Ling Yen: Transaction Based Dynamic Partial Replication in Mobile Environments. IPDPS 2004 |
48 | EE | 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) |
47 | EE | 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) |
46 | EE | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: A Systematic Design Method For High Quality Process-Control Systems Development. International Journal of Software Engineering and Knowledge Engineering 14(1): 43-59 (2004) |
2003 | ||
45 | EE | 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 |
44 | 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 | |
43 | Peng Li, I-Ling Yen, Zhonghang Xia: M3TAgent : A Transaction Processing System for B2C E-Commerce. IKE 2003: 186-192 | |
42 | EE | Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen: High-Assurance Synthesis of Security Services from Basic Microservices. ISSRE 2003: 154-168 |
41 | EE | 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 |
40 | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: Relational Program Architecture for High Quality Software Development. SEKE 2003: 346-353 | |
39 | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: Automated Software Design of Process-Control Systems. SEKE 2003: 467-474 | |
2002 | ||
38 | EE | 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 |
37 | EE | 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 |
36 | EE | Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen: Reliability Assessment of Framework-Based Distributed Embedded Software Systems. ISSRE 2002: 367-376 |
35 | 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 | |
34 | EE | 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 |
33 | EE | 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- |
32 | EE | 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) |
2001 | ||
31 | EE | Peng Li, Jayabharath Goluguri, I-Ling Yen, Ann T. Tai: Multi-Criteria Transaction for E-Commerce Applications. COMPSAC 2001: 596-602 |
30 | EE | 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 |
29 | Farokh B. Bastani, I-Ling Yen, Sung Kim: Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. HASE 2001: 65-74 | |
28 | EE | I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn: An On-Line Repository for Embedded Software. ICTAI 2001: 314- |
27 | EE | 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 |
26 | EE | 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 |
25 | Biao Chen, I-Ling Yen: TCP Glow Performance Guarantee in DiffServ Networks. International Conference on Internet Computing (1) 2001: 424-430 | |
24 | EE | I-Ling Yen, Farokh B. Bastani, David J. Taylor: Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems. IEEE Trans. Software Eng. 27(3): 193-207 (2001) |
2000 | ||
23 | EE | 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 | ||
22 | EE | I-Ling Yen, Biao Chen, Ing-Ray Chen: Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure. HASE 1999: 161-168 |
21 | EE | 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) |
1998 | ||
20 | EE | I-Ling Yen, Iftikhar Ahmed, Ramanujam Jagannath, Sreeparna Kundu: Implementation of a Customizable Fault Tolerance Framework. ISORC 1998: 230-239 |
19 | 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) | |
18 | 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) | |
1997 | ||
17 | EE | I-Ling Yen, K. Karun: Implementation and performance assessment of multilevel data structures. COMPSAC 1997: 153- |
1996 | ||
16 | EE | I-Ling Yen: Computer security: the good, the bad and the ugly. HASE 1996: 52-53 |
15 | I-Ling Yen: Specialized N-Modular Redundant Processors in Large-Scale Distributed Systems. SRDS 1996: 12-21 | |
14 | EE | I-Ling Yen: A Highly Safe Self-Stabilizing Mutual Exclusion Algorithm. Inf. Process. Lett. 57(6): 301-305 (1996) |
1995 | ||
13 | EE | I-Ling Yen, Ing-Ray Chen: Quality Assessment for Multiple Server Cooperating Systems. COMPSAC 1995: 218-223 |
12 | EE | 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 |
11 | EE | I-Ling Yen, Farokh B. Bastani: Robust parallel resource management in shared memory multiprocessor systems. IPPS 1995: 458-465 |
10 | Ing-Ray Chen, I-Ling Yen: Analysis of Probabilistic Error Checking Procedures on Storage Systems. Comput. J. 38(5): 348-354 (1995) | |
9 | I-Ling Yen, Farokh B. Bastani: Parallel Hashing: Collision Resolution Strategies and Performance. J. Parallel Distrib. Comput. 31(2): 190-198 (1995) | |
1994 | ||
8 | I-Ling Yen, Farokh B. Bastani: Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs. FTCS 1994: 154-163 | |
1993 | ||
7 | 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 | ||
6 | I-Ling Yen, Farokh B. Bastani: Hash Table in Massively Parallel Systems. IPPS 1992: 660-664 | |
1991 | ||
5 | I-Ling Yen, Farokh B. Bastani, Ernst L. Leiss: An Inherently Fault Tolerant Sorting Algorithm. IPPS 1991: 37-42 | |
1988 | ||
4 | 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) | |
3 | EE | 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) |
2 | EE | Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen: Multilevel Data Structures: Models and Performance. IEEE Trans. Software Eng. 14(6): 858-867 (1988) |
1987 | ||
1 | EE | Farokh B. Bastani, I-Ling Yen: A Fault Tolerant Replicated Storage System. ICDE 1987: 449-454 |