dblp.uni-trier.dewww.uni-trier.de

Raymond A. Paul Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
97EEPhillip 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
96EERaymond 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
95EEJing Dong, Raymond A. Paul, Liang-Jie Zhang: High-Assurance Service-Oriented Architectures. IEEE Computer 41(8): 27-28 (2008)
94EEVenkata 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
93EEVenkata 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
92EEWei-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
91EEMiyoung Shin, Sunida Ratanothayanon, Amrit L. Goel, Raymond A. Paul: Parsimonious Classifiers for Software Quality Assessment. HASE 2007: 411-412
90EEWei-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
89EERaymond A. Paul: Proposition for E-DoD: An Overall Plan for Network-Centric Operation. QSIC 2007: 2
88EEWei-Tek Tsai, Qian Huang, Jingjing Xu, Yinong Chen, Raymond A. Paul: Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture. SOCA 2007: 39-46
87EEWei-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)
86EEWei-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)
85EEWei-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
84EEWei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul: DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1. Annual Simulation Symposium 2006: 160-167
83EEWei-Tek Tsai, Bingnan Xiao, Raymond A. Paul, Qian Huang, Yinong Chen: Global Software Enterprise: A New Software Constructing Architecture. CEC/EEE 2006: 55
82EEBingnan Xiao, Wei-Tek Tsai, Qian Huang, Yinong Chen, Raymond A. Paul: SOA Collaboration Modeling, Analysis, and Simulation in PSML-C. ICEBE 2006: 639-646
81EERaymond A. Paul: Adaptive Service-Oriented Application Architecture and System Engineering. ICTAI 2006
80EEWei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul, Jen-Yao Chung: Architecture Classification for SOA-Based Applications. ISORC 2006: 295-302
79EEJia Zhou, Kendra Cooper, I-Ling Yen, John Linn, Raymond A. Paul: A Software Enhancement System for Embedded Software Development. ISORC 2006: 93-100
78EEWei 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
77EEWei-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)
76EEWei-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
75EEWei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul: Simulation Verification and Validation by Dynamic Policy Enforcement. Annual Simulation Symposium 2005: 91-98
74EEWei-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
73EERaymond A. Paul: Tomorrow's Needs - Yesterday's Technology: DOD's Architectural Dilemma and Plan for Resolution. HASE 2005: 9-12
72EEWei Li, Jiang He, Qingkai Ma, I-Ling Yen, Farokh B. Bastani, Raymond A. Paul: A Framework to Support Survivable Web Services. IPDPS 2005
71EEDongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: An Approach for Designing Highly Adaptable Process-Control Systems. ISORC 2005: 106-113
70EEHai Huang, Wei-Tek Tsai, Raymond A. Paul: Proof Slicing with Application to Model Checking Web Services. ISORC 2005: 292-299
69EEHai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen: Automated Model Checking and Testing for Composite Web Services. ISORC 2005: 300-307
68EEJia Zhou, Kendra Cooper, I-Ling Yen, Raymond A. Paul: Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration. ISORC 2005: 426-433
67EEJiancong Luo, Ishfaq Ahmad, Munib Ahmed, Raymond A. Paul: Parallel Multiple Sequence Alignment with Dynamic Scheduling. ITCC (1) 2005: 8-13
66EEWei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong Chen: Stochastic Voting Algorithms for Web Services Group Testing. QSIC 2005: 99-108
65EEWei-Tek Tsai, Yinong Chen, Raymond A. Paul: Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. WORDS 2005: 139-147
64EEVenkata 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
63EERaymond A. Paul: DoD Towards Software Services. WORDS 2005: 3-6
62EEWei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul: Rapid Embedded System Testing Using Verification Patterns. IEEE Software 22(4): 68-75 (2005)
61EEWei-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
60EEWei-Tek Tsai, Yinong Chen, Zhibin Cao, Xiaoying Bai, Hai Huang, Raymond A. Paul: Testing Web Services Using Progressive Group Testing. AWCC 2004: 314-322
59EEWei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin Cao, Hai Huang: Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. COMPSAC 2004: 554-559
58EEWei-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
57EESan-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
55EEWei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul: Rapid Verification of Embedded Systems Using Patterns. COMPSAC 2003: 466-471
54EESahra 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
52EESahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul: Metrics and Models for Cost and Quality of Component-Based Software. ISORC 2003: 149-155
51EEWei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul: Scenario-based Object-Oriented Testing Framework. QSIC 2003: 410-
50EERaymond 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
48EEWei-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
47EEWaseem Sheikh, Basit Shafiq, Raymond A. Paul, Arif Ghafoor: Provision of Multimedia Services in a Mobile Ad Hoc Network. WORDS Fall 2003: 87-93
2002
46EEWei-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
45EESahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul: Temporal Modeling of Software Test Coverage. COMPSAC 2002: 823-828
44EEWei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang: Extending WSDL to Facilitate Web Services Testing. HASE 2002: 171-172
43EEWei-Tek Tsai, Raymond A. Paul, Weiwei Song, Zhibin Cao: Coyote: An XML-Based Framework for Web Services Testing. HASE 2002: 173-176
42EESahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul: Metrics-Based Framework for Decision Making in COTS-Based Software Systems. HASE 2002: 243-244
41EERaymond A. Paul, Farokh B. Bastani, Venkata U. B. Challagulla, I-Ling Yen: Software Measurement Data Analysis Using Memory-Based Reasoning. ICTAI 2002: 261-267
40EEM. Farrukh Khan, Halima Ghafoor, Raymond A. Paul: QoS-Based Synchronization of Multimedia Document Streams. ISMSE 2002: 320-327
39EEHusni 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
38EES. Ohara, F. Tsunoda, H. Maezawa, M. Hui, Taehyung Wang, Phillip C.-Y. Sheu, Raymond A. Paul: Object Testing in ITEE. WORDS 2002: 245-252
37EEXiaoying Bai, Wei-Tek Tsai, Ke Feng, Lian Yu, Raymond A. Paul: Scenario-Based Modeling And Its Applications. WORDS 2002: 253-260
36EES. 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
35EERaymond A. Paul: End-to-End Integration Testing. APAQS 2001: 211-222
34EEWei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, Weiguang Shao, Vishal Agarwal: End-To-End Integration Testing Design. COMPSAC 2001: 166-171
33EERaymond A. Paul: End-to-End Integration Testing. COMPSAC 2001: 286-
32EESahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul: Metrics-Guided Quality Management for Component-Based Software Systems. COMPSAC 2001: 303-
31EERaymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying Bai: Scenario-Based Functional Regression Testing. COMPSAC 2001: 496-
30EERaymond 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
29EEXiaoying Bai, Wei-Tek Tsai, Techeng Shen, Bing Li, Raymond A. Paul: Distributed End-to-End Testing Management. EDOC 2001: 140-151
28EERaymond A. Paul, Wei-Tek Tsai, Bing Li, Xiaoying Bai: XML-based E2E Test Report Management. ER 2001: 607-608
27EEK. H. Kim, Raymond A. Paul: The Distributed Time-Triggered Simulation Scheme Facilitated by TMO Programming. ISORC 2001: 41-
26EESahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul: Software Engineering Metrics for COTS-Based Systems. IEEE Computer 34(5): 44-50 (2001)
2000
25EEWei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, George Devaraj, Vishal Agarwal: An Approach to Modify and Test Expired Window Logic. APAQS 2000: 99-110
24EERaymond A. Paul: Distributed System Resource Management Infrastructure for Information Quality Assurance. COMPSAC 2000: 271-273
23EERaymond A. Paul, Farokh B. Bastani, I-Ling Yen, Venkata U. B. Challagulla: Defect-Based Reliability Analysis for Mission-Critical Software. COMPSAC 2000: 439-444
22EERaymond A. Paul: Portfolio Management: A New Approach for Managing IT Assets. COMPSAC 2000: 79-
1999
21EERaymond A. Paul, Ann T. Tai: Building High-Assurance Systems Using COTS Components: Whether, Why, When and How? HASE 1999: 115
20EEWei-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)
17EEM. 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)
16EERaymond 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
15EEShahab 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)
12EEJeffrey 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
11EERaymond A. Paul, Tosiyasu L. Kunii, Yoshihisa Shinagawa, Arif Ghafoor: Object-Oriented Evolutionary Database Design for Software Metrics Data. COMPSAC 1997: 32-37
10EEHusni Fahmi, Raymond A. Paul, Ahmed Bashandy, Arif Ghafoor: Ensuring Quality of Service for Multimedia Applications in a LAN Environment. HASE 1997: 202-
1996
9EERaymond A. Paul, Yoshihisa Shinagawa, Young Francis Day, M. Farrukh Khan, Arif Ghafoor: Object-Oriented Framework for Metrics Guided Risk Management. COMPSAC 1996: 110-
8EERaymond A. Paul, C. L. Chee, Tosiyasu L. Kunii, Yoshihisa Shinagawa: Data Models for Metrics-Based Project Management Systems. COMPSAC 1996: 98-103
7EERaymond 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
1EERaymond A. Paul: Readers' corner. Journal of Systems and Software 17(1): 1-3 (1992)

