2008 |
93 | EE | 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 |
92 | EE | 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 |
91 | EE | 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 |
90 | EE | 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 |
89 | EE | Miyoung Shin,
Sunida Ratanothayanon,
Amrit L. Goel,
Raymond A. Paul:
Parsimonious Classifiers for Software Quality Assessment.
HASE 2007: 411-412 |
88 | EE | 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 |
87 | EE | Raymond A. Paul:
Proposition for E-DoD: An Overall Plan for Network-Centric Operation.
QSIC 2007: 2 |
86 | EE | 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 |
85 | EE | 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) |
84 | EE | 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) |
2006 |
83 | EE | Wei-Tek Tsai,
Chun Fan,
Yinong Chen,
Raymond A. Paul:
DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1.
Annual Simulation Symposium 2006: 160-167 |
82 | EE | Wei-Tek Tsai,
Bingnan Xiao,
Raymond A. Paul,
Qian Huang,
Yinong Chen:
Global Software Enterprise: A New Software Constructing Architecture.
CEC/EEE 2006: 55 |
81 | EE | 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 |
80 | EE | Raymond A. Paul:
Adaptive Service-Oriented Application Architecture and System Engineering.
ICTAI 2006 |
79 | EE | Wei-Tek Tsai,
Chun Fan,
Yinong Chen,
Raymond A. Paul,
Jen-Yao Chung:
Architecture Classification for SOA-Based Applications.
ISORC 2006: 295-302 |
78 | EE | Jia Zhou,
Kendra Cooper,
I-Ling Yen,
John Linn,
Raymond A. Paul:
A Software Enhancement System for Embedded Software Development.
ISORC 2006: 93-100 |
77 | EE | 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 |
76 | EE | 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 | EE | 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 | EE | 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 | EE | Raymond A. Paul:
Tomorrow's Needs - Yesterday's Technology: DOD's Architectural Dilemma and Plan for Resolution.
HASE 2005: 9-12 |
72 | EE | 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 | EE | 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 | EE | Hai Huang,
Wei-Tek Tsai,
Raymond A. Paul:
Proof Slicing with Application to Model Checking Web Services.
ISORC 2005: 292-299 |
69 | EE | Hai Huang,
Wei-Tek Tsai,
Raymond A. Paul,
Yinong Chen:
Automated Model Checking and Testing for Composite Web Services.
ISORC 2005: 300-307 |
68 | EE | 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 | EE | Jiancong Luo,
Ishfaq Ahmad,
Munib Ahmed,
Raymond A. Paul:
Parallel Multiple Sequence Alignment with Dynamic Scheduling.
ITCC (1) 2005: 8-13 |
66 | EE | Wei-Tek Tsai,
Dawei Zhang,
Raymond A. Paul,
Yinong Chen:
Stochastic Voting Algorithms for Web Services Group Testing.
QSIC 2005: 99-108 |
65 | EE | 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 | EE | 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 | EE | Raymond A. Paul:
DoD Towards Software Services.
WORDS 2005: 3-6 |
62 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Wei-Tek Tsai,
Lian Yu,
Feng Zhu,
Raymond A. Paul:
Rapid Verification of Embedded Systems Using Patterns.
COMPSAC 2003: 466-471 |
54 | EE | 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 | EE | Sahra Sedigh-Ali,
Arif Ghafoor,
Raymond A. Paul:
Metrics and Models for Cost and Quality of Component-Based Software.
ISORC 2003: 149-155 |
51 | EE | Wei-Tek Tsai,
Akihiro Saimi,
Lian Yu,
Raymond A. Paul:
Scenario-based Object-Oriented Testing Framework.
QSIC 2003: 410- |
50 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Sahra Sedigh-Ali,
Arif Ghafoor,
Raymond A. Paul:
Temporal Modeling of Software Test Coverage.
COMPSAC 2002: 823-828 |
44 | EE | Wei-Tek Tsai,
Raymond A. Paul,
Yamin Wang,
Chun Fan,
Dong Wang:
Extending WSDL to Facilitate Web Services Testing.
HASE 2002: 171-172 |
43 | EE | Wei-Tek Tsai,
Raymond A. Paul,
Weiwei Song,
Zhibin Cao:
Coyote: An XML-Based Framework for Web Services Testing.
HASE 2002: 173-176 |
42 | EE | Sahra Sedigh-Ali,
Arif Ghafoor,
Raymond A. Paul:
Metrics-Based Framework for Decision Making in COTS-Based Software Systems.
HASE 2002: 243-244 |
41 | EE | 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 | EE | M. Farrukh Khan,
Halima Ghafoor,
Raymond A. Paul:
QoS-Based Synchronization of Multimedia Document Streams.
ISMSE 2002: 320-327 |
39 | EE | 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 | EE | 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 | EE | Xiaoying Bai,
Wei-Tek Tsai,
Ke Feng,
Lian Yu,
Raymond A. Paul:
Scenario-Based Modeling And Its Applications.
WORDS 2002: 253-260 |
36 | EE | 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 | EE | Raymond A. Paul:
End-to-End Integration Testing.
APAQS 2001: 211-222 |
34 | EE | Wei-Tek Tsai,
Xiaoying Bai,
Raymond A. Paul,
Weiguang Shao,
Vishal Agarwal:
End-To-End Integration Testing Design.
COMPSAC 2001: 166-171 |
33 | EE | Raymond A. Paul:
End-to-End Integration Testing.
COMPSAC 2001: 286- |
32 | EE | Sahra Sedigh-Ali,
Arif Ghafoor,
Raymond A. Paul:
Metrics-Guided Quality Management for Component-Based Software Systems.
COMPSAC 2001: 303- |
31 | EE | Raymond A. Paul,
Lian Yu,
Wei-Tek Tsai,
Xiaoying Bai:
Scenario-Based Functional Regression Testing.
COMPSAC 2001: 496- |
30 | EE | 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 | EE | Xiaoying Bai,
Wei-Tek Tsai,
Techeng Shen,
Bing Li,
Raymond A. Paul:
Distributed End-to-End Testing Management.
EDOC 2001: 140-151 |
28 | EE | Raymond A. Paul,
Wei-Tek Tsai,
Bing Li,
Xiaoying Bai:
XML-based E2E Test Report Management.
ER 2001: 607-608 |
27 | EE | K. H. Kim,
Raymond A. Paul:
The Distributed Time-Triggered Simulation Scheme Facilitated by TMO Programming.
ISORC 2001: 41- |
26 | EE | Sahra Sedigh-Ali,
Arif Ghafoor,
Raymond A. Paul:
Software Engineering Metrics for COTS-Based Systems.
IEEE Computer 34(5): 44-50 (2001) |
2000 |
25 | EE | 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 | EE | Raymond A. Paul:
Distributed System Resource Management Infrastructure for Information Quality Assurance.
COMPSAC 2000: 271-273 |
23 | EE | 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 | EE | Raymond A. Paul:
Portfolio Management: A New Approach for Managing IT Assets.
COMPSAC 2000: 79- |
1999 |
21 | EE | Raymond A. Paul,
Ann T. Tai:
Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?
HASE 1999: 115 |
20 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Raymond A. Paul,
Tosiyasu L. Kunii,
Yoshihisa Shinagawa,
Arif Ghafoor:
Object-Oriented Evolutionary Database Design for Software Metrics Data.
COMPSAC 1997: 32-37 |
10 | EE | 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 | EE | 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 | EE | Raymond A. Paul,
C. L. Chee,
Tosiyasu L. Kunii,
Yoshihisa Shinagawa:
Data Models for Metrics-Based Project Management Systems.
COMPSAC 1996: 98-103 |
7 | EE | 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 | EE | Raymond A. Paul:
Readers' corner.
Journal of Systems and Software 17(1): 1-3 (1992) |