Farokh B. Bastani

According to our database, Farokh B. Bastani authored at least 213 papers between 1979 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Access Control in Dynamic IoT Scenarios.

I-Ling Yen, Ayu Tiwari, Farokh B. Bastani

Proceedings of the 15th IEEE International Symposium on Autonomous Decentralized System, 2023

Multi-Keyword Based Information Routing in Peer-to-Peer Networks.

Hieu Tran, Miao Miao, Farokh B. Bastani, I-Ling Yen

Proceedings of the International Conference on Information Networking, 2023

2022

IoT Data Discovery: Routing Table and Summarization Techniques.

Hieu Tran, Son Nguyen, I-Ling Yen, Farokh B. Bastani

CoRR, 2022

TLETA: Deep Transfer Learning and Integrated Cellular Knowledge for Estimated Time of Arrival Prediction.

Hieu Tran, Son Nguyen, I-Ling Yen, Farokh B. Bastani

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

2021

Decentralized Service Discovery and Composition in Dynamic IoT Systems.

Hessam Moeini, I-Ling Yen, Farokh B. Bastani

Proceedings of the 27th IEEE International Conference on Parallel and Distributed Systems, 2021

Into Summarization Techniques for IoT Data Discovery Routing.

Hieu Tran, Son Nguyen, I-Ling Yen, Farokh B. Bastani

Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021

2020

Summarization in Semantic Based Service Discovery in Dynamic IoT-Edge Networks.

Hessam Moeini, I-Ling Yen, Farokh B. Bastani

CoRR, 2020

Integrating clustering and regression for workload estimation in the cloud.

Yongjia Yu, Vasu Jindal, I-Ling Yen, Farokh B. Bastani, Jie Xu, Peter Garraghan

Concurr. Comput. Pract. Exp., 2020

Service Management in the Edge Cloud for Stream Processing of IoT Data.

Hachem Moussa, I-Ling Yen, Farokh B. Bastani

Proceedings of the 13th IEEE International Conference on Cloud Computing, 2020

2019

Invited Paper: Semantic IoT Data Description and Discovery in the IoT-Edge-Fog-Cloud Infrastructure.

Wenxi Zeng, Shuai Zhang, I-Ling Yen, Farokh B. Bastani

Proceedings of the 13th IEEE International Conference on Service-Oriented System Engineering, 2019

Monitoring Data Management Services on the Edge Using Enhanced TSDBs.

Wenxi Zeng, Shuai Zhang, I-Ling Yen, Farokh B. Bastani, San-Yih Hwang

Proceedings of the 12th IEEE Conference on Service-Oriented Computing and Applications, 2019

Toward Better Service Performance Management via Workload Prediction.

Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Yulin Dong, Wei He

Proceedings of the Services Computing - SCC 2019, 2019

An OpenRBAC Semantic Model for Access Control in Vehicular Networks.

Sultan Alsarra, I-Ling Yen, Yongtao Huang, Farokh B. Bastani, Bhavani Thuraisingham

Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

Toward Semi-Automated Role Mapping for IoT Systems in Smart Cities.

Fang Li, Huaduo Wang, Lijuan Diao, I-Ling Yen, Farokh B. Bastani

Proceedings of the 2019 IEEE International Smart Cities Conference, 2019

Service Specification and Discovery in IoT Networks.

Hessam Moeini, I-Ling Yen, Farokh B. Bastani

Proceedings of the 2019 IEEE International Conference on Web Services, 2019

Efficient Multi-Keyword Based Service Discovery Routing in Peer-to-Peer IoT Networks.

Hessam Moeini, I-Ling Yen, Farokh B. Bastani

Proceedings of the 25th IEEE International Conference on Parallel and Distributed Systems, 2019

Toward Data Discovery in Dynamic Smart City Applications.

Hessam Moeini, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani

Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure.

Shuai Zhang, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

A Smart Role Mapping Recommendation System.

Lijuan Diao, Huaduo Wang, Sultan Alsarra, I-Ling Yen, Farokh B. Bastani

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Service-Oriented IoT Modeling and Its Deviation from Software Services.

I-Ling Yen, Farokh B. Bastani, Wei Zhu, Hessam Moeini, San-Yih Hwang, Yuqun Zhang

Proceedings of the IEEE Symposium on Service-Oriented System Engineering, 2018

