Farokh B. Bastani

According to our database1, Farokh B. Bastani authored at least 215 papers between 1979 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

1980
1985
1990
1995
2000
2005
2010
2015
2020
0
5
10
2
1
2
2
1
1
1
1
1
2
2
3
2
3
1
2
2
2
1
2
2
1
5
2
1
1
4
2
3
1
1
1
2
1
2
1
10
5
7
6
4
2
2
5
7
9
6
10
7
7
10
6
5
5
5
2
2
4
3
4
5
3
3
1
1
3
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Pruning Blockchain Protocols for Efficient Access Control in IoT Systems.
CoRR, 2024

Collaborative Access Control for IoT - A Blockchain Approach.
CoRR, 2024

2023
Access Control in Dynamic IoT Scenarios.
Proceedings of the 15th IEEE International Symposium on Autonomous Decentralized System, 2023

Multi-Keyword Based Information Routing in Peer-to-Peer Networks.
Proceedings of the International Conference on Information Networking, 2023

2022
IoT Data Discovery: Routing Table and Summarization Techniques.
CoRR, 2022

TLETA: Deep Transfer Learning and Integrated Cellular Knowledge for Estimated Time of Arrival Prediction.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

2021
Decentralized Service Discovery and Composition in Dynamic IoT Systems.
Proceedings of the 27th IEEE International Conference on Parallel and Distributed Systems, 2021

Into Summarization Techniques for IoT Data Discovery Routing.
Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021

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

Integrating clustering and regression for workload estimation in the cloud.
Concurr. Comput. Pract. Exp., 2020

Service Management in the Edge Cloud for Stream Processing of IoT Data.
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.
Proceedings of the 13th IEEE International Conference on Service-Oriented System Engineering, 2019

Monitoring Data Management Services on the Edge Using Enhanced TSDBs.
Proceedings of the 12th IEEE Conference on Service-Oriented Computing and Applications, 2019

Toward Better Service Performance Management via Workload Prediction.
Proceedings of the Services Computing - SCC 2019, 2019

An OpenRBAC Semantic Model for Access Control in Vehicular Networks.
Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

Toward Semi-Automated Role Mapping for IoT Systems in Smart Cities.
Proceedings of the 2019 IEEE International Smart Cities Conference, 2019

Service Specification and Discovery in IoT Networks.
Proceedings of the 2019 IEEE International Conference on Web Services, 2019

Efficient Multi-Keyword Based Service Discovery Routing in Peer-to-Peer IoT Networks.
Proceedings of the 25th IEEE International Conference on Parallel and Distributed Systems, 2019

Toward Data Discovery in Dynamic Smart City Applications.
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.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

A Smart Role Mapping Recommendation System.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018
Service-Oriented IoT Modeling and Its Deviation from Software Services.
Proceedings of the IEEE Symposium on Service-Oriented System Engineering, 2018

Trustworthy Computing in the Dynamic IoT Cloud.
Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018

Semantic-Based Information Sharing in Vehicular Networks.
Proceedings of the 2018 IEEE International Conference on Web Services, 2018

Improving the Smartness of Cloud Management via Machine Learning Based Workload Prediction.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Resource and Role Hierarchy Based Access Control for Resourceful Systems.
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.
Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017

A Semantic Model for Information Sharing in Autonomous Vehicle Systems.
Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

SaaS for Automated Job Performance Appraisals Using Service Technologies and Big Data Analytics.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Efficient Caching for Peer-to-Peer Service Discovery in Internet of Things.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Automated Holistic Service Composition: Modeling and Composition Reasoning Techniques.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

From Software Services to IoT Services: The Modeling Perspective.
Proceedings of the Serviceology for Services - 5th International Conference, 2017

Routing in IoT Network for Dynamic Service Discovery.
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.
IEEE Trans. Serv. Comput., 2016

Fast strong planning for fully observable nondeterministic planning problems.
Ann. Math. Artif. Intell., 2016

Rapid Service Composition Reasoning for Agile Cyber Physical Systems.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Toward Semantic Enhancement of Monitoring Data Repository.
Proceedings of the Tenth IEEE International Conference on Semantic Computing, 2016

