| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen |
Optimization models for assessing the peak capacity utilization of intelligent transportation systems.  |
European Journal of Operational Research  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul |
Information Assurance for Real-Time Decision Support. |
ISORC Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guang Zhou, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen |
Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms. |
ISORC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen |
Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wei She, I-Ling Yen, Farokh B. Bastani, Bao N. Tran, Bhavani M. Thuraisingham |
Role-based integrated access control and data provenance for SOA based net-centric systems. |
SOSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manasi Peshave, Farokh B. Bastani, I-Ling Yen |
High-Assurance Reconfigurable Multicore Processor Based Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani |
Leveraging Service Clouds for Power and QoS Management for Mobile Devices. |
IEEE CLOUD |
2011 |
DBLP DOI BibTeX RDF |
service cloud, quality of service (QoS), mobile device, power management, data migration, service migration |
| 1 | Jicheng Fu, Wei Hao, Farokh B. Bastani, I-Ling Yen |
Model-Driven Development: Where Does the Code Come From? |
ICSC |
2011 |
DBLP DOI BibTeX RDF |
Model-Driven Architecture (MDA), Model-Driven Development (MDD), Component-Based Software Development (CBSD), AI Planning, Code Pattern |
| 1 | Angie Shia, Farokh B. Bastani, I-Ling Yen |
ROBUST Path Strategy Evaluator. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Angie Shia, Farokh B. Bastani, I-Ling Yen |
A Highly Resilient Framework for Autonomous Robotic Swarm Systems Operating in Unknown, Hostile Environments. |
ISADS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hachem Moussa, Tong Gao, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng |
Toward effective service composition for real-time SOA-based systems. |
Service Oriented Computing and Applications |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunqi Ye, Nisha Jain, Longsheng Xia, Suhas Joshi, I-Ling Yen, Farokh B. Bastani, Kenneth L. Cureton, Mark K. Bowler |
A Framework for QoS and Power Management in a Service Cloud Environment with Mobile Devices. |
SOSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Huang, Farokh B. Bastani, I-Ling Yen, Wenke Zhang |
A Framework for Efficient Service Composition in Cyber-Physical Systems. |
SOSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani |
Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
access performance, security, replication, availability, secret sharing, erasure coding, Distributed storage systems |
| 1 | Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani |
Secure, Dependable, and High Performance Cloud Storage. |
SRDS |
2010 |
DBLP DOI BibTeX RDF |
Dependable cloud storage, short secret sharing, access semantics, distributed hash table, access protocol |
| 1 | Jian Huang, Yansheng Zhang, I-Ling Yen, John T. Carson, Mike F. Siok, Farokh B. Bastani, Yajing Zhao, Jing Dong |
Real-Time Service-Oriented Distributed Governance. |
SERVICES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jicheng Fu, Wei Hao, Michael Tu, Biao Ma, Joshua Baldwin, Farokh B. Bastani |
Virtual Services in Cloud Computing. |
SERVICES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Liangliang Xiao, I-Ling Yen, Farokh B. Bastani |
Scalable Authentication and Key Management in SCADA. |
ICPADS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani |
Cloud Storage Design Based on Hybrid of Replication and Data Partitioning. |
ICPADS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jicheng Fu, Wei Hao, I-Ling Yen, Farokh B. Bastani |
Using Virtual Services to Bridge the Semantic Gap. |
ICSC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Ghosh, Farokh B. Bastani |
Guest Editors' Introduction. |
Int. J. Semantic Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen, Wei Hao |
Using Service Patterns to Achieve Web Service Composition. |
ICSC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen |
Decentralized Path Planner for Multi-robot Systems. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yansheng Zhang, Farokh B. Bastani |
Virtual-device framework for autonomous decentralized multi-robot systems. |
ISADS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yansheng Zhang, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau |
Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems. |
ISSRE |
2009 |
DBLP DOI BibTeX RDF |
System health monitoring, optimal fault diagnosis, adaptive systems |
| 1 | Jian Huang, Farokh B. Bastani, I-Ling Yen, Jing Dong, Wenke Zhang, Feng-Jian Wang, Hwai-Jung Hsu |
Extending service model to build an effective service composition framework for cyber-physical systems. |
SOCA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | I-Ling Yen, Hui Ma, Farokh B. Bastani, Hong Mei |
QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems. |
IEEE Computer |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen |
Availability Analysis of Robotic Swarm Systems. |
PRDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen |
Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Liangliang Xiao, I-Ling Yen, Farokh B. Bastani |
Low Cost Secure Computation for the General Client-Server Computation Model. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng |
Service Composition for Real-Time Assurance. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Real-Time assurance, Specification and analysis, Service Composition |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen |
A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation. |
SUTC |
2008 |
DBLP DOI BibTeX RDF |
space-time network, optimization, real-time, integer programming |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Trustworthiness ontology, high assurance systems |
| 1 | Jicheng Fu, Farokh B. Bastani, Vincent Ng, I-Ling Yen, Yansheng Zhang |
FIP: A Fast Planning-Graph-Based Iterative Planner. |
ICTAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
Application-aware adaptation, fuzzy and uncertainty, Web browsers, rule-based processing |
| 1 | Manish Gupta 0008, Jicheng Fu, Farokh B. Bastani, Latifur Khan, I-Ling Yen |
Rapid goal-oriented automated software testing using MEA-graph planning. |
Software Quality Journal |
2007 |
DBLP DOI BibTeX RDF |
Planning graph, MEA-Graphplan, AI Planning, Automated software testing |
| 1 | Manghui Tu, Liangliang Xiao, Hui Ma, I-Ling Yen, Farokh B. Bastani |
Placement in Dependable and Secure Peer-to-Peer Data Grids. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen |
Iterative Planning in the Context of Automated Code Synthesis. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Liangliang Xiao, I-Ling Yen, Yanjin Zhang, Farokh B. Bastani |
Evaluating Dependable Distributed Storage Systems. |
PDPTA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yansheng Zhang, Farokh B. Bastani, I-Ling Yen |
Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. |
EUC |
2007 |
DBLP DOI BibTeX RDF |
Swarm robotic systems, self-organizing, self-stabilizing systems |
| 1 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen |
Model-Driven Prototyping Based Requirements Elicitation. |
Monterey Workshop |
2007 |
DBLP DOI BibTeX RDF |
Prototyping, Model-Driven Development, Requirements Elicitation, Component-Based Software Development, Code Patterns |
| 1 | Manghui Tu, Peng Li, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani |
Replica Placement Algorithms for Mobile Transaction Systems. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
Mobile transaction systems, correlated data, cost, disconnection, replica placement |
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
e-commerce, proxy caching, web system, service migration |
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Tek Tsai, Miroslaw Malek, Yinong Chen, Farokh B. Bastani |
Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. |
SOSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano |
Instantiation Semantics for Message Sequence Charts. |
ENC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Automated code synthesis, Deductive code synthesis, Real-time system, Code patterns |
| 1 | Nirav Shah, Farokh B. Bastani, I-Ling Yen |
A Real-Time Scheduling Based Framework for Traffic Coordination Systems. |
SUTC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen |
Automated AI Planning and Code Pattern Based Code Synthesis. |
ICTAI |
2006 |
DBLP DOI BibTeX RDF |
Automated code synthesis, Graphplan, AI planning, Embedded real-time systems, Code patterns |
| 1 | Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen |
A Unified Framework for Defect Data Analysis Using the MBR Technique. |
ICTAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
dependability assurance, aspect-oriented modeling, process-control systems, Software decomposition |
| 1 | Manish Gupta 0008, 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. |
2005 |
DBLP DOI BibTeX RDF |
Location-dependent continuous querying, Multiple-ZQ, Single-ZQ, Hierarchical database framework, Mobile computing, Location-dependent queries |
| 1 | Wei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul |
A Framework to Support Survivable Web Services. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manghui Tu, Peng Li, Qingkai Ma, I-Ling Yen, Farokh B. Bastani |
On the Optimal Placement of Secure Data Objects over Internet. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingkai Ma, Liangliang Xiao, I-Ling Yen, Manghui Tu, Farokh B. Bastani |
An Adaptive Multiparty Protocol for Secure Data Protection. |
ICPADS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul |
An Approach for Designing Highly Adaptable Process-Control Systems. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tong Gao, Kendra Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani |
An Object-Oriented Modeling Learning Support System With Inspection Comments. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Jian Liu, Farokh B. Bastani, I-Ling Yen |
A Formal Foundation of Code Pattern Based Development. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Liu, Farokh B. Bastani, I-Ling Yen |
Meta Code Pattern and Its Refinement. |
Software Engineering Research and Practice |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
application-oriented frameworks, Distributed embedded systems, software composition, software reliability assessment |
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingkai Ma, Wei Hao, I-Ling Yen, Farokh B. Bastani |
Multiparty Computation with Full Computation Power and Reduced Overhead. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Sheng, Farokh B. Bastani |
Secure and Reliable Decentralized Peer-to-Peer Web Cache. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingkai Ma, Wei Li, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen |
Survivable Systems Based on an Adaptive NMR Algorithm. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Gupta 0008, Farokh B. Bastani, Latifur Khan, I-Ling Yen |
Automated Test Data Generation Using MEA-Graph Planning. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mamoun Awad, Latifur Khan, Farokh B. Bastani, I-Ling Yen |
An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen |
Relational Program Architecture for High Quality Software Development. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen |
Automated Software Design of Process-Control Systems. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen |
High-Assurance Synthesis of Security Services from Basic Microservices. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
Microservices, Software architecture, Software composition, Security service |
| 1 | Hui Ma, I-Ling Yen, Farokh B. Bastani, Kendra Cooper |
Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
Repository system, QoS, Embedded system, Pareto-optimal, Component composition |
| 1 | Yi Deng, Farokh B. Bastani |
Guest Editors' Introduction: Special Issue on Embedded Software Engineering. |
International Journal of Software Engineering and Knowledge Engineering |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | I-Ling Yen, Jayabharath Goluguri, Farokh B. Bastani, Latifur Khan, John Linn |
A Component-Based Approach for Embedded Software Development. (PDF / PS) |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. (PDF / PS) |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
Embedded systems, Verification, Software architecture, Software composition, Reliability assessment |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond A. Paul, Farokh B. Bastani, Venkata U. B. Challagulla, I-Ling Yen |
Software Measurement Data Analysis Using Memory-Based Reasoning. |
ICTAI |
2002 |
DBLP DOI BibTeX RDF |
Metrics data analysis, Memory-Based Reasoning, Software measurement repository, Software quality, Software reliability |
| 1 | Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen |
Reliability Assessment of Framework-Based Distributed Embedded Software Systems. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
Application-oriented frameworks, Distributed embedded systems, Software composition, Software reliability assessment |
| 1 | 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. |
2001 |
DBLP DOI BibTeX RDF |
Robust data structures, atomic transaction processing, fault-tolerant systems, real-time processing |
| 1 | Farokh B. Bastani |
Introducing the New Editor-in-Chief of the IEEE Transactions on Knowledge and Data Engineering. (PDF / PS) |
IEEE Trans. Knowl. Data Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Farokh B. Bastani, I-Ling Yen, Sung Kim |
Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. |
HASE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Farokh B. Bastani |
High-Quality Customizable Embedded Software from COTS Components. (PDF / PS) |
SRDS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond A. Paul, Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen |
A Memory-Based Reasoning Approach for Assessing Software Quality. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
Software metrics repository, Metrics data analysis, Y2K defects, Software reliability, Mission Critical Systems |
| 1 | I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn |
An On-Line Repository for Embedded Software. (PDF / PS) |
ICTAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Farokh B. Bastani |
Editorial. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Farokh B. Bastani |
Editorial. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond A. Paul, Farokh B. Bastani, I-Ling Yen, Venkata U. B. Challagulla |
Defect-Based Reliability Analysis for Mission-Critical Software. (PDF / PS) |
COMPSAC |
2000 |
DBLP DOI BibTeX RDF |
Measurement data, Y2K compliance assessment, Software reliability, Data analysis, Software defects |
| 1 | Farokh B. Bastani |
Editor-in-Chief Prefaces Special-Edition Tribute. (PDF / PS) |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Farokh B. Bastani |
Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems. |
Ann. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Farokh B. Bastani |
Introducing New Advisory Board and Editorial Board Members. |
IEEE Trans. Knowl. Data Eng. |
1998 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")