Farokh B. Bastani

According to our database1, Farokh B. Bastani
  • authored at least 190 papers between 1979 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2016
Role-Based Integrated Access Control and Data Provenance for SOA Based Net-Centric Systems.
IEEE Trans. Services Computing, 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.
International Journal on Artificial Intelligence 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

Fast Strong Planning for FOND Problems with Multi-root Directed Acyclic Graphs.
Proceedings of the 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, 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.
European Journal of Operational Research, 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.
Service Oriented Computing and Applications, 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 Computing, 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.
International Journal on Artificial Intelligence Tools, 2008

QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems.
IEEE 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

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.
Software Quality Journal, 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

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.
International Journal of Software Engineering and Knowledge Engineering, 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

Empirical Assessment of Machine Learning based Software Defect Prediction Techniques.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 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.
International Journal of Software Engineering and Knowledge Engineering, 2004

A dynamically growing self-organizing tree (DGSOT) for hierarchical clustering gene expression profiles.
Bioinformatics, 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.
International Journal of Software Engineering and Knowledge Engineering, 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

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

Relational programs.
ACM SIGSOFT Software Engineering 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. Software 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 Distrib. 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.
International Journal of Software Engineering and Knowledge Engineering, 1993

Assessment of the Reliability of AI Programs.
International Journal on Artificial Intelligence Tools, 1993

Exploiting redundancy to speed up parallel systems.
IEEE P&DT, 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 Computing, 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
Assessment of the reliability of AI programs.
Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 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.
IEA/AIE (Vol. 2), 1988

1987
Efficient Abstract Data Type Components for Distributed and Parallel Systems.
IEEE 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...