Coauthor Index

1Vishal Agarwal [25] [34]
2Ishfaq Ahmad [17] [67]
3Munib Ahmed [67]
4Leon Alkalai [13]
5Xiaoying Bai [25] [28] [29] [31] [34] [37] [60] [92]
6Shahab Baqai [7] [15]
7Ahmed Bashandy [10] [15]
8Imran Bashir [19]
9Farokh B. Bastani [23] [30] [41] [64] [71] [72] [93] [94] [96]
10Zhibin Cao [43] [48] [49] [59] [60] [85]
11Venkata U. B. Challagulla [23] [30] [41] [64] [93] [94]
12C. L. Chee [8]
13Yinong Chen [56] [58] [60] [61] [65] [66] [69] [74] [75] [76] [77] [78] [80] [82] [83] [84] [86] [87] [88] [90] [92] [93]
14William Chu [90]
15Jen-Yao Chung [80] [86] [87]
16Kendra Cooper [68] [79]
17John M. Covan [13]
18Larry J. Dalton [13]
19Young Francis Day [6] [9]
20George Devaraj [25]
21Jing Dong [95] [96]
22Husni Fahmi [10] [15] [39]
23Chun Fan [44] [53] [76] [77] [80] [84]
24Ke Feng [37]
25Barry Flahive [13]
26Tong Gao [78]
27Arif Ghafoor [6] [7] [9] [10] [11] [15] [17] [26] [32] [39] [42] [45] [47] [52] [54] [96]
28Halima Ghafoor [40]
29Amrit L. Goel [91]
30Ke Hao [97]
31Wei Hao [78]
32Rick Harper [13]
33Jiang He [72]
34Hai Huang [56] [58] [59] [60] [69] [70] [74]
35Qian Huang [82] [83] [85] [87] [88]
36M. Hui [36] [38]
37San-Yih Hwang [57]
38M. F. Kahn [5]
39Krishna Kavi [96]
40Azam Khan [6]
41M. Farrukh Khan [7] [9] [17] [40]
42Muhammad F. Khan [16]
43Ashfaq A. Khokhar [5]
44K. H. (Kane) Kim (K. H. Kim, Kane Kim) [27]
45Tosiyasu L. Kunii [5] [8] [11] [16]
46Mudassir Latif [39]
47Bing Li [28] [29]
48Jinbao Li [20]
49Wei Li [72]
50Ning Liao [56] [58]
51John Linn [79]
52Xinxin Liu [75]
53Michael R. Lowry [13]
54F. Lu [46]
55Jiancong Luo [67]
56Qingkai Ma [72]
57H. Maezawa [36] [38]
58Ramin Mojdehbakhsh [13]
59Kinji Mori [13] [14]
60Yinghui Na [46]
61S. Ohara [36] [38]
62Akira K. Onoma [36]
63Sunida Ratanothayanon [91]
64Sanjai Rayadurgam [13] [20]
65Avinash Sahay [12]
66Akihiro Saimi [46] [48] [49] [51]
67Sahra Sedigh (Sahra Sedigh-Ali) [26] [32] [42] [45] [52] [54]
68Basit Shafiq [39] [47]
69Weiguang Shao [20] [34]
70Waseem Sheikh [47]
71Techeng Shen [29]
72Phillip C.-Y. Sheu (Phillip Chen-Yu Sheu) [36] [38] [97]
73Miyoung Shin [91]
74Yoshihisa Shinagawa [5] [6] [8] [9] [11] [16]
75A. Prasad Sistla [12]
76Weiwei Song [43] [49] [59]
77Jaideep Srivastava [18] [57] [96]
78Xin Sun [85]
79Ann T. Tai [13] [21]
80Jeffrey J. P. Tsai [12]
81Wei-Tek Tsai [13] [20] [25] [28] [29] [31] [34] [37] [43] [44] [46] [48] [49] [51] [53] [55] [56] [58] [59] [60] [61] [62] [65] [66] [69] [70] [74] [75] [76] [77] [80] [82] [83] [84] [85] [86] [87] [88] [90] [92] [93] [96]
82F. Tsunoda [36] [38]
83Dong Wang [44]
84Dongfeng Wang [71]
85Haojun Wang [57]
86Qi Wang [97]
87Shu Wang [97]
88Taehyung Wang [36] [38]
89Yamin Wang [44]
90Xiao Wei [61] [74] [85] [86] [87]
91Duminda Wijesekera [18]
92Victor L. Winter [13]
93Bingnan Xiao [48] [61] [82] [83] [90]
94Jingjing Xu [88]
95I-Ling Yen [13] [14] [23] [30] [41] [64] [68] [71] [72] [78] [79] [94] [96]
96Lian Yu [31] [37] [48] [49] [51] [53] [55] [62]
97Dawei Zhang [56] [66] [86]
98Liang-Jie Zhang [95]
99Jia Zhou [68] [79]
100Xinyu Zhou [74] [77] [90] [92]
101Feng Zhu [53] [55] [62]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)