Search the dblp DataBase
Farokh B. Bastani :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] Farokh B. Bastani (Position Paper) Fault-Tolerant Software. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1995, pp:391- [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Farokh B. Bastani , Bojan Cukic Impact of program transformation on software reliability assessment. [Citation Graph (0, 0)][DBLP ] HASE, 1996, pp:214-221 [Conf ] 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 ] 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 ] 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 ] Farokh B. Bastani , I-Ling Yen A Fault Tolerant Replicated Storage System. [Citation Graph (0, 11)][DBLP ] ICDE, 1987, pp:449-454 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Bo Sheng , Farokh B. Bastani Secure and Reliable Decentralized Peer-to-Peer Web Cache. [Citation Graph (0, 0)][DBLP ] IPDPS, 2004, pp:- [Conf ] 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 ] I-Ling Yen , Farokh B. Bastani Hash Table in Massively Parallel Systems. [Citation Graph (0, 0)][DBLP ] IPPS, 1992, pp:660-664 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Farokh B. Bastani High-Quality Customizable Embedded Software from COTS Components. [Citation Graph (0, 0)][DBLP ] SRDS, 2001, pp:174-175 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Farokh B. Bastani Editorial. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 2000, v:12, n:1, pp:96-101 [Journal ] Farokh B. Bastani Editorial. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 2000, v:12, n:5, pp:821-823 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Farokh B. Bastani Forword: Software Reliability. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:11, pp:1013-1014 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Service Composition for Real-Time Assurance. [Citation Graph (, )][DBLP ] Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model. [Citation Graph (, )][DBLP ] Instantiation Semantics for Message Sequence Charts. [Citation Graph (, )][DBLP ] An Early Reliability Assessment Model for Data-Flow Software Architectures. [Citation Graph (, )][DBLP ] Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. [Citation Graph (, )][DBLP ] Placement in Dependable and Secure Peer-to-Peer Data Grids. [Citation Graph (, )][DBLP ] Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. [Citation Graph (, )][DBLP ] Low Cost Secure Computation for the General Client-Server Computation Model. [Citation Graph (, )][DBLP ] FIP: A Fast Planning-Graph-Based Iterative Planner. [Citation Graph (, )][DBLP ] Decentralized Path Planner for Multi-robot Systems. [Citation Graph (, )][DBLP ] Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems. [Citation Graph (, )][DBLP ] Evaluating Dependable Distributed Storage Systems. [Citation Graph (, )][DBLP ] Availability Analysis of Robotic Swarm Systems. [Citation Graph (, )][DBLP ] A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation. [Citation Graph (, )][DBLP ] Model-Driven Prototyping Based Requirements Elicitation. [Citation Graph (, )][DBLP ] An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. [Citation Graph (, )][DBLP ] Using Service Patterns to Achieve Web Service Composition. [Citation Graph (, )][DBLP ] Real-Time Service-Oriented Distributed Governance. [Citation Graph (, )][DBLP ] Virtual Services in Cloud Computing. [Citation Graph (, )][DBLP ] QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.608secs