2008 | ||
---|---|---|
109 | EE | Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng: Service Composition for Real-Time Assurance. COMPSAC 2008: 1174-1179 |
108 | 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 |
107 | EE | Liangliang Xiao, I-Ling Yen, Farokh B. Bastani: Low Cost Secure Computation for the General Client-Server Computation Model. HASE 2008: 19-26 |
106 | 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 |
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 | 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 |
102 | 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 | ||
101 | EE | Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Iterative Planning in the Context of Automated Code Synthesis. COMPSAC (1) 2007: 251-259 |
100 | EE | 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 |
99 | EE | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. EUC 2007: 754-766 |
98 | 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 |
97 | EE | Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Model-Driven Prototyping Based Requirements Elicitation. Monterey Workshop 2007: 43-61 |
96 | Liangliang Xiao, I-Ling Yen, Yanjin Zhang, Farokh B. Bastani: Evaluating Dependable Distributed Storage Systems. PDPTA 2007: 948-954 | |
95 | 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) |
94 | 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 | ||
93 | EE | Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano: Instantiation Semantics for Message Sequence Charts. ENC 2006: 191-199 |
92 | 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 |
91 | 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 |
90 | EE | Jicheng Fu, Farokh B. Bastani, I-Ling Yen: Automated AI Planning and Code Pattern Based Code Synthesis. ICTAI 2006: 540-546 |
89 | 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 |
88 | EE | Wei-Tek Tsai, Miroslaw Malek, Yinong Chen, Farokh B. Bastani: Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. SOSE 2006: 3-10 |
87 | EE | Nirav Shah, Farokh B. Bastani, I-Ling Yen: A Real-Time Scheduling Based Framework for Traffic Coordination Systems. SUTC (1) 2006: 321-325 |
86 | 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) |
85 | 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) |
84 | 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 | ||
83 | 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 |
82 | 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 |
81 | 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 |
80 | 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 |
79 | 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 |
78 | 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 | |
77 | 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 | |
76 | Jian Liu, Farokh B. Bastani, I-Ling Yen: A Formal Foundation of Code Pattern Based Development. SEKE 2005: 274-279 | |
75 | Jian Liu, Farokh B. Bastani, I-Ling Yen: Meta Code Pattern and Its Refinement. Software Engineering Research and Practice 2005: 504-510 | |
74 | 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 |
73 | 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) |
72 | 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) |
2004 | ||
71 | EE | Qingkai Ma, Wei Hao, I-Ling Yen, Farokh B. Bastani: Multiparty Computation with Full Computation Power and Reduced Overhead. HASE 2004: 241-248 |
70 | 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 |
69 | EE | Manish Gupta, Farokh B. Bastani, Latifur Khan, I-Ling Yen: Automated Test Data Generation Using MEA-Graph Planning. ICTAI 2004: 174-182 |
68 | 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 |
67 | EE | Bo Sheng, Farokh B. Bastani: Secure and Reliable Decentralized Peer-to-Peer Web Cache. IPDPS 2004 |
66 | EE | Qingkai Ma, Wei Li, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen: Survivable Systems Based on an Adaptive NMR Algorithm. IPDPS 2004 |
65 | 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) |
64 | 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) |
63 | 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 | ||
62 | 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 | |
61 | 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 |
60 | 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 |
59 | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: Relational Program Architecture for High Quality Software Development. SEKE 2003: 346-353 | |
58 | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: Automated Software Design of Process-Control Systems. SEKE 2003: 467-474 | |
2002 | ||
57 | 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 |
56 | 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 |
55 | 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 |
54 | 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 |
53 | 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- |
52 | EE | 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) |
2001 | ||
51 | 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 |
50 | Farokh B. Bastani, I-Ling Yen, Sung Kim: Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. HASE 2001: 65-74 | |
49 | EE | I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn: An On-Line Repository for Embedded Software. ICTAI 2001: 314- |
48 | 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 |
47 | EE | Farokh B. Bastani: High-Quality Customizable Embedded Software from COTS Components. SRDS 2001: 174-175 |
46 | EE | 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) |
45 | 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 | ||
44 | 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 |
43 | EE | Farokh B. Bastani: Editorial. IEEE Trans. Knowl. Data Eng. 12(1): 96-101 (2000) |
42 | EE | Farokh B. Bastani: Editorial. IEEE Trans. Knowl. Data Eng. 12(5): 821-823 (2000) |
1999 | ||
41 | Farokh B. Bastani: Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems. Ann. Software Eng. 7: 5-24 (1999) | |
40 | EE | Farokh B. Bastani: Editor-in-Chief Prefaces Special-Edition Tribute. IEEE Trans. Knowl. Data Eng. 11(1): 1 (1999) |
1998 | ||
39 | EE | Farokh B. Bastani: Introducing New Advisory Board and Editorial Board Members. IEEE Trans. Knowl. Data Eng. 10(6): 865-867 (1998) |
1997 | ||
38 | EE | Victoria Hilford, Farokh B. Bastani, Bojan Cukic: EH* - Extendible Hashing in a Distributed Environment. COMPSAC 1997: 217- |
37 | Sourav Bhattacharya, Akira K. Onoma, Farokh B. Bastani: High-Assurance Systems (Introduction to the Special Section). Commun. ACM 40(1): 67 (1997) | |
36 | EE | 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 | ||
35 | EE | Farokh B. Bastani, Bojan Cukic: Impact of program transformation on software reliability assessment. HASE 1996: 214-221 |
34 | Anouar Jamoussi, Farokh B. Bastani: Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions". SEKE 1996: 17-24 | |
1995 | ||
33 | Farokh B. Bastani: (Position Paper) Fault-Tolerant Software. COMPSAC 1995: 391 | |
32 | EE | I-Ling Yen, Farokh B. Bastani: Robust parallel resource management in shared memory multiprocessor systems. IPPS 1995: 458-465 |
31 | EE | 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) |
30 | I-Ling Yen, Farokh B. Bastani: Parallel Hashing: Collision Resolution Strategies and Performance. J. Parallel Distrib. Comput. 31(2): 190-198 (1995) | |
1994 | ||
29 | I-Ling Yen, Farokh B. Bastani: Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs. FTCS 1994: 154-163 | |
28 | Bojan Cukic, Farokh B. Bastani: Automatic Array Alignment as a Step in Hierarchical Program Transformation. IPPS 1994: 578-582 | |
27 | EE | Ing-Ray Chen, Farokh B. Bastani: Warm Standby in Hierarchically Structured Process-Control Programs. IEEE Trans. Software Eng. 20(8): 658-663 (1994) |
1993 | ||
26 | EE | 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 |
25 | I-Ling Yen, Rumi M. Dubash, Farokh B. Bastani: Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel Architectures. IPPS 1993: 672-679 | |
24 | EE | Farokh B. Bastani, Ing-Ray Chen: The Reliability of Embedded AI Systems. IEEE Expert 8(2): 72-78 (1993) |
23 | EE | Farokh B. Bastani: Forword: Software Reliability. IEEE Trans. Software Eng. 19(11): 1013-1014 (1993) |
22 | EE | 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) |
1992 | ||
21 | Yiwei Chen, Farokh B. Bastani: Algorithmic Mapping of Neural Networks with Multiactivation Production Units onto SIMD Machines. ICTAI 1992: 93-97 | |
20 | I-Ling Yen, Farokh B. Bastani: Hash Table in Massively Parallel Systems. IPPS 1992: 660-664 | |
19 | Yi Zhao, Farokh B. Bastani: A Self-Adjusting Algorithm for Byzantine Agreement. Distributed Computing 5(4): 219-226 (1992) | |
18 | EE | 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 | ||
17 | I-Ling Yen, Farokh B. Bastani, Ernst L. Leiss: An Inherently Fault Tolerant Sorting Algorithm. IPPS 1991: 37-42 | |
16 | 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) | |
1989 | ||
15 | EE | 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 | ||
14 | EE | Farokh B. Bastani, Ing-Ray Chen: The Role of Artificial Intelligence in Fault-Tolerant Process-Control Systems. IEA/AIE (Vol. 2) 1988: 1049-1058 |
13 | 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) | |
12 | 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) |
11 | 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 | ||
10 | EE | Farokh B. Bastani, I-Ling Yen: A Fault Tolerant Replicated Storage System. ICDE 1987: 449-454 |
9 | Farokh B. Bastani, S. Sitharama Iyengar: The Effect of Data Structures on the Logical Complexity of Programs. Commun. ACM 30(3): 250-259 (1987) | |
1986 | ||
8 | 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 | ||
7 | Amrit L. Goel, Farokh B. Bastani: Foreword Software Reliability. IEEE Trans. Software Eng. 11(12): 1409-1410 (1985) | |
6 | Farokh B. Bastani: Experiences with a Feedback Version Development Methodology. IEEE Trans. Software Eng. 11(8): 718-723 (1985) | |
5 | Farokh B. Bastani: On the Uncertainty in the Correctness of Computer Programs. IEEE Trans. Software Eng. 11(9): 857-864 (1985) | |
1984 | ||
4 | Farokh B. Bastani: Performance Improvement of Abstractions Through Context Dependent Transformations. IEEE Trans. Software Eng. 10(1): 100-116 (1984) | |
1982 | ||
3 | C. V. Ramamoorthy, Farokh B. Bastani: Software Reliability - Status and Perspectives. IEEE Trans. Software Eng. 8(4): 354-371 (1982) | |
1981 | ||
2 | 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 | ||
1 | 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 |