Trustworthy Computing in the Dynamic IoT Cloud.

I-Ling Yen, Farokh B. Bastani, Nidhiben Solanki, Yongtao Huang

Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018

Semantic-Based Information Sharing in Vehicular Networks.

Himlun Bista, I-Ling Yen, Farokh B. Bastani, Martin Mueller, Darnell Moore

Proceedings of the 2018 IEEE International Conference on Web Services, 2018

Improving the Smartness of Cloud Management via Machine Learning Based Workload Prediction.

Yongjia Yu, Vasu Jindal, Farokh B. Bastani, Fang Li, I-Ling Yen

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Resource and Role Hierarchy Based Access Control for Resourceful Systems.

Nidhiben Solanki, Yongtao Huang, I-Ling Yen, Farokh B. Bastani, Yuqun Zhang

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

A Framework for IoT-Based Monitoring and Diagnosis of Manufacturing Systems.

I-Ling Yen, Shuai Zhang, Farokh B. Bastani, Yuqun Zhang

Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017

A Semantic Model for Information Sharing in Autonomous Vehicle Systems.

Shuai Zhang, I-Ling Yen, Farokh B. Bastani, Hessam Moeini, Darnell Moore

Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

SaaS for Automated Job Performance Appraisals Using Service Technologies and Big Data Analytics.

I-Ling Yen, Farokh B. Bastani, Yongtao Huang, Yuqun Zhang, Xin Yao

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Efficient Caching for Peer-to-Peer Service Discovery in Internet of Things.

Hessam Moeini, I-Ling Yen, Farokh B. Bastani

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Automated Holistic Service Composition: Modeling and Composition Reasoning Techniques.

Wei Zhu, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Yuqun Zhang

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

From Software Services to IoT Services: The Modeling Perspective.

I-Ling Yen, Farokh B. Bastani, San-Yih Hwang, Wei Zhu, Guang Zhou

Proceedings of the Serviceology for Services - 5th International Conference, 2017

Routing in IoT Network for Dynamic Service Discovery.

Hessam Moeini, I-Ling Yen, Farokh B. Bastani

Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

2016

Role-Based Integrated Access Control and Data Provenance for SOA Based Net-Centric Systems.

Wei She, Wei Zhu, I-Ling Yen, Farokh B. Bastani, Bhavani Thuraisingham

IEEE Trans. Serv. Comput., 2016

Fast strong planning for fully observable nondeterministic planning problems.

Jicheng Fu, Andres Calderon Jaramillo, Vincent Ng, Farokh B. Bastani, I-Ling Yen

Ann. Math. Artif. Intell., 2016

Rapid Service Composition Reasoning for Agile Cyber Physical Systems.

I-Ling Yen, Wei Zhu, Farokh B. Bastani, Yongtao Huang, Guang Zhou

Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Toward Semantic Enhancement of Monitoring Data Repository.

Shuai Zhang, I-Ling Yen, Farokh B. Bastani

Proceedings of the Tenth IEEE International Conference on Semantic Computing, 2016

A Self-Stabilizing Algorithm for the Foraging Problem in Swarm Robotic Systems.

Guang Zhou, Farokh B. Bastani, Wei Zhu, I-Ling Yen

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Multi-tenant Access and Information Flow Control for SaaS.

Nidhiben Solanki, Wei Zhu, I-Ling Yen, Farokh B. Bastani, Elham Rezvani

Proceedings of the IEEE International Conference on Web Services, 2016

Robust real-time UAV based power line detection and tracking.

Guang Zhou, Jinwei Yuan, I-Ling Yen, Farokh B. Bastani

Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

Integrating Clustering and Learning for Improved Workload Prediction in the Cloud.

Yongjia Yu, Vasu Jindal, I-Ling Yen, Farokh B. Bastani

Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015

Workload Estimation for Improving Resource Management Decisions in the Cloud.

Jemishkumar Patel, Vasu Jindal, I-Ling Yen, Farokh B. Bastani, Jie Xu, Peter Garraghan

Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015

A Smart Physical World Based on Service Technologies, Big Data, and Game-Based Crowd Sourcing.

I-Ling Yen, Guang Zhou, Wei Zhu, Farokh B. Bastani, San-Yih Hwang

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

A PT-SOA Model for CPS/IoT Services.

Wei Zhu, Guang Zhou, I-Ling Yen, Farokh B. Bastani

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

