Raymond A. Paul

123 papers A 3B 23C 15Journal 25Unranked 55
YearRankTypeTitle / Venue / Authors
2016 — ed.
17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016
HASE
Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu
2015 — conf
Ontology of Secure Service Level Agreement.
HASE
Chen-Yu Lee, Krishna M. Kavi, Raymond A. Paul, Mahadevan Gomathisankaran
2014 — conf
Mobile Testing-as-a-Service (MTaaS) - Infrastructures, Issues, Solutions and Needs.
HASE
Jerry Gao, Wei-Tek Tsai, Raymond A. Paul, Xiaoying Bai, Tadahiro Uehara
2013 J jnl
High Consequence Systems and Semantic Computing.
Int. J. Semantic Comput.
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
2012 — conf
Information Assurance for Real-Time Decision Support.
ISORC Workshops
Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
2012 J jnl
Pragmatic Directions in Engineering Secure Dependable Systems.
Adv. Comput.
M. Farrukh Khan, Raymond A. Paul
2009 — conf
Semantic Computing, Cloud Computing, and Semantic Search Engine.
ICSC
Phillip C.-Y. Sheu, Shu Wang, Qi Wang, Ke Hao, Raymond A. Paul
2008 — conf
An Ontology-Based Integrated Assessment Framework for High-Assurance Systems.
ICSC
Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna M. Kavi, Arif Ghafoor, Jaideep Srivastava
2008 J jnl
Empirical Assessment of Machine Learning Based Software Defect Prediction Techniques.
Int. J. Artif. Intell. Tools
Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
2008 J jnl
High-Assurance Service-Oriented Architectures.
Computer
Jing Dong, Raymond A. Paul, Liang-Jie Zhang
2007 — conf
A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.
HASE
Wei-Tek Tsai, Xinyu Zhou, Raymond A. Paul, Yinong Chen, Xiaoying Bai
2007 — conf
A Machine Learning-Based Reliability Assessment Model for Critical Software Systems.
COMPSAC (1)
Venkata U. B. Challagulla, Farokh B. Bastani, Raymond A. Paul, Wei-Tek Tsai, Yinong Chen
2007 C conf
A New SOA Data-Provenance Framework.
ISADS
Wei-Tek Tsai, Xiao Wei, Dawei Zhang, Raymond A. Paul, Yinong Chen, Jen-Yao Chung
2007 J jnl
A QoS framework for multimedia applications in mobile ad hoc networks.
Comput. Syst. Sci. Eng.
Waseem Sheikh, Basit Shafiq, Shahab Baqai, Raymond A. Paul, M. Farrukh Khan, Halima Ghafoor
2007 J jnl
Data provenance in SOA: security, reliability, and integrity.
Serv. Oriented Comput. Appl.
Wei-Tek Tsai, Xiao Wei, Yinong Chen, Raymond A. Paul, Jen-Yao Chung, Dawei Zhang
2007 J jnl
Dynamic Architectures for SOA-Based Applications.
Trans. SDPS
Wei-Tek Tsai, Raymond A. Paul, Chun Fan, Xiao Wei
2007 J jnl
Modeling and Simulation in Service-Oriented Software Development.
Simul.
Wei-Tek Tsai, Zhibin Cao, Xiao Wei, Raymond A. Paul, Qian Huang, Xin Sun
2007 — conf
Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture.
SOCA
Wei-Tek Tsai, Qian Huang, Jingjing Xu, Yinong Chen, Raymond A. Paul
2007 — conf
Parsimonious Classifiers for Software Quality Assessment.
HASE
Miyoung Shin, Sunida Ratanothayanon, Amrit L. Goel, Raymond A. Paul
2007 — conf
Process Specification and Modeling Language for Service-Oriented Software Development.
FTDCS
Wei-Tek Tsai, Xiao Wei, Zhibin Cao, Raymond A. Paul, Yinong Chen, Jingjing Xu
2007 — conf
Proposition for E-DoD: An Overall Plan for Network-Centric Operation.
QSIC
Raymond A. Paul
2007 — conf
Roadmap to a Full Service Broker in Service-Oriented Architecture.
ICEBE
Wei-Tek Tsai, Xinyu Zhou, Yinong Chen, Bingnan Xiao, Raymond A. Paul, William C. C. Chu
2007 J jnl
Service-oriented system engineering (SOSE) and its applications to embedded system development.
Serv. Oriented Comput. Appl.
Wei-Tek Tsai, Xiao Wei, Raymond A. Paul, Jen-Yao Chung, Qian Huang, Yinong Chen
2006 — ch.
A QoS Framewor kfor Multimedia Communication for Wireless Mobile Ad Hoc Defense Networks.
The Handbook of Mobile Middleware
Raymond A. Paul, Waseem Sheikh, Basit Shafiq, Arif Ghafoor
2006 C conf
A Software Enhancement System for Embedded Software Development.
ISORC
Jia Zhou, Kendra M. L. Cooper, I-Ling Yen, John Linn, Raymond A. Paul
2006 J jnl
A service-oriented modeling and simulation framework for rapid development of distributed applications.
Simul. Model. Pract. Theory
Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul
2006 B conf
Adaptive Service-Oriented Application Architecture and System Engineering.
ICTAI
Raymond A. Paul
2006 — conf
An Infrastructure for Web Services Migration for Real-Time Applications.
SOSE
Wei Hao, Tong Gao, I-Ling Yen, Yinong Chen, Raymond A. Paul
2006 C conf
Architecture Classification for SOA-Based Applications.
ISORC
Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul, Jen-Yao Chung
2006 — conf
Consumer-centric service-oriented architecture: a new approach.
SEUS/WCCIA
Wei-Tek Tsai, Bingnan Xiao, Raymond A. Paul, Yinong Chen
2006 — conf
DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1.
Annual Simulation Symposium
Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul
2006 — conf
Global Software Enterprise: A New Software Constructing Architecture.
CEC/EEE
Wei-Tek Tsai, Bingnan Xiao, Raymond A. Paul, Qian Huang, Yinong Chen
2006 — conf
SOA Collaboration Modeling, Analysis, and Simulation in PSML-C.
ICEBE
Bingnan Xiao, Wei-Tek Tsai, Qian Huang, Yinong Chen, Raymond A. Paul
2006 J jnl
Simulation Verification and Validation by Dynamic Policy Specification and Enforcement.
Simul.
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Xinyu Zhou, Chun Fan
2005 A conf
A Framework to Support Survivable Web Services.
IPDPS
Wei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul
2005 — conf
A robust testing framework for verifying Web services by completeness and consistency analysis.
SOSE
Wei-Tek Tsai, Xiao Wei, Yinong Chen, Raymond A. Paul
2005 — conf
Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services.
COMPSAC (1)
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Huang, Xinyu Zhou, Xiao Wei
2005 C conf
An Approach for Designing Highly Adaptable Process-Control Systems.
ISORC
Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
2005 C conf
Automated Model Checking and Testing for Composite Web Services.
ISORC
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen
2005 C conf
Developing and assuring trustworthy Web services.
ISADS
Wei-Tek Tsai, Xiao Wei, Yinong Chen, Bingnan Xiao, Raymond A. Paul, Hai Huang
2005 — conf
DoD Towards Software Services.
WORDS
Raymond A. Paul
2005 — conf
Dynamic System Reconfiguration Via Service Composition for Dependable Computing.
Monterey Workshop
Wei-Tek Tsai, Weiwei Song, Yinong Chen, Raymond A. Paul
2005 — conf
Empirical Assessment of Machine Learning based Software Defect Prediction Techniques.
WORDS
Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul
2005 — conf
Parallel Multiple Sequence Alignment with Dynamic Scheduling.
ITCC (1)
Jiancong Luo, Ishfaq Ahmad, Munib Ahmed, Raymond A. Paul
2005 C conf
Proof Slicing with Application to Model Checking Web Services.
ISORC
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
2005 J jnl
Rapid Embedded System Testing Using Verification Patterns.
IEEE Softw.
Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul
2005 C conf
Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration.
ISORC
Jia Zhou, Kendra M. L. Cooper, I-Ling Yen, Raymond A. Paul
2005 — conf
Simulation Verification and Validation by Dynamic Policy Enforcement.
Annual Simulation Symposium
Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul
2005 — conf
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems.
WORDS
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul
2005 — conf
Stochastic Voting Algorithms for Web Services Group Testing.
QSIC
Wei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong Chen
2005 J jnl
Swiss Cheese Test Case Generation for Web Services Testing.
IEICE Trans. Inf. Syst.
Wei-Tek Tsai, Xiao Wei, Yinong Chen, Raymond A. Paul, Bingnan Xiao
2005 — conf
Tomorrow's Needs - Yesterday's Technology: DOD's Architectural Dilemma and Plan for Resolution.
HASE
Raymond A. Paul
2005 C conf
Web services-based collaborative and cooperative computing.
ISADS
Wei-Tek Tsai, Zhibin Cao, Yinong Chen, Raymond A. Paul
2004 A conf
A Probabilistic QoS Model and Computation Framework for Web Services-Based Workflows.
ER
San-Yih Hwang, Haojun Wang, Jaideep Srivastava, Raymond A. Paul
2004 — conf
A software reliability model for web services.
IASTED Conf. on Software Engineering and Applications
Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang, Raymond A. Paul, Ning Liao
2004 — conf
Cooperative and Group Testing in Verification of Dynamic Composite Web Services.
COMPSAC Workshops
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Ning Liao, Hai Huang
2004 B conf
Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing.
COMPSAC
Wei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin Cao, Hai Huang
2004 — conf
Testing Web Services Using Progressive Group Testing.
AWCC
Wei-Tek Tsai, Yinong Chen, Zhibin Cao, Xiaoying Bai, Hai Huang, Raymond A. Paul
2003 — conf
A Metrics-Guided Framework for Cost and Quality Management of Component-Based Software.
Component-Based Software Quality
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
2003 C conf
Future of Computer Software Systems: Commodity or Service?
SERA
Raymond A. Paul
2003 C conf
Metrics and Models for Cost and Quality of Component-Based Software.
ISORC
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
2003 — conf
Provision of Multimedia Services in a Mobile Ad Hoc Network.
WORDS Fall
Waseem Sheikh, Basit Shafiq, Raymond A. Paul, Arif Ghafoor
2003 B conf
Rapid Verification of Embedded Systems Using Patterns.
COMPSAC
Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul
2003 — conf
Scenario-Based System Generation for Process Control.
Software Engineering Research and Practice
Wei-Tek Tsai, Lian Yu, Raymond A. Paul, Akihiro Saimi, Weiwei Song, Zhibin Cao
2003 — conf
Scenario-based Object-Oriented Testing Framework.
QSIC
Wei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul
2003 — conf
Verification Patterns for Rapid Embedded System Verification.
Embedded Systems and Applications
Wei-Tek Tsai, Feng Zhu, Lian Yu, Raymond A. Paul, Chun Fan
2003 — conf
Verification of Web Services Using an Enhanced UDDI Server.
WORDS
Wei-Tek Tsai, Raymond A. Paul, Zhibin Cao, Lian Yu, Akihiro Saimi, Bingnan Xiao
2002 J jnl
A Software Test and Evaluation Environment Based on Longitudinal Database.
Int. J. Softw. Eng. Knowl. Eng.
Soichiro Ohara, Fumihiro Tsunoda, H. Maezawa, Akira K. Onoma, Meng Hui, Taehyung Wang, Phillip C.-Y. Sheu, Raymond A. Paul
2002 B conf
Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems.
COMPSAC
Wei-Tek Tsai, Yinghui Na, Raymond A. Paul, F. Lu, Akihiro Saimi
2002 — conf
Coyote: An XML-Based Framework for Web Services Testing.
HASE
Wei-Tek Tsai, Raymond A. Paul, Weiwei Song, Zhibin Cao
2002 — conf
Extending WSDL to Facilitate Web Services Testing.
HASE
Wei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang
2002 — conf
Metrics-Based Framework for Decision Making in COTS-Based Software Systems.
HASE
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
2002 — conf
Object Testing in ITEE.
WORDS
Soichiro Ohara, Fumihiro Tsunoda, H. Maezawa, Meng Hui, Taehyung Wang, Phillip C.-Y. Sheu, Raymond A. Paul
2002 — conf
QoS-Based Synchronization of Multimedia Document Streams.
ISMSE
M. Farrukh Khan, Halima Ghafoor, Raymond A. Paul
2002 — conf
Real-Time Resource Reservation for Synchronized Multimedia Object over Wireless LAN.
Symposium on Object-Oriented Real-Time Distributed Computing
Husni Fahmi, Mudassir Latif, Basit Shafiq, Raymond A. Paul, Arif Ghafoor
2002 — conf
Scenario-Based Modeling And Its Applications.
WORDS
Xiaoying Bai, Wei-Tek Tsai, Ke Feng, Lian Yu, Raymond A. Paul
2002 B conf
Software Measurement Data Analysis Using Memory-Based Reasoning.
ICTAI
Raymond A. Paul, Farokh B. Bastani, Venkata U. B. Challagulla, I-Ling Yen
2002 B conf
Temporal Modeling of Software Test Coverage.
COMPSAC
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
2001 B conf
A Memory-Based Reasoning Approach for Assessing Software Quality.
COMPSAC
Raymond A. Paul, Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen
2001 B conf
Distributed End-to-End Testing Management.
EDOC
Xiaoying Bai, Wei-Tek Tsai, Techeng Shen, Bing Li, Raymond A. Paul
2001 B conf
End-To-End Integration Testing Design.
COMPSAC
Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, Weiguang Shao, Vishal Agarwal
2001 — conf
End-to-End Integration Testing.
APAQS
Raymond A. Paul
2001 B conf
End-to-End Integration Testing.
COMPSAC
Raymond A. Paul
2001 B conf
Metrics-Guided Quality Management for Component-Based Software Systems.
COMPSAC
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
2001 B conf
Scenario-Based Functional Regression Testing.
COMPSAC
Raymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying Bai
2001 J jnl
Software Engineering Metrics for COTS-Based Systems.
Computer
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
2001 C conf
The Distributed Time-Triggered Simulation Scheme Facilitated by TMO Programming.
ISORC
K. H. Kim, Raymond A. Paul
2001 A conf
XML-based E2E Test Report Management.
ER
Raymond A. Paul, Wei-Tek Tsai, Bing Li, Xiaoying Bai
2000 — conf
A high-assurance measurement repository system.
HASE
Farokh B. Bastani, Simeon C. Ntafos, I-Ling Yen, Doug E. Harris, Richard R. Morrow, Raymond A. Paul
2000 — conf
An Approach to Modify and Test Expired Window Logic.
APAQS
Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, George Devaraj, Vishal Agarwal
2000 B conf
Defect-Based Reliability Analysis for Mission-Critical Software.
COMPSAC
Raymond A. Paul, Farokh B. Bastani, I-Ling Yen, Venkata U. B. Challagulla
2000 B conf
Distributed System Resource Management Infrastructure for Information Quality Assurance.
COMPSAC
Raymond A. Paul
2000 — conf
Measuring and assessing software test processes using test data.
HASE
Yutao He, Herbert Hecht, Raymond A. Paul
2000 B conf
Portfolio Management: A New Approach for Managing IT Assets.
COMPSAC
Raymond A. Paul
1999 — conf
Assurance-Based Y2K Testing.
HASE
Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul
1999 — conf
Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?
HASE
Raymond A. Paul, Ann T. Tai
1999 J jnl
Intensive Data Management in Parallel Systems: A Survey.
Distributed Parallel Databases
M. Farrukh Khan, Raymond A. Paul, Ishfaq Ahmad, Arif Ghafoor
1999 J jnl
Object-oriented integration testing.
Ann. Softw. Eng.
Imran Bashir, Raymond A. Paul
1999 J jnl
Software Metrics Knowledge and Databases for Project Management.
IEEE Trans. Knowl. Data Eng.
Raymond A. Paul, Tosiyasu L. Kunii, Yoshihisa Shinagawa, Muhammad Farrukh Khan
1999 J jnl
Test and evaluation of distributed information system networks.
Ann. Softw. Eng.
Raymond A. Paul, Jaideep Srivastava, Duminda Wijesekera
1998 J jnl
Incremental Verification of Architecture Specification Language for Real-Time Systems.
Int. J. Softw. Eng. Knowl. Eng.
Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul
1998 J jnl
Key Applications for High-Assurance Systems.
Computer
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
1998 C conf
Real Time Resource Allocation for Multimedia Object Communication.
ISORC
Shahab Baqai, Raymond A. Paul, Husni Fahmi, Ahmed R. Bashandy, Arif Ghafoor
1998 — conf
Specification of a query language for multimedia database systems.
MSE
Young Francis Day, Wasfi Al-Khatib, Raymond A. Paul, Arif Ghafoor
1998 J jnl
Toward Integrated Methods for High-Assurance Systems (Guest Editors' Introduction).
Computer
I-Ling Yen, Raymond A. Paul, Kinji Mori
1997 — conf
Ensuring Quality of Service for Multimedia Applications in a LAN Environment.
HASE
Husni Fahmi, Raymond A. Paul, Ahmed R. Bashandy, Arif Ghafoor
1997 — conf
Incremental verification of architecture specification language for real-time systems.
WORDS
Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul
1997 B conf
Object-Oriented Evolutionary Database Design for Software Metrics Data.
COMPSAC
Raymond A. Paul, Tosiyasu L. Kunii, Yoshihisa Shinagawa, Arif Ghafoor
1997 — conf
Real-time scheduling for synchronized presentation of multimedia information in distributed multimedia systems.
WORDS
Raymond A. Paul, M. Farrukh Khan, Shahab Baqai, Arif Ghafoor
1996 C conf
A Visual Query Interface for Software Metrics Databases.
SEKE
Raymond A. Paul, Azam Khan, Arif Ghafoor, Young Francis Day, Yoshihisa Shinagawa
1996 B conf
Data Models for Metrics-Based Project Management Systems.
COMPSAC
Raymond A. Paul, C. L. Chee, Tosiyasu L. Kunii, Yoshihisa Shinagawa
1996 — conf
Ensuring quality in distributed multimedia systems.
HASE
Raymond A. Paul, M. Farrukh Khan, Shahab Baqai, Arif Ghafoor
1996 J jnl
Metrics-Guided Reuse.
Int. J. Artif. Intell. Tools
Raymond A. Paul
1996 B conf
Object-Oriented Framework for Metrics Guided Risk Management.
COMPSAC
Raymond A. Paul, Yoshihisa Shinagawa, Young Francis Day, M. Farrukh Khan, Arif Ghafoor
1995 J jnl
Issues in Storage and Retrieval of Multimedia Data.
Multim. Syst.
Tosiyasu L. Kunii, Yoshihisa Shinagawa, Raymond A. Paul, M. F. Kahn, Ashfaq A. Khokhar
1995 B conf
Metrics-guided reuse.
ICTAI
Raymond A. Paul
1994 B conf
Issues in database management of multimedia information.
COMPSAC
Raymond A. Paul, M. Farrukh Khan, Ashfaq A. Khokhar, Arif Ghafoor
1994 B conf
Massive data management in parallel machines.
COMPSAC
Raymond A. Paul, M. Farrukh Khan, Ishfaq Admad, Omran A. Bukhres, Imran Ghafoor, Amrit L. Goel, Arif Ghafoor
1994 B conf
Metrics Based Classification Trees for Software Test Monitoring and Management.
ICTAI
Raymond A. Paul
1993 — conf
Metrics to improve the US Army software development process.
IEEE METRICS
Raymond A. Paul
1993 C conf
Software Maturity Measurement for Software Risk Management.
SEKE
Raymond A. Paul
1992 B conf
Metric-Based Neural Network Classification Tool for Analyzing Large-Scale Software.
ICTAI
Raymond A. Paul
1992 J jnl
Readers' corner.
J. Syst. Softw.
Raymond A. Paul