A Self-Stabilizing Algorithm for the Foraging Problem in Swarm Robotic Systems.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Multi-tenant Access and Information Flow Control for SaaS.
Proceedings of the IEEE International Conference on Web Services, 2016

Robust real-time UAV based power line detection and tracking.
Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

Integrating Clustering and Learning for Improved Workload Prediction in the Cloud.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015
Workload Estimation for Improving Resource Management Decisions in the Cloud.
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.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

A PT-SOA Model for CPS/IoT Services.
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.
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.
Int. J. Artif. Intell. Tools, 2014

Online feature subset selection for object tracking.
Proceedings of the 2014 IEEE International Conference on Image Processing, 2014

Robust object tracking via online informative feature selection.
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.
J. Grid Comput., 2013

Multi-purpose Planning for Practical Web Service Composition Problems.
Proceedings of the Fifth International Conference on Service Science and Innovation, 2013

Access Protocols in Data Partitioning Based Cloud Storage.
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.
Eur. J. Oper. Res., 2012

Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

Information Assurance for Real-Time Decision Support.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Handling Planning Failures with Virtual Actions.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Real-Time Anomaly Detection in Streams of Execution Traces.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Automated Exception Handling in Service Composition Using Holistic Planning.
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.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Model-Driven Development: Where Does the Code Come From?
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.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems.
Proceedings of the IJCAI 2011, 2011

ROBUST Path Strategy Evaluator.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

High-Assurance Reconfigurable Multicore Processor Based Systems.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Leveraging Service Clouds for Power and QoS Management for Mobile Devices.
Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010
Toward effective service composition for real-time SOA-based systems.
Serv. Oriented Comput. Appl., 2010

Secure, Dependable, and High Performance Cloud Storage.
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.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

A Framework for Efficient Service Composition in Cyber-Physical Systems.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Real-Time Service-Oriented Distributed Governance.
Proceedings of the 6th World Congress on Services, 2010

Virtual Services in Cloud Computing.
Proceedings of the 6th World Congress on Services, 2010

Using Virtual Services to Bridge the Semantic Gap.
Proceedings of the 4th IEEE International Conference on Semantic Computing (ICSC 2010), 2010

Cloud Storage Design Based on Hybrid of Replication and Data Partitioning.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Scalable Authentication and Key Management in SCADA.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds.
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009
Guest Editors' Introduction.
Int. J. Semantic Comput., 2009

Extending service model to build an effective service composition framework for cyber-physical systems.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Using Service Patterns to Achieve Web Service Composition.
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.
Proceedings of the ISSRE 2009, 2009

Virtual-device framework for autonomous decentralized multi-robot systems.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009

Decentralized Path Planner for Multi-robot Systems.
Proceedings of the ICTAI 2009, 2009

Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Empirical Assessment of Machine Learning Based Software Defect Prediction Techniques.
Int. J. Artif. Intell. Tools, 2008

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

A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation.
Proceedings of the IEEE International Conference on Sensor Networks, 2008

An Adaptive User Interface Generation Framework for Web Services.
Proceedings of the 2008 IEEE World Congress on Services, 2008

An Ontology-Based Integrated Assessment Framework for High-Assurance Systems.
Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), 2008

Availability Analysis of Robotic Swarm Systems.
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

FIP: A Fast Planning-Graph-Based Iterative Planner.
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.
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.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

An Early Reliability Assessment Model for Data-Flow Software Architectures.
Proceedings of the Ninth Mexican International Conference on Computer Science, 2008

Security in a peer-to-peer data grid storage system.
Proceedings of the 4th annual workshop on Cyber security and information intelligence research, 2008

Service Composition for Real-Time Assurance.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
A Flexible Content Adaptation System Using a Rule-Based Approach.
IEEE Trans. Knowl. Data Eng., 2007

Rapid goal-oriented automated software testing using MEA-graph planning.
Softw. Qual. J., 2007

Evaluating Dependable Distributed Storage Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007