An Access and Information Flow Control Paradigm for Secure Information Sharing in Service-Based Systems.

Nidhiben Solanki, Timothy Hoffman, I-Ling Yen, Farokh B. Bastani, Stephen S. Yau

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Fast Strong Planning for FOND Problems with Multi-Root Directed Acyclic Graphs.

Andres Calderon Jaramillo, Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen

Int. J. Artif. Intell. Tools, 2014

Online feature subset selection for object tracking.

Jinwei Yuan, Farokh B. Bastani

Proceedings of the 2014 IEEE International Conference on Image Processing, 2014

Robust object tracking via online informative feature selection.

Jinwei Yuan, Farokh B. Bastani

Proceedings of the 2014 IEEE International Conference on Image Processing, 2014

2013

Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing.

Manghui Tu, Hui Ma, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani, Dianxiang Xu

J. Grid Comput., 2013

Multi-purpose Planning for Practical Web Service Composition Problems.

Wei Zhu, Jian Huang, Farokh B. Bastani, I-Ling Yen

Proceedings of the Fifth International Conference on Service Science and Innovation, 2013

Access Protocols in Data Partitioning Based Cloud Storage.

Yunqi Ye, Liangliang Xiao, Yinzi Chen, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen

Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012

Optimization models for assessing the peak capacity utilization of intelligent transportation systems.

Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen

Eur. J. Oper. Res., 2012

Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms.

Guang Zhou, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

Information Assurance for Real-Time Decision Support.

Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Handling Planning Failures with Virtual Actions.

Jicheng Fu, Sijie Tian, Vincent Ng, Farokh B. Bastani, I-Ling Yen

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Real-Time Anomaly Detection in Streams of Execution Traces.

Wenke Zhang, Favyen Bastani, I-Ling Yen, Kevin Hulin, Farokh B. Bastani, Latifur Khan

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Automated Exception Handling in Service Composition Using Holistic Planning.

Jian Huang, Wei Zhu, Farokh B. Bastani, I-Ling Yen, Jicheng Fu

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2011

Role-based integrated access control and data provenance for SOA based net-centric systems.

Wei She, I-Ling Yen, Farokh B. Bastani, Bao N. Tran, Bhavani Thuraisingham

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Model-Driven Development: Where Does the Code Come From?

Jicheng Fu, Wei Hao, Farokh B. Bastani, I-Ling Yen

Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011

A Highly Resilient Framework for Autonomous Robotic Swarm Systems Operating in Unknown, Hostile Environments.

Angie Shia, Farokh B. Bastani, I-Ling Yen

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems.

Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen

Proceedings of the IJCAI 2011, 2011

ROBUST Path Strategy Evaluator.

Angie Shia, Farokh B. Bastani, I-Ling Yen

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

High-Assurance Reconfigurable Multicore Processor Based Systems.

Manasi Peshave, Farokh B. Bastani, I-Ling Yen

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Leveraging Service Clouds for Power and QoS Management for Mobile Devices.

Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani

Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010

Toward effective service composition for real-time SOA-based systems.

Hachem Moussa, Tong Gao, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng

Serv. Oriented Comput. Appl., 2010

Secure, Dependable, and High Performance Cloud Storage.

Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani

Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

A Framework for QoS and Power Management in a Service Cloud Environment with Mobile Devices.

Yunqi Ye, Nisha Jain, Longsheng Xia, Suhas Joshi, I-Ling Yen, Farokh B. Bastani, Kenneth L. Cureton, Mark K. Bowler

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

A Framework for Efficient Service Composition in Cyber-Physical Systems.

Jian Huang, Farokh B. Bastani, I-Ling Yen, Wenke Zhang

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Real-Time Service-Oriented Distributed Governance.

Jian Huang, Yansheng Zhang, I-Ling Yen, John T. Carson, Mike F. Siok, Farokh B. Bastani, Yajing Zhao, Jing Dong

Proceedings of the 6th World Congress on Services, 2010

Virtual Services in Cloud Computing.

Jicheng Fu, Wei Hao, Michael Tu, Biao Ma, Joshua Baldwin, Farokh B. Bastani

Proceedings of the 6th World Congress on Services, 2010

Using Virtual Services to Bridge the Semantic Gap.

Jicheng Fu, Wei Hao, I-Ling Yen, Farokh B. Bastani

