Raymond A. Paul

Publication Activity (10 Years)

Years Active: 1992-2015
Publications (10 Years): 0

Top Venues

HASE

ISORC Workshops

Adv. Comput.

Int. J. Semantic Comput.

Publications

Chen-Yu Lee, Krishna M. Kavi, Raymond A. Paul, Mahadevan Gomathisankaran
Ontology of Secure Service Level Agreement. HASE (2015)
Jerry Gao, Wei-Tek Tsai, Raymond A. Paul, Xiaoying Bai, Tadahiro Uehara
Mobile Testing-as-a-Service (MTaaS) - Infrastructures, Issues, Solutions and Needs. HASE (2014)
Victor L. Winter, Bojan Cukic, Taghi M. Khoshgoftaar, Kinji Mori, Raymond A. Paul, Carlos Pérez Leguízamo, Sahra Sedigh Sarvestani, John C. Sloan, Mladen A. Vouk, I-Ling Yen
High Consequence Systems and Semantic Computing. Int. J. Semantic Comput. 7 (3) (2013)
M. Farrukh Khan, Raymond A. Paul
Pragmatic Directions in Engineering Secure Dependable Systems. Adv. Comput. 84 (2012)
Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
Information Assurance for Real-Time Decision Support. ISORC Workshops (2012)
Phillip C.-Y. Sheu, Shu Wang, Qi Wang, Ke Hao, Raymond A. Paul
Semantic Computing, Cloud Computing, and Semantic Search Engine. ICSC (2009)
Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna M. Kavi, Arif Ghafoor, Jaideep Srivastava
An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. ICSC (2008)
Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
Empirical Assessment of Machine Learning Based Software Defect Prediction Techniques. Int. J. Artif. Intell. Tools 17 (2) (2008)
Jing Dong, Raymond A. Paul, Liang-Jie Zhang
High-Assurance Service-Oriented Architectures. Computer 41 (8) (2008)
Raymond A. Paul
Proposition for E-DoD: An Overall Plan for Network-Centric Operation. QSIC (2007)
Wei-Tek Tsai, Xiao Wei, Yinong Chen, Raymond A. Paul, Jen-Yao Chung, Dawei Zhang
Data provenance in SOA: security, reliability, and integrity. Serv. Oriented Comput. Appl. 1 (4) (2007)
Wei-Tek Tsai, Raymond A. Paul, Chun Fan, Xiao Wei
Dynamic Architectures for SOA-Based Applications. Trans. SDPS 11 (4) (2007)
Wei-Tek Tsai, Xiao Wei, Dawei Zhang, Raymond A. Paul, Yinong Chen, Jen-Yao Chung
A New SOA Data-Provenance Framework. ISADS (2007)
Wei-Tek Tsai, Zhibin Cao, Xiao Wei, Raymond A. Paul, Qian Huang, Xin Sun
Modeling and Simulation in Service-Oriented Software Development. Simul. 83 (1) (2007)
Wei-Tek Tsai, Xinyu Zhou, Raymond A. Paul, Yinong Chen, Xiaoying Bai
A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software. HASE (2007)
Wei-Tek Tsai, Xinyu Zhou, Yinong Chen, Bingnan Xiao, Raymond A. Paul, William C. C. Chu
Roadmap to a Full Service Broker in Service-Oriented Architecture. ICEBE (2007)
Wei-Tek Tsai, Xiao Wei, Zhibin Cao, Raymond A. Paul, Yinong Chen, Jingjing Xu
Process Specification and Modeling Language for Service-Oriented Software Development. FTDCS (2007)
Wei-Tek Tsai, Xiao Wei, Raymond A. Paul, Jen-Yao Chung, Qian Huang, Yinong Chen
Service-oriented system engineering (SOSE) and its applications to embedded system development. Serv. Oriented Comput. Appl. 1 (1) (2007)
Waseem Sheikh, Basit Shafiq, Shahab Baqai, Raymond A. Paul, M. Farrukh Khan, Halima Ghafoor
A QoS framework for multimedia applications in mobile ad hoc networks. Comput. Syst. Sci. Eng. 22 (3) (2007)
Venkata U. B. Challagulla, Farokh B. Bastani, Raymond A. Paul, Wei-Tek Tsai, Yinong Chen
A Machine Learning-Based Reliability Assessment Model for Critical Software Systems. COMPSAC (1) (2007)
Wei-Tek Tsai, Qian Huang, Jingjing Xu, Yinong Chen, Raymond A. Paul
Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture. SOCA (2007)
Miyoung Shin, Sunida Ratanothayanon, Amrit L. Goel, Raymond A. Paul
Parsimonious Classifiers for Software Quality Assessment. HASE (2007)
Bingnan Xiao, Wei-Tek Tsai, Qian Huang, Yinong Chen, Raymond A. Paul
SOA Collaboration Modeling, Analysis, and Simulation in PSML-C. ICEBE (2006)
Jia Zhou, Kendra M. L. Cooper, I-Ling Yen, John Linn, Raymond A. Paul
A Software Enhancement System for Embedded Software Development. ISORC (2006)
Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul
DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1. Annual Simulation Symposium (2006)
Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul
A service-oriented modeling and simulation framework for rapid development of distributed applications. Simul. Model. Pract. Theory 14 (6) (2006)
Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul, Jen-Yao Chung
Architecture Classification for SOA-Based Applications. ISORC (2006)
Raymond A. Paul
Adaptive Service-Oriented Application Architecture and System Engineering. ICTAI (2006)
Wei Hao, Tong Gao, I-Ling Yen, Yinong Chen, Raymond A. Paul
An Infrastructure for Web Services Migration for Real-Time Applications. SOSE (2006)
Wei-Tek Tsai, Bingnan Xiao, Raymond A. Paul, Yinong Chen
Consumer-centric service-oriented architecture: a new approach. SEUS/WCCIA (2006)
Wei-Tek Tsai, Bingnan Xiao, Raymond A. Paul, Qian Huang, Yinong Chen
Global Software Enterprise: A New Software Constructing Architecture. CEC/EEE (2006)
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Xinyu Zhou, Chun Fan
Simulation Verification and Validation by Dynamic Policy Specification and Enforcement. Simul. 82 (5) (2006)
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen
Automated Model Checking and Testing for Composite Web Services. ISORC (2005)
Jiancong Luo, Ishfaq Ahmad, Munib Ahmed, Raymond A. Paul
Parallel Multiple Sequence Alignment with Dynamic Scheduling. ITCC (1) (2005)
Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul
Simulation Verification and Validation by Dynamic Policy Enforcement. Annual Simulation Symposium (2005)
Jia Zhou, Kendra M. L. Cooper, I-Ling Yen, Raymond A. Paul
Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration. ISORC (2005)
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Huang, Xinyu Zhou, Xiao Wei
Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services. COMPSAC (1) (2005)
Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul
Rapid Embedded System Testing Using Verification Patterns. IEEE Softw. 22 (4) (2005)
Wei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong Chen
Stochastic Voting Algorithms for Web Services Group Testing. QSIC (2005)
Wei-Tek Tsai, Zhibin Cao, Yinong Chen, Raymond A. Paul
Web services-based collaborative and cooperative computing. ISADS (2005)
Wei-Tek Tsai, Weiwei Song, Yinong Chen, Raymond A. Paul
Dynamic System Reconfiguration Via Service Composition for Dependable Computing. Monterey Workshop (2005)
Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
An Approach for Designing Highly Adaptable Process-Control Systems. ISORC (2005)
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. WORDS (2005)
Wei-Tek Tsai, Xiao Wei, Yinong Chen, Bingnan Xiao, Raymond A. Paul, Hai Huang
Developing and assuring trustworthy Web services. ISADS (2005)
Wei-Tek Tsai, Xiao Wei, Yinong Chen, Raymond A. Paul
A robust testing framework for verifying Web services by completeness and consistency analysis. SOSE (2005)
Raymond A. Paul
DoD Towards Software Services. WORDS (2005)
Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
Empirical Assessment of Machine Learning based Software Defect Prediction Techniques. WORDS (2005)
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
Proof Slicing with Application to Model Checking Web Services. ISORC (2005)
Wei-Tek Tsai, Xiao Wei, Yinong Chen, Raymond A. Paul, Bingnan Xiao
Swiss Cheese Test Case Generation for Web Services Testing. IEICE Trans. Inf. Syst. (12) (2005)
Raymond A. Paul
Tomorrow's Needs - Yesterday's Technology: DOD's Architectural Dilemma and Plan for Resolution. HASE (2005)
Wei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul
A Framework to Support Survivable Web Services. IPDPS (2005)
Wei-Tek Tsai, Yinong Chen, Zhibin Cao, Xiaoying Bai, Hai Huang, Raymond A. Paul
Testing Web Services Using Progressive Group Testing. AWCC (2004)
San-Yih Hwang, Haojun Wang, Jaideep Srivastava, Raymond A. Paul
A Probabilistic QoS Model and Computation Framework for Web Services-Based Workflows. ER (2004)
Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang, Raymond A. Paul, Ning Liao
A software reliability model for web services. IASTED Conf. on Software Engineering and Applications (2004)
Wei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin Cao, Hai Huang
Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. COMPSAC (2004)
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Ning Liao, Hai Huang
Cooperative and Group Testing in Verification of Dynamic Composite Web Services. COMPSAC Workshops (2004)
Wei-Tek Tsai, Feng Zhu, Lian Yu, Raymond A. Paul, Chun Fan
Verification Patterns for Rapid Embedded System Verification. Embedded Systems and Applications (2003)
Wei-Tek Tsai, Raymond A. Paul, Zhibin Cao, Lian Yu, Akihiro Saimi, Bingnan Xiao
Verification of Web Services Using an Enhanced UDDI Server. WORDS (2003)
Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul
Rapid Verification of Embedded Systems Using Patterns. COMPSAC (2003)
Raymond A. Paul
Future of Computer Software Systems: Commodity or Service? SERA (2003)
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
A Metrics-Guided Framework for Cost and Quality Management of Component-Based Software. Component-Based Software Quality (2003)
Wei-Tek Tsai, Lian Yu, Raymond A. Paul, Akihiro Saimi, Weiwei Song, Zhibin Cao
Scenario-Based System Generation for Process Control. Software Engineering Research and Practice (2003)
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
Metrics and Models for Cost and Quality of Component-Based Software. ISORC (2003)
Waseem Sheikh, Basit Shafiq, Raymond A. Paul, Arif Ghafoor
Provision of Multimedia Services in a Mobile Ad Hoc Network. WORDS Fall (2003)
Wei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul
Scenario-based Object-Oriented Testing Framework. QSIC (2003)
Soichiro Ohara, Fumihiro Tsunoda, H. Maezawa, Akira K. Onoma, Meng Hui, Taehyung Wang, Phillip C.-Y. Sheu, Raymond A. Paul
A Software Test and Evaluation Environment Based on Longitudinal Database. Int. J. Softw. Eng. Knowl. Eng. 12 (3) (2002)
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
Metrics-Based Framework for Decision Making in COTS-Based Software Systems. HASE (2002)
Raymond A. Paul, Farokh B. Bastani, Venkata U. B. Challagulla, I-Ling Yen
Software Measurement Data Analysis Using Memory-Based Reasoning. ICTAI (2002)
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
Temporal Modeling of Software Test Coverage. COMPSAC (2002)
Husni Fahmi, Mudassir Latif, Basit Shafiq, Raymond A. Paul, Arif Ghafoor
Real-Time Resource Reservation for Synchronized Multimedia Object over Wireless LAN. Symposium on Object-Oriented Real-Time Distributed Computing (2002)
Soichiro Ohara, Fumihiro Tsunoda, H. Maezawa, Meng Hui, Taehyung Wang, Phillip C.-Y. Sheu, Raymond A. Paul
Object Testing in ITEE. WORDS (2002)
Wei-Tek Tsai, Raymond A. Paul, Weiwei Song, Zhibin Cao
Coyote: An XML-Based Framework for Web Services Testing. HASE (2002)
Wei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang
Extending WSDL to Facilitate Web Services Testing. HASE (2002)
M. Farrukh Khan, Halima Ghafoor, Raymond A. Paul
QoS-Based Synchronization of Multimedia Document Streams. ISMSE (2002)
Wei-Tek Tsai, Yinghui Na, Raymond A. Paul, F. Lu, Akihiro Saimi
Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems. COMPSAC (2002)
Xiaoying Bai, Wei-Tek Tsai, Ke Feng, Lian Yu, Raymond A. Paul
Scenario-Based Modeling And Its Applications. WORDS (2002)
K. H. Kim, Raymond A. Paul
The Distributed Time-Triggered Simulation Scheme Facilitated by TMO Programming. ISORC (2001)
Raymond A. Paul
End-to-End Integration Testing. APAQS (2001)
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
Metrics-Guided Quality Management for Component-Based Software Systems. COMPSAC (2001)
Raymond A. Paul, Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen
A Memory-Based Reasoning Approach for Assessing Software Quality. COMPSAC (2001)
Xiaoying Bai, Wei-Tek Tsai, Techeng Shen, Bing Li, Raymond A. Paul
Distributed End-to-End Testing Management. EDOC (2001)
Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, Weiguang Shao, Vishal Agarwal
End-To-End Integration Testing Design. COMPSAC (2001)
Raymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying Bai
Scenario-Based Functional Regression Testing. COMPSAC (2001)
Raymond A. Paul
End-to-End Integration Testing. COMPSAC (2001)
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
Software Engineering Metrics for COTS-Based Systems. Computer 34 (5) (2001)
Raymond A. Paul, Wei-Tek Tsai, Bing Li, Xiaoying Bai
XML-based E2E Test Report Management. ER (2001)
Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, George Devaraj, Vishal Agarwal
An Approach to Modify and Test Expired Window Logic. APAQS (2000)
Raymond A. Paul
Portfolio Management: A New Approach for Managing IT Assets. COMPSAC (2000)
Raymond A. Paul, Farokh B. Bastani, I-Ling Yen, Venkata U. B. Challagulla
Defect-Based Reliability Analysis for Mission-Critical Software. COMPSAC (2000)
Yutao He, Herbert Hecht, Raymond A. Paul
Measuring and assessing software test processes using test data. HASE (2000)
Raymond A. Paul
Distributed System Resource Management Infrastructure for Information Quality Assurance. COMPSAC (2000)
Farokh B. Bastani, Simeon C. Ntafos, I-Ling Yen, Doug E. Harris, Richard R. Morrow, Raymond A. Paul
A high-assurance measurement repository system. HASE (2000)
Raymond A. Paul, Jaideep Srivastava, Duminda Wijesekera
Test and evaluation of distributed information system networks. Ann. Softw. Eng. 8 (1999)
Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul
Assurance-Based Y2K Testing. HASE (1999)
Raymond A. Paul, Ann T. Tai
Building High-Assurance Systems Using COTS Components: Whether, Why, When and How? HASE (1999)
M. Farrukh Khan, Raymond A. Paul, Ishfaq Ahmad, Arif Ghafoor
Intensive Data Management in Parallel Systems: A Survey. Distributed Parallel Databases 7 (4) (1999)
Imran Bashir, Raymond A. Paul
Object-oriented integration testing. Ann. Softw. Eng. 8 (1999)
Raymond A. Paul, Tosiyasu L. Kunii, Yoshihisa Shinagawa, Muhammad Farrukh Khan
Software Metrics Knowledge and Databases for Project Management. IEEE Trans. Knowl. Data Eng. 11 (1) (1999)
I-Ling Yen, Raymond A. Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry
Key Applications for High-Assurance Systems. Computer 31 (4) (1998)
Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul
Incremental Verification of Architecture Specification Language for Real-Time Systems. Int. J. Softw. Eng. Knowl. Eng. 8 (3) (1998)

Raymond A. Paul.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Raymond A. Paul