Model-Driven Prototyping Based Requirements Elicitation.
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.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

Placement in Dependable and Secure Peer-to-Peer Data Grids.
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.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007

Iterative Planning in the Context of Automated Code Synthesis.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

A Machine Learning-Based Reliability Assessment Model for Critical Software Systems.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Extending Proxy Caching Capability: Issues and Performance.
World Wide Web, 2006

Replica Placement Algorithms for Mobile Transaction Systems.
IEEE Trans. Knowl. Data Eng., 2006

A Repository for Component-based Embedded Software Development.
Int. J. Softw. Eng. Knowl. Eng., 2006

A Real-Time Scheduling Based Framework for Traffic Coordination Systems.
Proceedings of the IEEE International Conference on Sensor Networks, 2006

Perspectives on Service-Oriented Computing and Service-Oriented System Engineering.
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.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

QoS Adaptive ISHM Systems.
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

Automated AI Planning and Code Pattern Based Code Synthesis.
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.
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

Instantiation Semantics for Message Sequence Charts.
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.
IEEE Trans. Software Eng., 2005

A study of the model and algorithms for handling location-dependent continuous queries.
Knowl. Inf. Syst., 2005

Toward QoS analysis of adaptive service-oriented architecture.
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Meta Code Pattern and Its Refinement.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

A Formal Foundation of Code Pattern Based Development.
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.
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.
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.
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.
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.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

A Framework to Support Survivable Web Services.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

An Adaptive Multiparty Protocol for Secure Data Protection.
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.
IEEE Trans. Software Eng., 2004

A Systematic Design Method For High Quality Process-Control Systems Development.
Int. J. Softw. Eng. Knowl. Eng., 2004

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

Secure and Reliable Decentralized Peer-to-Peer Web Cache.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Survivable Systems Based on an Adaptive NMR Algorithm.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Automated Test Data Generation Using MEA-Graph Planning.
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.
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.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

Multiparty Computation with Full Computation Power and Reduced Overhead.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003
Automated Software Design of Process-Control Systems.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Relational Program Architecture for High Quality Software Development.
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.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

High-Assurance Synthesis of Security Services from Basic Microservices.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Code Parameterization for Satisfaction of QoS Requirements in Embedded Software.
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.
Int. J. Softw. Eng. Knowl. Eng., 2002

Reliability Assessment of Framework-Based Distributed Embedded Software Systems.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

A Component-Based Approach for Embedded Software Development.
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.
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.
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

Software Measurement Data Analysis Using Memory-Based Reasoning.
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.
IEEE Trans. Software Eng., 2001

Introducing the New Editor-in-Chief of the IEEE Transactions on Knowledge and Data Engineering.
IEEE Trans. Knowl. Data Eng., 2001

High-Quality Customizable Embedded Software from COTS Components.
Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

An On-Line Repository for Embedded Software.
Proceedings of the 13th IEEE International Conference on Tools with Artificial Intelligence, 2001

Highly Reliable Relational Control Programs for Robust Rapid Transit Systems.
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

A Memory-Based Reasoning Approach for Assessing Software Quality.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000
Editorial.
IEEE Trans. Knowl. Data Eng., 2000

Relational programs.
ACM SIGSOFT Softw. Eng. Notes, 2000

A high-assurance measurement repository system.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

Defect-Based Reliability Analysis for Mission-Critical Software.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999
Editor-in-Chief Prefaces Special-Edition Tribute.
IEEE Trans. Knowl. Data Eng., 1999

Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems.
Ann. Softw. Eng., 1999

1998
Introducing New Advisory Board and Editorial Board Members.
IEEE Trans. Knowl. Data Eng., 1998

1997
Acknowledging TKDE's Fine Past and Looking to an Even Better Future.
IEEE Trans. Knowl. Data Eng., 1997

High-Assurance Systems (Introduction to the Special Section).
Commun. ACM, 1997

Diversity in the software development process.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

EH* - Extendible Hashing in a Distributed Environment.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
Toward dependable safety-critical software.
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".
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.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

Impact of program transformation on software reliability assessment.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