Proceedings of the 4th IEEE International Conference on Semantic Computing (ICSC 2010), 2010

Cloud Storage Design Based on Hybrid of Replication and Data Partitioning.

Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani

Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Scalable Authentication and Key Management in SCADA.

Liangliang Xiao, I-Ling Yen, Farokh B. Bastani

Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds.

Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009

Guest Editors' Introduction.

Sumit Ghosh, Farokh B. Bastani

Int. J. Semantic Comput., 2009

Extending service model to build an effective service composition framework for cyber-physical systems.

Jian Huang, Farokh B. Bastani, I-Ling Yen, Jing Dong, Wenke Zhang, Feng-Jian Wang, Hwai-Jung Hsu

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Using Service Patterns to Achieve Web Service Composition.

Jicheng Fu, Farokh B. Bastani, I-Ling Yen, Wei Hao

Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 2009

Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems.

Yansheng Zhang, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau

Proceedings of the ISSRE 2009, 2009

Virtual-device framework for autonomous decentralized multi-robot systems.

Yansheng Zhang, Farokh B. Bastani

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009

Decentralized Path Planner for Multi-robot Systems.

Yansheng Zhang, Farokh B. Bastani, I-Ling Yen

Proceedings of the ICTAI 2009, 2009

Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model.

Jian Huang, Farokh B. Bastani, I-Ling Yen, Jun-Jang Jeng

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Empirical Assessment of Machine Learning Based Software Defect Prediction Techniques.

Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul

Int. J. Artif. Intell. Tools, 2008

QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems.

I-Ling Yen, Hui Ma, Farokh B. Bastani, Hong Mei

Computer, 2008

A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation.

Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen

Proceedings of the IEEE International Conference on Sensor Networks, 2008

An Adaptive User Interface Generation Framework for Web Services.

Jiang He, I-Ling Yen, Tu Peng, Jing Dong, Farokh B. Bastani

Proceedings of the 2008 IEEE World Congress on Services, 2008

An Ontology-Based Integrated Assessment Framework for High-Assurance Systems.

Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna M. Kavi, Arif Ghafoor, Jaideep Srivastava

Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), 2008

Availability Analysis of Robotic Swarm Systems.

Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

FIP: A Fast Planning-Graph-Based Iterative Planner.

Jicheng Fu, Farokh B. Bastani, Vincent Ng, I-Ling Yen, Yansheng Zhang

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Low Cost Secure Computation for the General Client-Server Computation Model.

Liangliang Xiao, I-Ling Yen, Farokh B. Bastani

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques.

Jicheng Fu, Farokh B. Bastani, I-Ling Yen

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

An Early Reliability Assessment Model for Data-Flow Software Architectures.

Gerardo Padilla, Tong Gao, I-Ling Yen, Farokh B. Bastani, Carlos Montes de Oca

Proceedings of the Ninth Mexican International Conference on Computer Science, 2008

Security in a peer-to-peer data grid storage system.

Liangliang Xiao, I-Ling Yen, Farokh B. Bastani

Proceedings of the 4th annual workshop on Cyber security and information intelligence research, 2008

Service Composition for Real-Time Assurance.

Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

A Flexible Content Adaptation System Using a Rule-Based Approach.

Jiang He, Tong Gao, Wei Hao, I-Ling Yen, Farokh B. Bastani

IEEE Trans. Knowl. Data Eng., 2007

Rapid goal-oriented automated software testing using MEA-graph planning.

Manish Gupta, Jicheng Fu, Farokh B. Bastani, Latifur Khan, I-Ling Yen

Softw. Qual. J., 2007

Evaluating Dependable Distributed Storage Systems.

Liangliang Xiao, I-Ling Yen, Yanjin Zhang, Farokh B. Bastani

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007

Model-Driven Prototyping Based Requirements Elicitation.

Jicheng Fu, Farokh B. Bastani, I-Ling Yen

Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

An Optimization Model for Rigorously Assessing Efficient Heuristics for Traffic Coordination at Intersections.

Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen

Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

Placement in Dependable and Secure Peer-to-Peer Data Grids.

Manghui Tu, Liangliang Xiao, Hui Ma, I-Ling Yen, Farokh B. Bastani

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems.

Yansheng Zhang, Farokh B. Bastani, I-Ling Yen

Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007

Iterative Planning in the Context of Automated Code Synthesis.

