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 |