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) |