Jicheng Fu, Farokh B. Bastani, I-Ling Yen

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

A Machine Learning-Based Reliability Assessment Model for Critical Software Systems.

Venkata U. B. Challagulla, Farokh B. Bastani, Raymond A. Paul, Wei-Tek Tsai, Yinong Chen

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Extending Proxy Caching Capability: Issues and Performance.

Wei Hao, Jicheng Fu, Jiang He, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen

World Wide Web, 2006

Replica Placement Algorithms for Mobile Transaction Systems.

Manghui Tu, Peng Li, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani

IEEE Trans. Knowl. Data Eng., 2006

A Repository for Component-based Embedded Software Development.

Tong Gao, Hui Ma, I-Ling Yen, Latifur Khan, Farokh B. Bastani

Int. J. Softw. Eng. Knowl. Eng., 2006

A Real-Time Scheduling Based Framework for Traffic Coordination Systems.

Nirav Shah, Farokh B. Bastani, I-Ling Yen

Proceedings of the IEEE International Conference on Sensor Networks, 2006

Perspectives on Service-Oriented Computing and Service-Oriented System Engineering.

Wei-Tek Tsai, Miroslaw Malek, Yinong Chen, Farokh B. Bastani

Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns.

Jian Liu, Jicheng Fu, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Ann T. Tai, Savio N. Chau

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

QoS Adaptive ISHM Systems.

Yansheng Zhang, Jicheng Fu, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau, Farrokh Vatan, Amir Fijany

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

Automated AI Planning and Code Pattern Based Code Synthesis.

Jicheng Fu, Farokh B. Bastani, I-Ling Yen

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

A Unified Framework for Defect Data Analysis Using the MBR Technique.

Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

Instantiation Semantics for Message Sequence Charts.

Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano

Proceedings of the Seventh Mexican International Conference on Computer Science, 2006

2005

Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance.

Dongfeng Wang, Farokh B. Bastani, I-Ling Yen

IEEE Trans. Software Eng., 2005

A study of the model and algorithms for handling location-dependent continuous queries.

Manish Gupta, Manghui Tu, Latifur Khan, Farokh B. Bastani, I-Ling Yen

Knowl. Inf. Syst., 2005

Toward QoS analysis of adaptive service-oriented architecture.

Tong Gao, Hui Ma, I-Ling Yen, Farokh B. Bastani, Wei-Tek Tsai

Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Meta Code Pattern and Its Refinement.

Jian Liu, Farokh B. Bastani, I-Ling Yen

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

A Formal Foundation of Code Pattern Based Development.

Jian Liu, Farokh B. Bastani, I-Ling Yen

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Toward a UML Profile to Support Component-Based Distributed Adaptive Systems.

Tong Gao, Kendra M. L. Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

An Object-Oriented Modeling Learning Support System With Inspection Comments.

Tong Gao, Kendra M. L. Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

A Model and Methodology for Composition QoS Analysis of Embedded Systems.

Hui Ma, Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Kendra M. L. Cooper

Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

An Approach for Designing Highly Adaptable Process-Control Systems.

Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

On the Optimal Placement of Secure Data Objects over Internet.

Manghui Tu, Peng Li, Qingkai Ma, I-Ling Yen, Farokh B. Bastani

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

A Framework to Support Survivable Web Services.

Wei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

An Adaptive Multiparty Protocol for Secure Data Protection.

Qingkai Ma, Liangliang Xiao, I-Ling Yen, Manghui Tu, Farokh B. Bastani

Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

2004

Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks.

Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen

IEEE Trans. Software Eng., 2004

A Systematic Design Method For High Quality Process-Control Systems Development.

Dongfeng Wang, Farokh B. Bastani, I-Ling Yen

Int. J. Softw. Eng. Knowl. Eng., 2004

A dynamically growing self-organizing tree (DGSOT) for hierarchical clustering gene expression profiles.

Feng Luo, Latifur Khan, Farokh B. Bastani, I-Ling Yen, Jizhong Zhou

Bioinform., 2004

Secure and Reliable Decentralized Peer-to-Peer Web Cache.

Bo Sheng, Farokh B. Bastani

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Survivable Systems Based on an Adaptive NMR Algorithm.

Qingkai Ma, Wei Li, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Automated Test Data Generation Using MEA-Graph Planning.

