 | 2009 |
|---|
| 114 |       | 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 |
| 113 | | Jicheng Fu,
Farokh B. Bastani,
I-Ling Yen,
Wei Hao:
Using Service Patterns to Achieve Web Service Composition.
ICSC 2009: 402-407 |
| 112 | | Yansheng Zhang,
Farokh B. Bastani,
I-Ling Yen:
Decentralized Path Planner for Multi-robot Systems.
ICTAI 2009: 171-175 |
| 2008 |
|---|
| 111 | | Tong Gao,
Hachem Moussa,
I-Ling Yen,
Farokh B. Bastani,
Jun-Jang Jeng:
Service Composition for Real-Time Assurance.
COMPSAC 2008: 1174-1179 |
| 110 | | 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 |
| 109 | | Liangliang Xiao,
I-Ling Yen,
Farokh B. Bastani:
Low Cost Secure Computation for the General Client-Server Computation Model.
HASE 2008: 19-26 |
| 108 | | 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 |
| 107 | | 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 |
| 106 | | 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 |
| 105 | | Yansheng Zhang,
Farokh B. Bastani,
I-Ling Yen,
Jicheng Fu,
Ing-Ray Chen:
Availability Analysis of Robotic Swarm Systems.
PRDC 2008: 331-338 |
| 104 | | 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 |
| 103 | | 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) |
| 102 | | 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 | | Jicheng Fu,
Farokh B. Bastani,
I-Ling Yen:
Iterative Planning in the Context of Automated Code Synthesis.
COMPSAC (1) 2007: 251-259 |
| 100 | | 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 | | Yansheng Zhang,
Farokh B. Bastani,
I-Ling Yen:
Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems.
EUC 2007: 754-766 |
| 98 | | 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 | | 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 | | 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 | | 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 | | Gerardo Padilla,
Farokh B. Bastani,
Carlos Montes de Oca,
Miguel A. Serrano:
Instantiation Semantics for Message Sequence Charts.
ENC 2006: 191-199 |
| 92 | | 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 | | 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 | | Jicheng Fu,
Farokh B. Bastani,
I-Ling Yen:
Automated AI Planning and Code Pattern Based Code Synthesis.
ICTAI 2006: 540-546 |
| 89 | | 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 | | 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 | | Nirav Shah,
Farokh B. Bastani,
I-Ling Yen:
A Real-Time Scheduling Based Framework for Traffic Coordination Systems.
SUTC (1) 2006: 321-325 |
| 86 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | Qingkai Ma,
Wei Hao,
I-Ling Yen,
Farokh B. Bastani:
Multiparty Computation with Full Computation Power and Reduced Overhead.
HASE 2004: 241-248 |
| 70 | | 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 | | Manish Gupta,
Farokh B. Bastani,
Latifur Khan,
I-Ling Yen:
Automated Test Data Generation Using MEA-Graph Planning.
ICTAI 2004: 174-182 |
| 68 | | 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 | | Bo Sheng,
Farokh B. Bastani:
Secure and Reliable Decentralized Peer-to-Peer Web Cache.
IPDPS 2004 |
| 66 | | Qingkai Ma,
Wei Li,
I-Ling Yen,
Farokh B. Bastani,
Ing-Ray Chen:
Survivable Systems Based on an Adaptive NMR Algorithm.
IPDPS 2004 |
| 65 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | I-Ling Yen,
Latifur Khan,
Balakrishnan Prabhakaran,
Farokh B. Bastani,
John Linn:
An On-Line Repository for Embedded Software.
ICTAI 2001: 314- |
| 48 | | 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 | | Farokh B. Bastani:
High-Quality Customizable Embedded Software from COTS Components.
SRDS 2001: 174-175 |
| 46 | | 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 | | 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 | | 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 | | Farokh B. Bastani:
Editorial.
IEEE Trans. Knowl. Data Eng. 12(1): 96-101 (2000) |
| 42 | | 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 | | Farokh B. Bastani:
Editor-in-Chief Prefaces Special-Edition Tribute.
IEEE Trans. Knowl. Data Eng. 11(1): 1 (1999) |
| 1998 |
|---|
| 39 | | Farokh B. Bastani:
Introducing New Advisory Board and Editorial Board Members.
IEEE Trans. Knowl. Data Eng. 10(6): 865-867 (1998) |
| 1997 |
|---|
| 38 | | 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 | | 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 | | 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 | | I-Ling Yen,
Farokh B. Bastani:
Robust parallel resource management in shared memory multiprocessor systems.
IPPS 1995: 458-465 |
| 31 | | 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 | | 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 | | 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 | | Farokh B. Bastani,
Ing-Ray Chen:
The Reliability of Embedded AI Systems.
IEEE Expert 8(2): 72-78 (1993) |
| 23 | | Farokh B. Bastani:
Forword: Software Reliability.
IEEE Trans. Software Eng. 19(11): 1013-1014 (1993) |
| 22 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 |
