Raymond A. Paul

According to our database1, Raymond A. Paul authored at least 119 papers between 1992 and 2015.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Ontology of Secure Service Level Agreement.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014
Mobile Testing-as-a-Service (MTaaS) - Infrastructures, Issues, Solutions and Needs.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013
High Consequence Systems and Semantic Computing.
Int. J. Semantic Computing, 2013

2012
Pragmatic Directions in Engineering Secure Dependable Systems.
Advances in Computers, 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

2009
Semantic Computing, Cloud Computing, and Semantic Search Engine.
Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 2009

2008
High-Assurance Service-Oriented Architectures.
IEEE Computer, 2008

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

2007
Service-oriented system engineering (SOSE) and its applications to embedded system development.
Service Oriented Computing and Applications, 2007

Data provenance in SOA: security, reliability, and integrity.
Service Oriented Computing and Applications, 2007

Modeling and Simulation in Service-Oriented Software Development.
Simulation, 2007

Dynamic Architectures for SOA-Based Applications.
Transactions of the SDPS, 2007

A QoS framework for multimedia applications in mobile ad hoc networks.
Comput. Syst. Sci. Eng., 2007

Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

Proposition for E-DoD: An Overall Plan for Network-Centric Operation.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

A New SOA Data-Provenance Framework.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

Roadmap to a Full Service Broker in Service-Oriented Architecture.
Proceedings of ICEBE 2007, 2007

A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Parsimonious Classifiers for Software Quality Assessment.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Process Specification and Modeling Language for Service-Oriented Software Development.
Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 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
A QoS Framewor kfor Multimedia Communication for Wireless Mobile Ad Hoc Defense Networks.
Proceedings of the Handbook of Mobile Middleware., 2006

Simulation Verification and Validation by Dynamic Policy Specification and Enforcement.
Simulation, 2006

A service-oriented modeling and simulation framework for rapid development of distributed applications.
Simulation Modelling Practice and Theory, 2006

Global Software Enterprise: A New Software Constructing Architecture.
Proceedings of the Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, 2006

An Infrastructure for Web Services Migration for Real-Time Applications.
Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

Consumer-centric service-oriented architecture: a new approach.
Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and the Second International Workshop on Collaborative Computing, 2006

A Software Enhancement System for Embedded Software Development.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Architecture Classification for SOA-Based Applications.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Adaptive Service-Oriented Application Architecture and System Engineering.
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

SOA Collaboration Modeling, Analysis, and Simulation in PSML-C.
Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1.
Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

2005
Rapid Embedded System Testing Using Verification Patterns.
IEEE Software, 2005

Swiss Cheese Test Case Generation for Web Services Testing.
IEICE Transactions, 2005

Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

DoD Towards Software Services.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 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

A robust testing framework for verifying Web services by completeness and consistency analysis.
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Stochastic Voting Algorithms for Web Services Group Testing.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Dynamic System Reconfiguration Via Service Composition for Dependable Computing.
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Parallel Multiple Sequence Alignment with Dynamic Scheduling.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 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

Automated Model Checking and Testing for Composite Web Services.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Proof Slicing with Application to Model Checking Web Services.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Developing and assuring trustworthy Web services.
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

Web services-based collaborative and cooperative computing.
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

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

Tomorrow's Needs - Yesterday's Technology: DOD's Architectural Dilemma and Plan for Resolution.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Simulation Verification and Validation by Dynamic Policy Enforcement.
Proceedings of the Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 2005

2004
A software reliability model for web services.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

A Probabilistic QoS Model and Computation Framework for Web Services-Based Workflows.
Proceedings of the Conceptual Modeling, 2004

Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Cooperative and Group Testing in Verification of Dynamic Composite Web Services.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Testing Web Services Using Progressive Group Testing.
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

2003
Verification of Web Services Using an Enhanced UDDI Server.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Provision of Multimedia Services in a Mobile Ad Hoc Network.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Scenario-Based System Generation for Process Control.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Future of Computer Software Systems: Commodity or Service?
Proceedings of the Software Engineering Research and Applications, 2003