Manish Gupta, Farokh B. Bastani, Latifur Khan, I-Ling Yen

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering.

Mamoun Awad, Latifur Khan, Farokh B. Bastani, I-Ling Yen

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems.

Dongfeng Wang, Hui Ma, Farokh B. Bastani, I-Ling Yen

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

Multiparty Computation with Full Computation Power and Reduced Overhead.

Qingkai Ma, Wei Hao, I-Ling Yen, Farokh B. Bastani

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003

Automated Software Design of Process-Control Systems.

Dongfeng Wang, Farokh B. Bastani, I-Ling Yen

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Relational Program Architecture for High Quality Software Development.

Dongfeng Wang, Farokh B. Bastani, I-Ling Yen

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components.

Hui Ma, I-Ling Yen, Farokh B. Bastani, Kendra M. L. Cooper

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

High-Assurance Synthesis of Security Services from Basic Microservices.

Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Code Parameterization for Satisfaction of QoS Requirements in Embedded Software.

Kendra M. L. Cooper, Jia Zhou, Hui Ma, I-Ling Yen, Farokh B. Bastani

Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms, June 23, 2003

2002

Guest Editors' Introduction: Special Issue on Embedded Software Engineering.

Yi Deng, Farokh B. Bastani

Int. J. Softw. Eng. Knowl. Eng., 2002

Reliability Assessment of Framework-Based Distributed Embedded Software Systems.

Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

A Component-Based Approach for Embedded Software Development.

I-Ling Yen, Jayabharath Goluguri, Farokh B. Bastani, Latifur Khan, John Linn

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

An Architecture-Based Comparison of Verification and Statistical Reliability Assessment Methods for Embedded Software Systems.

Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Application of AI Planning Techniques to Automated Code Synthesis and Testing.

I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn

Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

Software Measurement Data Analysis Using Memory-Based Reasoning.

Raymond A. Paul, Farokh B. Bastani, Venkata U. B. Challagulla, I-Ling Yen

Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

2001

Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems.

I-Ling Yen, Farokh B. Bastani, David J. Taylor

IEEE Trans. Software Eng., 2001

Introducing the New Editor-in-Chief of the IEEE Transactions on Knowledge and Data Engineering.

Farokh B. Bastani

IEEE Trans. Knowl. Data Eng., 2001

High-Quality Customizable Embedded Software from COTS Components.

Farokh B. Bastani

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs.

Farokh B. Bastani, I-Ling Yen, Sung Kim, John Linn, Kashi Rao

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

An On-Line Repository for Embedded Software.

I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn

Proceedings of the 13th IEEE International Conference on Tools with Artificial Intelligence, 2001

Highly Reliable Relational Control Programs for Robust Rapid Transit Systems.

Farokh B. Bastani, I-Ling Yen, Sung Kim

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

A Memory-Based Reasoning Approach for Assessing Software Quality.

Raymond A. Paul, Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000

Editorial.

Farokh B. Bastani

IEEE Trans. Knowl. Data Eng., 2000

Relational programs.

Farokh B. Bastani

ACM SIGSOFT Softw. Eng. Notes, 2000

A high-assurance measurement repository system.

Farokh B. Bastani, Simeon C. Ntafos, I-Ling Yen, Doug E. Harris, Richard R. Morrow, Raymond A. Paul

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

Defect-Based Reliability Analysis for Mission-Critical Software.

Raymond A. Paul, Farokh B. Bastani, I-Ling Yen, Venkata U. B. Challagulla

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999

Editor-in-Chief Prefaces Special-Edition Tribute.

Farokh B. Bastani

IEEE Trans. Knowl. Data Eng., 1999

Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems.

Farokh B. Bastani

Ann. Softw. Eng., 1999

1998

Introducing New Advisory Board and Editorial Board Members.

Farokh B. Bastani

IEEE Trans. Knowl. Data Eng., 1998

1997

Acknowledging TKDE's Fine Past and Looking to an Even Better Future.

Farokh B. Bastani

IEEE Trans. Knowl. Data Eng., 1997

High-Assurance Systems (Introduction to the Special Section).

Sourav Bhattacharya, Akira K. Onoma, Farokh B. Bastani

Commun. ACM, 1997

Diversity in the software development process.

Victoria Hilford, Michael R. Lyu, Bojan Cukic, Anouar Jamoussi, Farokh B. Bastani

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