1995
On the Reliability of AI Planning Software in Real-Time Applications.
IEEE Trans. Knowl. Data Eng., 1995

Parallel Hashing: Collision Resolution Strategies and Performance.
J. Parallel Distributed Comput., 1995

On efficiently tolerating general failures in autonomous decentralized multiserver systems.
Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

Robust parallel resource management in shared memory multiprocessor systems.
Proceedings of IPPS '95, 1995

(Position Paper) Fault-Tolerant Software.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994
Warm Standby in Hierarchically Structured Process-Control Programs.
IEEE Trans. Software Eng., 1994

On the reliability of dependable soft real-time cooperating systems.
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.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

Automatic Array Alignment as a Step in Hierarchical Program Transformation.
Proceedings of the 8th International Symposium on Parallel Processing, 1994

Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs.
Proceedings of the Digest of Papers: FTCS/24, 1994

1993
Forword: Software Reliability.
IEEE Trans. Software Eng., 1993

A Software Reliability Model for Artificial Intelligence Programs.
Int. J. Softw. Eng. Knowl. Eng., 1993

Assessment of the Reliability of AI Programs.
Int. J. Artif. Intell. Tools, 1993

Exploiting redundancy to speed up parallel systems.
IEEE Parallel Distributed Technol. Syst. Appl., 1993

The Reliability of Embedded AI Systems.
IEEE Expert, 1993

Reliability of uniprocessor and multiprocessor real-time artificial intelligence planning systems.
Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

A hybrid architecture for mobile robots based on decentralized, parallel path planning.
Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

Inherent fault tolerance in decentralized process-control systems.
Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel Architectures.
Proceedings of the Seventh International Parallel Processing Symposium, 1993

Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation.
Proceedings of the 15th International Conference on Software Engineering, 1993

1992
Guest Editors' Introduction: Self-Organizing Knowledge and Data Representation in Distributed Environment.
IEEE Trans. Knowl. Data Eng., 1992

A Self-Adjusting Algorithm for Byzantine Agreement.
Distributed Comput., 1992

Hash Table in Massively Parallel Systems.
Proceedings of the 6th International Parallel Processing Symposium, 1992

Algorithmic Mapping of Neural Networks with Multiactivation Production Units onto SIMD Machines.
Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992

Fault tolerant process planning and control.
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.
Comput. J., 1991

An Inherently Fault Tolerant Sorting Algorithm.
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.
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991


1990
High performance massively parallel abstract data type components.
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.
IEEE Trans. Software Eng., 1989

1988
Multilevel Data Structures: Models and Performance.
IEEE Trans. Software Eng., 1988

A Class of Inherently Fault Tolerant Distributed Programs.
IEEE Trans. Software Eng., 1988

An analysis of competing neural network knowledge representation strategies.
Neural Networks, 1988

Concurrent Maintenance of Data Structures in a Distributed Environment.
Comput. J., 1988

The Role of Artificial Intelligence in Fault-Tolerant Process-Control Systems.
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.
Computer, 1987

The Effect of Data Structures on the Logical Complexity of Programs.
Commun. ACM, 1987

A Fault Tolerant Replicated Storage System.
Proceedings of the Third International Conference on Data Engineering, 1987

Fault tolerant distributed process-control systems.
Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, 1987

On the overall reliability of hardware/software systems.
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.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985
Foreword Software Reliability.
IEEE Trans. Software Eng., 1985

On the Uncertainty in the Correctness of Computer Programs.
IEEE Trans. Software Eng., 1985

Experiences with a Feedback Version Development Methodology.
IEEE Trans. Software Eng., 1985

1984
Performance Improvement of Abstractions Through Context Dependent Transformations.
IEEE Trans. Software Eng., 1984

1982
Software Reliability - Status and Perspectives.
IEEE Trans. Software Eng., 1982

1981
Application of a Methodology for the Development and Validation of Reliable Process Control Software.
IEEE Trans. Software Eng., 1981

1979
On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants.
Proceedings of the 4th International Conference on Software Engineering, 1979


  Loading...