Scenario-based Object-Oriented Testing Framework.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Metrics and Models for Cost and Quality of Component-Based Software.
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

Verification Patterns for Rapid Embedded System Verification.
Proceedings of the International Conference on Embedded Systems and Applications, 2003

Rapid Verification of Embedded Systems Using Patterns.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

A Metrics-Guided Framework for Cost and Quality Management of Component-Based Software.
Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

2002
A Software Test and Evaluation Environment Based on Longitudinal Database.
International Journal of Software Engineering and Knowledge Engineering, 2002

Object Testing in ITEE.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Scenario-Based Modeling And Its Applications.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

QoS-Based Synchronization of Multimedia Document Streams.
Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002

Real-Time Resource Reservation for Synchronized Multimedia Object over Wireless LAN.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Software Measurement Data Analysis Using Memory-Based Reasoning.
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

Extending WSDL to Facilitate Web Services Testing.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Coyote: An XML-Based Framework for Web Services Testing.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Metrics-Based Framework for Decision Making in COTS-Based Software Systems.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Temporal Modeling of Software Test Coverage.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Software Engineering Metrics for COTS-Based Systems.
IEEE Computer, 2001

The Distributed Time-Triggered Simulation Scheme Facilitated by TMO Programming.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

XML-based E2E Test Report Management.
Proceedings of the Conceptual Modeling, 2001

Distributed End-to-End Testing Management.
Proceedings of the 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 2001

End-To-End Integration Testing Design.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Metrics-Guided Quality Management for Component-Based Software Systems.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Scenario-Based Functional Regression Testing.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

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

End-to-End Integration Testing.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

End-to-End Integration Testing.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000
Measuring and assessing software test processes using test data.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 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

Distributed System Resource Management Infrastructure for Information Quality Assurance.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

Portfolio Management: A New Approach for Managing IT Assets.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

An Approach to Modify and Test Expired Window Logic.
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999
Software Metrics Knowledge and Databases for Project Management.
IEEE Trans. Knowl. Data Eng., 1999

Intensive Data Management in Parallel Systems: A Survey.
Distributed and Parallel Databases, 1999

Test and evaluation of distributed information system networks.
Ann. Software Eng., 1999

Object-oriented integration testing.
Ann. Software Eng., 1999

Assurance-Based Y2K Testing.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998
Key Applications for High-Assurance Systems.
IEEE Computer, 1998

Toward Integrated Methods for High-Assurance Systems (Guest Editors' Introduction).
IEEE Computer, 1998

Real Time Resource Allocation for Multimedia Object Communication.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Specification of a query language for multimedia database systems.
Proceedings of the 1998 International Workshop on Multimedia Software Engineering, 1998

1997
Incremental verification of architecture specification language for real-time systems.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Real-time scheduling for synchronized presentation of multimedia information in distributed multimedia systems.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Ensuring Quality of Service for Multimedia Applications in a LAN Environment.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

Object-Oriented Evolutionary Database Design for Software Metrics Data.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
A Visual Query Interface for Software Metrics Databases.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Ensuring quality in distributed multimedia systems.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Object-Oriented Framework for Metrics Guided Risk Management.
Proceedings of the COMPSAC '96, 1996

Data Models for Metrics-Based Project Management Systems.
Proceedings of the COMPSAC '96, 1996

1995
Issues in Storage and Retrieval of Multimedia Data.
Multimedia Syst., 1995

Metrics-guided reuse.
Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

1994
Metrics Based Classification Trees for Software Test Monitoring and Management.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

Issues in database management of multimedia information.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

Massive data management in parallel machines.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

1993
Software Maturity Measurement for Software Risk Management.
Proceedings of the SEKE'93, 1993

Metrics to improve the US Army software development process.
Proceedings of the First International Software Metrics Symposium, 1993

1992
Readers' corner.
Journal of Systems and Software, 1992

Metric-Based Neural Network Classification Tool for Analyzing Large-Scale Software.
Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992


  Loading...