EH* - Extendible Hashing in a Distributed Environment.

Victoria Hilford, Farokh B. Bastani, Bojan Cukic

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Toward dependable safety-critical software.

Farokh B. Bastani, Bojan Cukic, Victoria Hilford, Anouar Jamoussi

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions".

Anouar Jamoussi, Farokh B. Bastani

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

On reducing the sensitivity of software reliability to variations in the operational profile.

Bojan Cukic, Farokh B. Bastani

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

Impact of program transformation on software reliability assessment.

Farokh B. Bastani, Bojan Cukic

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

1995

On the Reliability of AI Planning Software in Real-Time Applications.

Ing-Ray Chen, Farokh B. Bastani, Ta-Wei Tsao

IEEE Trans. Knowl. Data Eng., 1995

Parallel Hashing: Collision Resolution Strategies and Performance.

I-Ling Yen, Farokh B. Bastani

J. Parallel Distributed Comput., 1995

On efficiently tolerating general failures in autonomous decentralized multiserver systems.

I-Ling Yen, Farokh B. Bastani

Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

Robust parallel resource management in shared memory multiprocessor systems.

I-Ling Yen, Farokh B. Bastani

Proceedings of IPPS '95, 1995

(Position Paper) Fault-Tolerant Software.

Farokh B. Bastani

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

Warm Standby in Hierarchically Structured Process-Control Programs.

Ing-Ray Chen, Farokh B. Bastani

IEEE Trans. Software Eng., 1994

On the reliability of dependable soft real-time cooperating systems.

I-Ling Yen, Ing-Ray Chen, Farokh B. Bastani

Proceedings of WORDS '94. The First Workshop on Object-Oriented Real-Time Dependable Systems, 1994

Assessment of a sampling method for measuring safety-critical software reliability.

Farokh B. Bastani, Alberto Pasquini

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

Automatic Array Alignment as a Step in Hierarchical Program Transformation.

Bojan Cukic, Farokh B. Bastani

Proceedings of the 8th International Symposium on Parallel Processing, 1994

Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs.

I-Ling Yen, Farokh B. Bastani

Proceedings of the Digest of Papers: FTCS/24, 1994

1993

Forword: Software Reliability.

Farokh B. Bastani

IEEE Trans. Software Eng., 1993

A Software Reliability Model for Artificial Intelligence Programs.

Farokh B. Bastani, Ing-Ray Chen, Ta-Wei Tsao

Int. J. Softw. Eng. Knowl. Eng., 1993

Assessment of the Reliability of AI Programs.

Farokh B. Bastani, Ing-Ray Chen

Int. J. Artif. Intell. Tools, 1993

Exploiting redundancy to speed up parallel systems.

I-Ling Yen, Ernst L. Leiss, Farokh B. Bastani

IEEE Parallel Distributed Technol. Syst. Appl., 1993

The Reliability of Embedded AI Systems.

Farokh B. Bastani, Ing-Ray Chen

IEEE Expert, 1993

Reliability of uniprocessor and multiprocessor real-time artificial intelligence planning systems.

Ing-Ray Chen, Ta-Wei Tsao, Farokh B. Bastani

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

A hybrid architecture for mobile robots based on decentralized, parallel path planning.

Rumi M. Dubash, Farokh B. Bastani

Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

Inherent fault tolerance in decentralized process-control systems.

Farokh B. Bastani, I-Ling Yen

Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel Architectures.

I-Ling Yen, Rumi M. Dubash, Farokh B. Bastani

Proceedings of the Seventh International Parallel Processing Symposium, 1993

Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation.

Farokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

Guest Editors' Introduction: Self-Organizing Knowledge and Data Representation in Distributed Environment.

S. Sitharama Iyengar, Farokh B. Bastani

IEEE Trans. Knowl. Data Eng., 1992

A Self-Adjusting Algorithm for Byzantine Agreement.

Yi Zhao, Farokh B. Bastani

Distributed Comput., 1992

Hash Table in Massively Parallel Systems.

I-Ling Yen, Farokh B. Bastani

Proceedings of the 6th International Parallel Processing Symposium, 1992

Algorithmic Mapping of Neural Networks with Multiactivation Production Units onto SIMD Machines.

Yiwei Chen, Farokh B. Bastani

Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992

Fault tolerant process planning and control.

