The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Farokh B. Bastani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Farokh B. Bastani, S. Sitharama Iyengar, I-Ling Yen
    Concurrent Maintenance of Data Structures in a Distributed Environment. [Citation Graph (2, 0)][DBLP]
    Comput. J., 1988, v:31, n:2, pp:165-174 [Journal]
  2. C. V. Ramamoorthy, Farokh B. Bastani
    Software Reliability - Status and Perspectives. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1982, v:8, n:4, pp:354-371 [Journal]
  3. Farokh B. Bastani
    (Position Paper) Fault-Tolerant Software. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:391- [Conf]
  4. Victoria Hilford, Farokh B. Bastani, Bojan Cukic
    EH* - Extendible Hashing in a Distributed Environment. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:217-0 [Conf]
  5. Raymond A. Paul, Farokh B. Bastani, I-Ling Yen, Venkata U. B. Challagulla
    Defect-Based Reliability Analysis for Mission-Critical Software. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2000, pp:439-444 [Conf]
  6. Raymond A. Paul, Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen
    A Memory-Based Reasoning Approach for Assessing Software Quality. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:97-103 [Conf]
  7. Kendra Cooper, Jia Zhou, Hui Ma, I-Ling Yen, Farokh B. Bastani
    Code Parameterization for Satisfaction of QoS Requirements in Embedded Software. [Citation Graph (0, 0)][DBLP]
    Engineering of Reconfigurable Systems and Algorithms, 2003, pp:58-64 [Conf]
  8. Farokh B. Bastani, Wael Hilal Bahaa-El-Din, Ing-Ray Chen
    Performance Analysis of Concurrent Maintenance Policies for Servers in a Distributed Environment. [Citation Graph (0, 0)][DBLP]
    FJCC, 1986, pp:611-619 [Conf]
  9. I-Ling Yen, Farokh B. Bastani
    Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs. [Citation Graph (0, 0)][DBLP]
    FTCS, 1994, pp:154-163 [Conf]
  10. Farokh B. Bastani, Bojan Cukic
    Impact of program transformation on software reliability assessment. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:214-221 [Conf]
  11. Farokh B. Bastani, I-Ling Yen, Sung Kim
    Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:65-74 [Conf]
  12. Qingkai Ma, Wei Hao, I-Ling Yen, Farokh B. Bastani
    Multiparty Computation with Full Computation Power and Reduced Overhead. [Citation Graph (0, 0)][DBLP]
    HASE, 2004, pp:241-248 [Conf]
  13. Dongfeng Wang, Hui Ma, Farokh B. Bastani, I-Ling Yen
    Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2004, pp:3-11 [Conf]
  14. Farokh B. Bastani, I-Ling Yen
    A Fault Tolerant Replicated Storage System. [Citation Graph (0, 11)][DBLP]
    ICDE, 1987, pp:449-454 [Conf]
  15. Qingkai Ma, Liangliang Xiao, I-Ling Yen, Manghui Tu, Farokh B. Bastani
    An Adaptive Multiparty Protocol for Secure Data Protection. [Citation Graph (0, 0)][DBLP]
    ICPADS (1), 2005, pp:43-49 [Conf]
  16. Farokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini
    Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. [Citation Graph (0, 0)][DBLP]
    ICSE, 1993, pp:45-54 [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    ICSE, 1979, pp:231-240 [Conf]
  18. Mamoun Awad, Latifur Khan, Farokh B. Bastani, I-Ling Yen
    An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2004, pp:663-667 [Conf]
  19. Yiwei Chen, Farokh B. Bastani
    Algorithmic Mapping of Neural Networks with Multiactivation Production Units onto SIMD Machines. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1992, pp:93-97 [Conf]
  20. Manish Gupta, Farokh B. Bastani, Latifur Khan, I-Ling Yen
    Automated Test Data Generation Using MEA-Graph Planning. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2004, pp:174-182 [Conf]
  21. Raymond A. Paul, Farokh B. Bastani, Venkata U. B. Challagulla, I-Ling Yen
    Software Measurement Data Analysis Using Memory-Based Reasoning. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2002, pp:261-267 [Conf]
  22. I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn
    Application of AI Planning Techniques to Automated Code Synthesis and Testing. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2002, pp:131-137 [Conf]
  23. I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn
    An On-Line Repository for Embedded Software. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2001, pp:314-0 [Conf]
  24. Jicheng Fu, Farokh B. Bastani, I-Ling Yen
    Automated AI Planning and Code Pattern Based Code Synthesis. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2006, pp:540-546 [Conf]
  25. Yansheng Zhang, Jicheng Fu, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau, Farrokh Vatan, Amir Fijany
    QoS Adaptive ISHM Systems. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2006, pp:47-54 [Conf]
  26. Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen
    A Unified Framework for Defect Data Analysis Using the MBR Technique. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2006, pp:39-46 [Conf]
  27. Farokh B. Bastani, Ing-Ray Chen
    The Role of Artificial Intelligence in Fault-Tolerant Process-Control Systems. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (Vol. 2), 1988, pp:1049-1058 [Conf]
  28. Bojan Cukic, Farokh B. Bastani
    Automatic Array Alignment as a Step in Hierarchical Program Transformation. [Citation Graph (0, 0)][DBLP]
    IPPS, 1994, pp:578-582 [Conf]
  29. Wei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul
    A Framework to Support Survivable Web Services. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2005, pp:- [Conf]
  30. Qingkai Ma, Wei Li, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen
    Survivable Systems Based on an Adaptive NMR Algorithm. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  31. Bo Sheng, Farokh B. Bastani
    Secure and Reliable Decentralized Peer-to-Peer Web Cache. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  32. Manghui Tu, Peng Li, Qingkai Ma, I-Ling Yen, Farokh B. Bastani
    On the Optimal Placement of Secure Data Objects over Internet. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2005, pp:- [Conf]
  33. I-Ling Yen, Farokh B. Bastani
    Hash Table in Massively Parallel Systems. [Citation Graph (0, 0)][DBLP]
    IPPS, 1992, pp:660-664 [Conf]
  34. I-Ling Yen, Farokh B. Bastani
    Robust parallel resource management in shared memory multiprocessor systems. [Citation Graph (0, 0)][DBLP]
    IPPS, 1995, pp:458-465 [Conf]
  35. I-Ling Yen, Farokh B. Bastani, Ernst L. Leiss
    An Inherently Fault Tolerant Sorting Algorithm. [Citation Graph (0, 0)][DBLP]
    IPPS, 1991, pp:37-42 [Conf]
  36. I-Ling Yen, Rumi M. Dubash, Farokh B. Bastani
    Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel Architectures. [Citation Graph (0, 0)][DBLP]
    IPPS, 1993, pp:672-679 [Conf]
  37. 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. [Citation Graph (0, 0)][DBLP]
    Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:177-180 [Conf]
  38. 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. [Citation Graph (0, 0)][DBLP]
    ISORC, 2006, pp:109-116 [Conf]
  39. Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
    An Approach for Designing Highly Adaptable Process-Control Systems. [Citation Graph (0, 0)][DBLP]
    ISORC, 2005, pp:106-113 [Conf]
  40. I-Ling Yen, Jayabharath Goluguri, Farokh B. Bastani, Latifur Khan, John Linn
    A Component-Based Approach for Embedded Software Development. [Citation Graph (0, 0)][DBLP]
    Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:402-0 [Conf]
  41. Hui Ma, I-Ling Yen, Farokh B. Bastani, Kendra Cooper
    Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2003, pp:383-393 [Conf]
  42. Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen
    Reliability Assessment of Framework-Based Distributed Embedded Software Systems. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2002, pp:367-376 [Conf]
  43. Farokh B. Bastani, I-Ling Yen, Sung Kim, John Linn, Kashi Rao
    Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2001, pp:314-323 [Conf]
  44. Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen
    High-Assurance Synthesis of Security Services from Basic Microservices. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2003, pp:154-168 [Conf]
  45. Hui Ma, Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Kendra Cooper
    A Model and Methodology for Composition QoS Analysis of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time and Embedded Technology and Applications Symposium, 2005, pp:56-65 [Conf]
  46. Anouar Jamoussi, Farokh B. Bastani
    Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions". [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:17-24 [Conf]
  47. Dongfeng Wang, Farokh B. Bastani, I-Ling Yen
    Relational Program Architecture for High Quality Software Development. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:346-353 [Conf]
  48. Dongfeng Wang, Farokh B. Bastani, I-Ling Yen
    Automated Software Design of Process-Control Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:467-474 [Conf]
  49. Tong Gao, Kendra Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani
    Toward a UML Profile to Support Component-Based Distributed Adaptive Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:217-222 [Conf]
  50. Tong Gao, Kendra Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani
    An Object-Oriented Modeling Learning Support System With Inspection Comments. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:211-216 [Conf]
  51. Jian Liu, Farokh B. Bastani, I-Ling Yen
    A Formal Foundation of Code Pattern Based Development. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:274-279 [Conf]
  52. Jian Liu, Farokh B. Bastani, I-Ling Yen
    Meta Code Pattern and Its Refinement. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:504-510 [Conf]
  53. Farokh B. Bastani
    High-Quality Customizable Embedded Software from COTS Components. [Citation Graph (0, 0)][DBLP]
    SRDS, 2001, pp:174-175 [Conf]
  54. Nirav Shah, Farokh B. Bastani, I-Ling Yen
    A Real-Time Scheduling Based Framework for Traffic Coordination Systems. [Citation Graph (0, 0)][DBLP]
    SUTC (1), 2006, pp:321-325 [Conf]
  55. Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
    Empirical Assessment of Machine Learning based Software Defect Prediction Techniques. [Citation Graph (0, 0)][DBLP]
    WORDS, 2005, pp:263-270 [Conf]
  56. W. T. Tsai, Miroslaw Malek, Yinong Chen, Farokh B. Bastani
    Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. [Citation Graph (0, 0)][DBLP]
    SOSE, 2006, pp:3-10 [Conf]
  57. Farokh B. Bastani
    Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:7, n:, pp:5-24 [Journal]
  58. 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. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2004, v:20, n:16, pp:2605-2617 [Journal]
  59. Farokh B. Bastani, S. Sitharama Iyengar
    The Effect of Data Structures on the Logical Complexity of Programs. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1987, v:30, n:3, pp:250-259 [Journal]
  60. Sourav Bhattacharya, Akira K. Onoma, Farokh B. Bastani
    High-Assurance Systems (Introduction to the Special Section). [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1997, v:40, n:1, pp:67- [Journal]
  61. Farokh B. Bastani, Ing-Ray Chen, Wael Hilal Bahaa-El-Din
    A Model for the Stability Analysis of Maintenance Stragies for Linear List. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1991, v:34, n:1, pp:80-87 [Journal]
  62. Yi Zhao, Farokh B. Bastani
    A Self-Adjusting Algorithm for Byzantine Agreement. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1992, v:5, n:4, pp:219-226 [Journal]
  63. Farokh B. Bastani, Ing-Ray Chen
    The Reliability of Embedded AI Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Expert, 1993, v:8, n:2, pp:72-78 [Journal]
  64. Yi Deng, Farokh B. Bastani
    Guest Editors' Introduction: Special Issue on Embedded Software Engineering. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2002, v:12, n:2, pp:103-105 [Journal]
  65. Dongfeng Wang, Farokh B. Bastani, I-Ling Yen
    A Systematic Design Method For High Quality Process-Control Systems Development. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2004, v:14, n:1, pp:43-59 [Journal]
  66. Tong Gao, Hui Ma, I-Ling Yen, Latifur Khan, Farokh B. Bastani
    A Repository for Component-based Embedded Software Development. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:4, pp:523-552 [Journal]
  67. I-Ling Yen, Farokh B. Bastani
    Parallel Hashing: Collision Resolution Strategies and Performance. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1995, v:31, n:2, pp:190-198 [Journal]
  68. 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. [Citation Graph (0, 0)][DBLP]
    Knowl. Inf. Syst., 2005, v:8, n:4, pp:414-437 [Journal]
  69. Farokh B. Bastani
    Editorial. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2000, v:12, n:1, pp:96-101 [Journal]
  70. Farokh B. Bastani
    Editorial. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2000, v:12, n:5, pp:821-823 [Journal]
  71. Farokh B. Bastani
    Introducing the New Editor-in-Chief of the IEEE Transactions on Knowledge and Data Engineering. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2001, v:13, n:1, pp:1-2 [Journal]
  72. Farokh B. Bastani
    Acknowledging TKDE's Fine Past and Looking to an Even Better Future. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1997, v:9, n:1, pp:1-2 [Journal]
  73. Farokh B. Bastani
    Introducing New Advisory Board and Editorial Board Members. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1998, v:10, n:6, pp:865-867 [Journal]
  74. Farokh B. Bastani
    Editor-in-Chief Prefaces Special-Edition Tribute. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1999, v:11, n:1, pp:1- [Journal]
  75. Ing-Ray Chen, Farokh B. Bastani, Ta-Wei Tsao
    On the Reliability of AI Planning Software in Real-Time Applications. [Citation Graph (0, 10)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1995, v:7, n:1, pp:4-13 [Journal]
  76. S. Sitharama Iyengar, Farokh B. Bastani
    Guest Editors' Introduction: Self-Organizing Knowledge and Data Representation in Distributed Environment. [Citation Graph (0, 3)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1992, v:4, n:2, pp:105-108 [Journal]
  77. Manghui Tu, Peng Li, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani
    Replica Placement Algorithms for Mobile Transaction Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2006, v:18, n:7, pp:954-970 [Journal]
  78. Jiang He, Tong Gao, Wei Hao, I-Ling Yen, Farokh B. Bastani
    A Flexible Content Adaptation System Using a Rule-Based Approach. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2007, v:19, n:1, pp:127-140 [Journal]
  79. Wael Hilal Bahaa-El-Din, Farokh B. Bastani, Ju-En Teng
    Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:12, pp:1526-1536 [Journal]
  80. Farokh B. Bastani
    Performance Improvement of Abstractions Through Context Dependent Transformations. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1984, v:10, n:1, pp:100-116 [Journal]
  81. Farokh B. Bastani
    Experiences with a Feedback Version Development Methodology. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:8, pp:718-723 [Journal]
  82. Farokh B. Bastani
    On the Uncertainty in the Correctness of Computer Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:9, pp:857-864 [Journal]
  83. Farokh B. Bastani
    Forword: Software Reliability. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:11, pp:1013-1014 [Journal]
  84. Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen
    A Class of Inherently Fault Tolerant Distributed Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:10, pp:1432-1442 [Journal]
  85. Ing-Ray Chen, Farokh B. Bastani
    Warm Standby in Hierarchically Structured Process-Control Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:8, pp:658-663 [Journal]
  86. Amrit L. Goel, Farokh B. Bastani
    Foreword Software Reliability. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:12, pp:1409-1410 [Journal]
  87. Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen
    Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:4, pp:218-230 [Journal]
  88. Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen
    Multilevel Data Structures: Models and Performance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:6, pp:858-867 [Journal]
  89. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1981, v:7, n:6, pp:537-555 [Journal]
  90. Dongfeng Wang, Farokh B. Bastani, I-Ling Yen
    Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:9, pp:713-732 [Journal]
  91. I-Ling Yen, Farokh B. Bastani, David J. Taylor
    Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:3, pp:193-207 [Journal]
  92. Wei Hao, Jicheng Fu, Jiang He, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen
    Extending Proxy Caching Capability: Issues and Performance. [Citation Graph (0, 0)][DBLP]
    World Wide Web, 2006, v:9, n:3, pp:253-275 [Journal]
  93. Jicheng Fu, Farokh B. Bastani, I-Ling Yen
    Iterative Planning in the Context of Automated Code Synthesis. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:251-259 [Conf]
  94. 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. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:79-86 [Conf]
  95. Manish Gupta, Jicheng Fu, Farokh B. Bastani, Latifur Khan, I-Ling Yen
    Rapid goal-oriented automated software testing using MEA-graph planning. [Citation Graph (0, 0)][DBLP]
    Software Quality Journal, 2007, v:15, n:3, pp:241-263 [Journal]

  96. Service Composition for Real-Time Assurance. [Citation Graph (, )][DBLP]


  97. Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model. [Citation Graph (, )][DBLP]


  98. Instantiation Semantics for Message Sequence Charts. [Citation Graph (, )][DBLP]


  99. An Early Reliability Assessment Model for Data-Flow Software Architectures. [Citation Graph (, )][DBLP]


  100. Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. [Citation Graph (, )][DBLP]


  101. Placement in Dependable and Secure Peer-to-Peer Data Grids. [Citation Graph (, )][DBLP]


  102. Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. [Citation Graph (, )][DBLP]


  103. Low Cost Secure Computation for the General Client-Server Computation Model. [Citation Graph (, )][DBLP]


  104. FIP: A Fast Planning-Graph-Based Iterative Planner. [Citation Graph (, )][DBLP]


  105. Decentralized Path Planner for Multi-robot Systems. [Citation Graph (, )][DBLP]


  106. Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems. [Citation Graph (, )][DBLP]


  107. Evaluating Dependable Distributed Storage Systems. [Citation Graph (, )][DBLP]


  108. Availability Analysis of Robotic Swarm Systems. [Citation Graph (, )][DBLP]


  109. A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation. [Citation Graph (, )][DBLP]


  110. Model-Driven Prototyping Based Requirements Elicitation. [Citation Graph (, )][DBLP]


  111. An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. [Citation Graph (, )][DBLP]


  112. Using Service Patterns to Achieve Web Service Composition. [Citation Graph (, )][DBLP]


  113. Real-Time Service-Oriented Distributed Governance. [Citation Graph (, )][DBLP]


  114. Virtual Services in Cloud Computing. [Citation Graph (, )][DBLP]


  115. QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002