 | 2009 |
|---|
| 97 |       | Phillip C.-Y. Sheu,
Shu Wang,
Qi Wang,
Ke Hao,
Raymond A. Paul:
Semantic Computing, Cloud Computing, and Semantic Search Engine.
ICSC 2009: 654-657 |
| 2008 |
|---|
| 96 | | Raymond A. Paul,
I-Ling Yen,
Farokh B. Bastani,
Jing Dong,
Wei-Tek Tsai,
Krishna Kavi,
Arif Ghafoor,
Jaideep Srivastava:
An Ontology-Based Integrated Assessment Framework for High-Assurance Systems.
ICSC 2008: 386-393 |
| 95 | | Jing Dong,
Raymond A. Paul,
Liang-Jie Zhang:
High-Assurance Service-Oriented Architectures.
IEEE Computer 41(8): 27-28 (2008) |
| 94 | | Venkata U. B. Challagulla,
Farokh B. Bastani,
I-Ling Yen,
Raymond A. Paul:
Empirical Assessment of Machine Learning Based Software Defect Prediction Techniques.
International Journal on Artificial Intelligence Tools 17(2): 389-400 (2008) |
| 2007 |
|---|
| 93 | | 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: 79-86 |
| 92 | | 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: 105-112 |
| 91 | | Miyoung Shin,
Sunida Ratanothayanon,
Amrit L. Goel,
Raymond A. Paul:
Parsimonious Classifiers for Software Quality Assessment.
HASE 2007: 411-412 |
| 90 | | Wei-Tek Tsai,
Xinyu Zhou,
Yinong Chen,
Bingnan Xiao,
Raymond A. Paul,
William Chu:
Roadmap to a Full Service Broker in Service-Oriented Architecture.
ICEBE 2007: 657-660 |
| 89 | | Raymond A. Paul:
Proposition for E-DoD: An Overall Plan for Network-Centric Operation.
QSIC 2007: 2 |
| 88 | | Wei-Tek Tsai,
Qian Huang,
Jingjing Xu,
Yinong Chen,
Raymond A. Paul:
Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture.
SOCA 2007: 39-46 |
| 87 | | 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.
Service Oriented Computing and Applications 1(1): 3-17 (2007) |
| 86 | | Wei-Tek Tsai,
Xiao Wei,
Yinong Chen,
Raymond A. Paul,
Jen-Yao Chung,
Dawei Zhang:
Data provenance in SOA: security, reliability, and integrity.
Service Oriented Computing and Applications 1(4): 223-247 (2007) |
| 85 | | Wei-Tek Tsai,
Zhibin Cao,
Xiao Wei,
Raymond A. Paul,
Qian Huang,
Xin Sun:
Modeling and Simulation in Service-Oriented Software Development.
Simulation 83(1): 7-32 (2007) |
| 2006 |
|---|
| 84 | | Wei-Tek Tsai,
Chun Fan,
Yinong Chen,
Raymond A. Paul:
DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1.
Annual Simulation Symposium 2006: 160-167 |
| 83 | | Wei-Tek Tsai,
Bingnan Xiao,
Raymond A. Paul,
Qian Huang,
Yinong Chen:
Global Software Enterprise: A New Software Constructing Architecture.
CEC/EEE 2006: 55 |
| 82 | | Bingnan Xiao,
Wei-Tek Tsai,
Qian Huang,
Yinong Chen,
Raymond A. Paul:
SOA Collaboration Modeling, Analysis, and Simulation in PSML-C.
ICEBE 2006: 639-646 |
| 81 | | Raymond A. Paul:
Adaptive Service-Oriented Application Architecture and System Engineering.
ICTAI 2006 |
| 80 | | Wei-Tek Tsai,
Chun Fan,
Yinong Chen,
Raymond A. Paul,
Jen-Yao Chung:
Architecture Classification for SOA-Based Applications.
ISORC 2006: 295-302 |
| 79 | | Jia Zhou,
Kendra Cooper,
I-Ling Yen,
John Linn,
Raymond A. Paul:
A Software Enhancement System for Embedded Software Development.
ISORC 2006: 93-100 |
| 78 | | Wei Hao,
Tong Gao,
I-Ling Yen,
Yinong Chen,
Raymond A. Paul:
An Infrastructure for Web Services Migration for Real-Time Applications.
SOSE 2006: 41-48 |
| 77 | | Wei-Tek Tsai,
Yinong Chen,
Raymond A. Paul,
Xinyu Zhou,
Chun Fan:
Simulation Verification and Validation by Dynamic Policy Specification and Enforcement.
Simulation 82(5): 295-310 (2006) |
| 76 | | Wei-Tek Tsai,
Chun Fan,
Yinong Chen,
Raymond A. Paul:
A service-oriented modeling and simulation framework for rapid development of distributed applications.
Simulation Modelling Practice and Theory 14(6): 725-739 (2006) |
| 2005 |
|---|
| 75 | | Wei-Tek Tsai,
Xinxin Liu,
Yinong Chen,
Raymond A. Paul:
Simulation Verification and Validation by Dynamic Policy Enforcement.
Annual Simulation Symposium 2005: 91-98 |
| 74 | | 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: 101-106 |
| 73 | | Raymond A. Paul:
Tomorrow's Needs - Yesterday's Technology: DOD's Architectural Dilemma and Plan for Resolution.
HASE 2005: 9-12 |
| 72 | | Wei Li,
Jiang He,
Qingkai Ma,
I-Ling Yen,
Farokh B. Bastani,
Raymond A. Paul:
A Framework to Support Survivable Web Services.
IPDPS 2005 |
| 71 | | Dongfeng Wang,
Farokh B. Bastani,
I-Ling Yen,
Raymond A. Paul:
An Approach for Designing Highly Adaptable Process-Control Systems.
ISORC 2005: 106-113 |
| 70 | | Hai Huang,
Wei-Tek Tsai,
Raymond A. Paul:
Proof Slicing with Application to Model Checking Web Services.
ISORC 2005: 292-299 |
| 69 | | Hai Huang,
Wei-Tek Tsai,
Raymond A. Paul,
Yinong Chen:
Automated Model Checking and Testing for Composite Web Services.
ISORC 2005: 300-307 |
| 68 | | Jia Zhou,
Kendra Cooper,
I-Ling Yen,
Raymond A. Paul:
Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration.
ISORC 2005: 426-433 |
| 67 | | Jiancong Luo,
Ishfaq Ahmad,
Munib Ahmed,
Raymond A. Paul:
Parallel Multiple Sequence Alignment with Dynamic Scheduling.
ITCC (1) 2005: 8-13 |
| 66 | | Wei-Tek Tsai,
Dawei Zhang,
Raymond A. Paul,
Yinong Chen:
Stochastic Voting Algorithms for Web Services Group Testing.
QSIC 2005: 99-108 |
| 65 | | Wei-Tek Tsai,
Yinong Chen,
Raymond A. Paul:
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems.
WORDS 2005: 139-147 |
| 64 | | 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: 263-270 |
| 63 | | Raymond A. Paul:
DoD Towards Software Services.
WORDS 2005: 3-6 |
| 62 | | Wei-Tek Tsai,
Lian Yu,
Feng Zhu,
Raymond A. Paul:
Rapid Embedded System Testing Using Verification Patterns.
IEEE Software 22(4): 68-75 (2005) |
| 61 | | Wei-Tek Tsai,
Xiao Wei,
Yinong Chen,
Raymond A. Paul,
Bingnan Xiao:
Swiss Cheese Test Case Generation for Web Services Testing.
IEICE Transactions 88-D(12): 2691-2698 (2005) |
| 2004 |
|---|
| 60 | | Wei-Tek Tsai,
Yinong Chen,
Zhibin Cao,
Xiaoying Bai,
Hai Huang,
Raymond A. Paul:
Testing Web Services Using Progressive Group Testing.
AWCC 2004: 314-322 |
| 59 | | Wei-Tek Tsai,
Weiwei Song,
Raymond A. Paul,
Zhibin Cao,
Hai Huang:
Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing.
COMPSAC 2004: 554-559 |
| 58 | | 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: 170-173 |
| 57 | | San-Yih Hwang,
Haojun Wang,
Jaideep Srivastava,
Raymond A. Paul:
A Probabilistic QoS Model and Computation Framework for Web Services-Based Workflows.
ER 2004: 596-609 |
| 56 |  | 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: 144-149 |
| 2003 |
|---|
| 55 | | Wei-Tek Tsai,
Lian Yu,
Feng Zhu,
Raymond A. Paul:
Rapid Verification of Embedded Systems Using Patterns.
COMPSAC 2003: 466-471 |
| 54 | | 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: 374-402 |
| 53 | | Wei-Tek Tsai,
Feng Zhu,
Lian Yu,
Raymond A. Paul,
Chun Fan:
Verification Patterns for Rapid Embedded System Verification.
Embedded Systems and Applications 2003: 310-316 |
| 52 | | Sahra Sedigh-Ali,
Arif Ghafoor,
Raymond A. Paul:
Metrics and Models for Cost and Quality of Component-Based Software.
ISORC 2003: 149-155 |
| 51 | | Wei-Tek Tsai,
Akihiro Saimi,
Lian Yu,
Raymond A. Paul:
Scenario-based Object-Oriented Testing Framework.
QSIC 2003: 410- |
| 50 | | Raymond A. Paul:
Future of Computer Software Systems: Commodity or Service?
SERA 2003: 4 |
| 49 | | 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: 978-984 |
| 48 | | 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: 131-138 |
| 47 | | Waseem Sheikh,
Basit Shafiq,
Raymond A. Paul,
Arif Ghafoor:
Provision of Multimedia Services in a Mobile Ad Hoc Network.
WORDS Fall 2003: 87-93 |
| 2002 |
|---|
| 46 | | 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: 321-326 |
| 45 | | Sahra Sedigh-Ali,
Arif Ghafoor,
Raymond A. Paul:
Temporal Modeling of Software Test Coverage.
COMPSAC 2002: 823-828 |
| 44 | | Wei-Tek Tsai,
Raymond A. Paul,
Yamin Wang,
Chun Fan,
Dong Wang:
Extending WSDL to Facilitate Web Services Testing.
HASE 2002: 171-172 |
| 43 | | Wei-Tek Tsai,
Raymond A. Paul,
Weiwei Song,
Zhibin Cao:
Coyote: An XML-Based Framework for Web Services Testing.
HASE 2002: 173-176 |
| 42 | | Sahra Sedigh-Ali,
Arif Ghafoor,
Raymond A. Paul:
Metrics-Based Framework for Decision Making in COTS-Based Software Systems.
HASE 2002: 243-244 |
| 41 | | Raymond A. Paul,
Farokh B. Bastani,
Venkata U. B. Challagulla,
I-Ling Yen:
Software Measurement Data Analysis Using Memory-Based Reasoning.
ICTAI 2002: 261-267 |
| 40 | | M. Farrukh Khan,
Halima Ghafoor,
Raymond A. Paul:
QoS-Based Synchronization of Multimedia Document Streams.
ISMSE 2002: 320-327 |
| 39 | | 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: 386-393 |
| 38 | | S. Ohara,
F. Tsunoda,
H. Maezawa,
M. Hui,
Taehyung Wang,
Phillip C.-Y. Sheu,
Raymond A. Paul:
Object Testing in ITEE.
WORDS 2002: 245-252 |
| 37 | | Xiaoying Bai,
Wei-Tek Tsai,
Ke Feng,
Lian Yu,
Raymond A. Paul:
Scenario-Based Modeling And Its Applications.
WORDS 2002: 253-260 |
| 36 | | S. Ohara,
F. Tsunoda,
H. Maezawa,
Akira K. Onoma,
M. Hui,
Taehyung Wang,
Phillip C.-Y. Sheu,
Raymond A. Paul:
A Software Test and Evaluation Environment Based on Longitudinal Database.
International Journal of Software Engineering and Knowledge Engineering 12(3): 223-244 (2002) |
| 2001 |
|---|
| 35 | | Raymond A. Paul:
End-to-End Integration Testing.
APAQS 2001: 211-222 |
| 34 | | Wei-Tek Tsai,
Xiaoying Bai,
Raymond A. Paul,
Weiguang Shao,
Vishal Agarwal:
End-To-End Integration Testing Design.
COMPSAC 2001: 166-171 |
| 33 | | Raymond A. Paul:
End-to-End Integration Testing.
COMPSAC 2001: 286- |
| 32 | | Sahra Sedigh-Ali,
Arif Ghafoor,
Raymond A. Paul:
Metrics-Guided Quality Management for Component-Based Software Systems.
COMPSAC 2001: 303- |
| 31 | | Raymond A. Paul,
Lian Yu,
Wei-Tek Tsai,
Xiaoying Bai:
Scenario-Based Functional Regression Testing.
COMPSAC 2001: 496- |
| 30 | | Raymond A. Paul,
Venkata U. B. Challagulla,
Farokh B. Bastani,
I-Ling Yen:
A Memory-Based Reasoning Approach for Assessing Software Quality.
COMPSAC 2001: 97-103 |
| 29 | | Xiaoying Bai,
Wei-Tek Tsai,
Techeng Shen,
Bing Li,
Raymond A. Paul:
Distributed End-to-End Testing Management.
EDOC 2001: 140-151 |
| 28 | | Raymond A. Paul,
Wei-Tek Tsai,
Bing Li,
Xiaoying Bai:
XML-based E2E Test Report Management.
ER 2001: 607-608 |
| 27 | | K. H. Kim,
Raymond A. Paul:
The Distributed Time-Triggered Simulation Scheme Facilitated by TMO Programming.
ISORC 2001: 41- |
| 26 | | Sahra Sedigh-Ali,
Arif Ghafoor,
Raymond A. Paul:
Software Engineering Metrics for COTS-Based Systems.
IEEE Computer 34(5): 44-50 (2001) |
| 2000 |
|---|
| 25 | | Wei-Tek Tsai,
Xiaoying Bai,
Raymond A. Paul,
George Devaraj,
Vishal Agarwal:
An Approach to Modify and Test Expired Window Logic.
APAQS 2000: 99-110 |
| 24 | | Raymond A. Paul:
Distributed System Resource Management Infrastructure for Information Quality Assurance.
COMPSAC 2000: 271-273 |
| 23 | | Raymond A. Paul,
Farokh B. Bastani,
I-Ling Yen,
Venkata U. B. Challagulla:
Defect-Based Reliability Analysis for Mission-Critical Software.
COMPSAC 2000: 439-444 |
| 22 | | Raymond A. Paul:
Portfolio Management: A New Approach for Managing IT Assets.
COMPSAC 2000: 79- |
| 1999 |
|---|
| 21 | | Raymond A. Paul,
Ann T. Tai:
Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?
HASE 1999: 115 |
| 20 | | Wei-Tek Tsai,
Weiguang Shao,
Sanjai Rayadurgam,
Jinbao Li,
Raymond A. Paul:
Assurance-Based Y2K Testing.
HASE 1999: 27-37 |
| 19 | | Imran Bashir,
Raymond A. Paul:
Object-oriented integration testing.
Ann. Software Eng. 8: 187-202 (1999) |
| 18 | | Raymond A. Paul,
Jaideep Srivastava,
Duminda Wijesekera:
Test and evaluation of distributed information system networks.
Ann. Software Eng. 8: 289-311 (1999) |
| 17 | | M. Farrukh Khan,
Raymond A. Paul,
Ishfaq Ahmad,
Arif Ghafoor:
Intensive Data Management in Parallel Systems: A Survey.
Distributed and Parallel Databases 7(4): 383-414 (1999) |
| 16 | | Raymond A. Paul,
Tosiyasu L. Kunii,
Yoshihisa Shinagawa,
Muhammad F. Khan:
Software Metrics Knowledge and Databases for Project Management.
IEEE Trans. Knowl. Data Eng. 11(1): 255-264 (1999) |
| 1998 |
|---|
| 15 | | Shahab Baqai,
Raymond A. Paul,
Husni Fahmi,
Ahmed Bashandy,
Arif Ghafoor:
Real Time Resource Allocation for Multimedia Object Communication.
ISORC 1998: 308- |
| 14 | | I-Ling Yen,
Raymond A. Paul,
Kinji Mori:
Toward Integrated Methods for High-Assurance Systems (Guest Editors' Introduction).
IEEE Computer 31(4): 32-34 (1998) |
| 13 | | 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.
IEEE Computer 31(4): 35-45 (1998) |
| 12 | | Jeffrey J. P. Tsai,
A. Prasad Sistla,
Avinash Sahay,
Raymond A. Paul:
Incremental Verification of Architecture Specification Language for Real-Time Systems.
International Journal of Software Engineering and Knowledge Engineering 8(3): 347-360 (1998) |
| 1997 |
|---|
| 11 | | Raymond A. Paul,
Tosiyasu L. Kunii,
Yoshihisa Shinagawa,
Arif Ghafoor:
Object-Oriented Evolutionary Database Design for Software Metrics Data.
COMPSAC 1997: 32-37 |
| 10 | | Husni Fahmi,
Raymond A. Paul,
Ahmed Bashandy,
Arif Ghafoor:
Ensuring Quality of Service for Multimedia Applications in a LAN Environment.
HASE 1997: 202- |
| 1996 |
|---|
| 9 | | Raymond A. Paul,
Yoshihisa Shinagawa,
Young Francis Day,
M. Farrukh Khan,
Arif Ghafoor:
Object-Oriented Framework for Metrics Guided Risk Management.
COMPSAC 1996: 110- |
| 8 | | Raymond A. Paul,
C. L. Chee,
Tosiyasu L. Kunii,
Yoshihisa Shinagawa:
Data Models for Metrics-Based Project Management Systems.
COMPSAC 1996: 98-103 |
| 7 | | Raymond A. Paul,
M. Farrukh Khan,
Shahab Baqai,
Arif Ghafoor:
Ensuring quality in distributed multimedia systems.
HASE 1996: 60-67 |
| 6 | | Raymond A. Paul,
Azam Khan,
Arif Ghafoor,
Young Francis Day,
Yoshihisa Shinagawa:
A Visual Query Interface for Software Metrics Databases.
SEKE 1996: 317-322 |
| 1995 |
|---|
| 5 | | Tosiyasu L. Kunii,
Yoshihisa Shinagawa,
Raymond A. Paul,
M. F. Kahn,
Ashfaq A. Khokhar:
Issues in Storage and Retrieval of Multimedia Data.
Multimedia Syst. 3(5-6): 298-304 (1995) |
| 1994 |
|---|
| 4 | | Raymond A. Paul:
Metrics Based Classification Trees for Software Test Monitoring and Management.
ICTAI 1994: 534-540 |
| 1993 |
|---|
| 3 | | Raymond A. Paul:
Software Maturity Measurement for Software Risk Management.
SEKE 1993: 641-648 |
| 1992 |
|---|
| 2 | | Raymond A. Paul:
Metric-Based Neural Network Classification Tool for Analyzing Large-Scale Software.
ICTAI 1992: 108-113 |
| 1 | | Raymond A. Paul:
Readers' corner.
Journal of Systems and Software 17(1): 1-3 (1992) |