Rumi M. Dubash, I-Ling Yen, Farokh B. Bastani

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

A Model for the Stability Analysis of Maintenance Stragies for Linear List.

Farokh B. Bastani, Ing-Ray Chen, Wael Hilal Bahaa-El-Din

Comput. J., 1991

An Inherently Fault Tolerant Sorting Algorithm.

I-Ling Yen, Farokh B. Bastani, Ernst L. Leiss

Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991

The capability of feedforward neural networks with Ω-shaped activation functions.

Yiwei Chen, Farokh B. Bastani

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

AI in multimedia (panel session).

Nikolaos G. Bourbakis, Robin Williams, Forouzan Golshani, Myron Flickner, Ted Laliotis, Sukhan Lee, José G. Delgado-Frias, Dan Hammerstrom, Cris Koutsougeras, Gerald G. Pechanek, Benjamin W. Wah, John Yen, Farokh B. Bastani, Tom Cooper, Karan Harbison-Briggs, Rudy Lauber, Alun D. Preece, Imran A. Zualkernan, W. T. Tsai, Daniel E. Cooke, Martin S. Feather, Stephen Fickas, N. Minsky, Peter G. Selfridge, Douglas Smith

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

1990

High performance massively parallel abstract data type components.

I-Ling Yen, Farokh B. Bastani, T. Al-Marzooq, Ernst L. Leiss

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989

Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers.

Wael Hilal Bahaa-El-Din, Farokh B. Bastani, Ju-En Teng

IEEE Trans. Software Eng., 1989

1988

Multilevel Data Structures: Models and Performance.

Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen

IEEE Trans. Software Eng., 1988

A Class of Inherently Fault Tolerant Distributed Programs.

Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen

IEEE Trans. Software Eng., 1988

An analysis of competing neural network knowledge representation strategies.

Farokh B. Bastani, S. Sitharama Iyengar, Sandeep Gulati

Neural Networks, 1988

Concurrent Maintenance of Data Structures in a Distributed Environment.

Farokh B. Bastani, S. Sitharama Iyengar, I-Ling Yen

Comput. J., 1988

The Role of Artificial Intelligence in Fault-Tolerant Process-Control Systems.

Farokh B. Bastani, Ing-Ray Chen

Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, 1988

1987

Efficient Abstract Data Type Components for Distributed and Parallel Systems.

Farokh B. Bastani, Wael Hilal, S. S. Iyengar

Computer, 1987

The Effect of Data Structures on the Logical Complexity of Programs.

Farokh B. Bastani, S. Sitharama Iyengar

Commun. ACM, 1987

A Fault Tolerant Replicated Storage System.

Farokh B. Bastani, I-Ling Yen

Proceedings of the Third International Conference on Data Engineering, 1987

Fault tolerant distributed process-control systems.

Farokh B. Bastani, C. V. Ramamoorthy

Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, 1987

On the overall reliability of hardware/software systems.

Farokh B. Bastani, Ernst L. Leiss

Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, 1987

1986

Performance Analysis of Concurrent Maintenance Policies for Servers in a Distributed Environment.

Farokh B. Bastani, Wael Hilal Bahaa-El-Din, Ing-Ray Chen

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985

Foreword Software Reliability.

Amrit L. Goel, Farokh B. Bastani

IEEE Trans. Software Eng., 1985

On the Uncertainty in the Correctness of Computer Programs.

Farokh B. Bastani

IEEE Trans. Software Eng., 1985

Experiences with a Feedback Version Development Methodology.

Farokh B. Bastani

IEEE Trans. Software Eng., 1985

1984

Performance Improvement of Abstractions Through Context Dependent Transformations.

Farokh B. Bastani

IEEE Trans. Software Eng., 1984

1982

Software Reliability - Status and Perspectives.

C. V. Ramamoorthy, Farokh B. Bastani

IEEE Trans. Software Eng., 1982

1981

Application of a Methodology for the Development and Validation of Reliable Process Control Software.

C. V. Ramamoorthy, Yu-King R. Mok, Farokh B. Bastani, Gene H. Chin, Keiichi Suzuki

IEEE Trans. Software Eng., 1981

1979

On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants.

C. V. Ramamoorthy, Farokh B. Bastani, John M. Favaro, Yu-King R. Mok, C. W. Nam, Keiichi Suzuki

Proceedings of the 4th International Conference on Software Engineering, 1979