Wei-Tek Tsai

Sensors, February, 2024

2023

Crowdtesting Practices and Models: An Empirical Approach.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2023

Delay Optimization for Consensus Communication in Blockchain-Based End-Edge-Cloud Network.

[BibT_eX]

[DOI]

Proceedings of the Advanced Parallel Processing Technologies, 2023

2022

Delay Analysis of Consensus Communication for Blockchain-Based Applications Using Network Calculus.

[BibT_eX]

[DOI]

Shengcheng Ma

Shuai Wang

IEEE Wirel. Commun. Lett., 2022

Asynchronous Federated Learning System Based on Permissioned Blockchains.

[BibT_eX]

[DOI]

Rong Wang

Sensors, 2022

Blockchain-enabled fraud discovery through abnormal smart contract detection on Ethereum.

[BibT_eX]

[DOI]

Lin Liu

Md. Zakirul Alam Bhuiyan

Hao Peng

Mingsheng Liu

Future Gener. Comput. Syst., 2022

Adaptive Byzantine Fault-Tolerant ConsensusProtocol.

[BibT_eX]

[DOI]

Proceedings of the Smart Computing and Communication - 7th International Conference, 2022

Blockchains with Five Merkle Trees to Support Financial Transactions.

[BibT_eX]

[DOI]

Proceedings of the Smart Computing and Communication - 7th International Conference, 2022

A Multi-level Corporate Wallet with Governance.

[BibT_eX]

[DOI]

Proceedings of the Smart Computing and Communication - 7th International Conference, 2022

A New Digital-Currency Model Based on Certificates.

[BibT_eX]

[DOI]

Proceedings of the Smart Computing and Communication - 7th International Conference, 2022

A New Blockchain Design Decoupling Consensus Mechanisms from Transaction Management.

[BibT_eX]

[DOI]

Proceedings of the Smart Computing and Communication - 7th International Conference, 2022

Smart-Contract Vulnerability Detection Method Based on Deep Learning.

[BibT_eX]

[DOI]

Zimu Hu

Li Zhang

Proceedings of the Smart Computing and Communication - 7th International Conference, 2022

2021

Erratum.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2021

Verification algebra for multi-tenant applications in VaaS architecture.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2021

Cover Image.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2021

Element Re-identification in Crowdtesting.

[BibT_eX]

[DOI]

Li Zhang

Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021

From Crowdsourced Software Development to Crowdtesting.

[BibT_eX]

[DOI]

Li Zhang

Shufeng Hu

Proceedings of the ICCSE '21: 5th International Conference on Crowd Science and Engineering, Jinan, China, October 16, 2021

2020

Automatic blockchain whitepapers analysis via heterogeneous graph neural network.

[BibT_eX]

[DOI]

Lin Liu

Md. Zakirul Alam Bhuiyan

Dong Yang

J. Parallel Distributed Comput., 2020

STRISA: A New Regulation Architecture to Enforce Travel Rule.

[BibT_eX]

[DOI]

Proceedings of the Silicon Valley Cybersecurity Conference - First Conference, 2020

COMPASS: A Data-Driven Blockchain Evaluation Framwework.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Service Oriented Systems Engineering, 2020

Decentralized Digital-Asset Exchanges: Issues and Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Smart BlockChain, 2020

2019

Smart Contract-Based Negotiation for Adaptive QoS-Aware Service Composition.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2019

State synchronization in process-oriented chaincode.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2019

System architecture for high-performance permissioned blockchains.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2019

Invited Paper: Beagle: A New Framework for Smart Contracts Taking Account of Law.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Service-Oriented System Engineering, 2019

Invited Paper: Blockchain Design - A PFMI Viewpoint.

[BibT_eX]

[DOI]

Xiaofang Jiang

Proceedings of the 13th IEEE International Conference on Service-Oriented System Engineering, 2019

A Video Surveillance System Based on Permissioned Blockchains and Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019

2018

Test Case Generation for Boolean Expressions by Cell Covering.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Test-Algebra-Based Fault Location Analysis for the Concurrent Combinatorial Testing.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2018

A Distributed Digital Asset-Trading Platform Based on Permissioned Blockchains.

[BibT_eX]

[DOI]

Proceedings of the Smart Blockchain - First International Conference, 2018

Lessons Learned from Developing Permissioned Blockchains.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Application of Blockchain to Trade Clearing.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

An Architecture for SaaS-Oriented VV&A.

[BibT_eX]

[DOI]

Ke Fang

Ming Yang

Proceedings of the 10th International Conference on Computer Modeling and Simulation, 2018

A Medical Data Sharing Platform Based On Permissioned Blockchains.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on Blockchain Technology and Application, 2018

A Multi-Chain Model for CBDC.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest.

[BibT_eX]

[DOI]

Pengcheng Peng

Chenqi Mou

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

Combinatorial Testing in Cloud Computing

[BibT_eX]

[DOI]

Springer Briefs in Computer Science, Springer, ISBN: 978-981-10-4480-9, 2017

A cloud-based triage log analysis and recovery framework.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2017

Personalized gesture interactions for cyber-physical smart-home environments.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2017

Smart-Contract Execution with Concurrent Block Building.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017

Modeling Context-aware Legal Computing with Bigraphs.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017

Intellectual-Property Blockchain-Based Protection Model for Microfilms.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017

Design Issues in Permissioned Blockchains for Trusted Computing.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017

2016

Testing Context-Aware Applications Based on Bigraphical Modeling.

[BibT_eX]

[DOI]

Gian Perrone

IEEE Trans. Reliab., 2016

Integrated fault detection and test algebra for combinatorial testing in TaaS (Testing-as-a-Service).

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2016

Multi-tenant Verification-as-a-Service (VaaS) in a cloud.

[BibT_eX]

[DOI]

Kai Hu

Lei Lei

Simul. Model. Pract. Theory, 2016

Autonomous Decentralized Authorization and Authentication Management for Hierarchical Multi-Tenancy.

[BibT_eX]

[DOI]

Qiong Zuo

Meiyi Xie

IEICE Trans. Commun., 2016

Tenant-centric Sub-Tenancy Architecture in Software-as-a-Service.

[BibT_eX]

[DOI]

Peide Zhong

CAAI Trans. Intell. Technol., 2016

LTBD: A Triage Framework.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

A System View of Financial Blockchains.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Software Crowdsourcing Practices and Research Directions.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Welcome to the Ninth International Workshop on Requirements Engineering and Law (RELAW).

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Interactive Incontestable Signature for Transactions Confirmation in Bitcoin Blockchain.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Fault-Diagnosis for Reciprocating Compressors Using Big Data.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Big Data Computing Service and Applications, 2016

2015

Simulation of real-time systems with clock calculus.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2015

Exploring AADL verification tool through model transformation.

[BibT_eX]

[DOI]

J. Syst. Archit., 2015

A Collaborative Approach for Minimal-Cost Monitor Deployment in Cloud Environment.

[BibT_eX]

[DOI]

Yuan-Hsin Tung

Shian-Shyong Tseng

Int. J. Softw. Eng. Knowl. Eng., 2015

Integrated Adaptive Reasoning Testing Framework with Automated Fault Detection.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

An Evaluation Framework for Extreme Learning Process (XLP).

[BibT_eX]

[DOI]

Kubatbek Alimbekov

Benjamin Hsueh-Yung Koo

Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

Autonomous Decentralized Tenant Access Control Model for Sub-tenancy Architecture in Software-as-a-Service (SaaS).

[BibT_eX]

[DOI]

Qiong Zuo

Meiyi Xie

Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015

Autonomous Decentralized Combinatorial Testing.

[BibT_eX]

[DOI]

Kai Hu

Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015

Web-Based Performance Monitor for Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015

Multi-factor web API security for securing Mobile Cloud.

[BibT_eX]

[DOI]

Longji Tang

Liubo Ouyang

Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

Message from the IWSC 2015 Workshop Organizers.

[BibT_eX]

[DOI]

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

Cloud-Based Virtual Laboratory for Network Security Education.

[BibT_eX]

[DOI]

Le Xu

IEEE Trans. Educ., 2014

Dependence-Guided Service Composition for User-Centric SOA.

[BibT_eX]

[DOI]

IEEE Syst. J., 2014

Corrigendum to "A novel approach to collaborative testing in a crowdsourcing environment" in the Journal of Systems and Software 86 (2013) 2143-2153.

[BibT_eX]

[DOI]

Yuan-Hsin Tung

Shian-Shyong Tseng

J. Syst. Softw., 2014

Cloud-Based Software Crowdsourcing.

[BibT_eX]

[DOI]

Wenjun Wu

Michael N. Huhns

IEEE Internet Comput., 2014

Mobile Application Testing: A Tutorial.

[BibT_eX]

[DOI]

Computer, 2014

Software-as-a-service (SaaS): perspectives and challenges.

[BibT_eX]

[DOI]

Yu Huang

Sci. China Inf. Sci., 2014

Generating Test Cases for Context-Aware Applications Using Bigraphs.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

TaaS (Testing-as-a-Service) Design for Combinatorial Testing.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

HLA-Based SaaS-Oriented Simulation Frameworks.

[BibT_eX]

[DOI]

Wei Xiong

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Multi-tenancy and Sub-tenancy Architecture in Software-as-a-Service (SaaS).

[BibT_eX]

[DOI]

Peide Zhong

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

A Cloud-Based Platform for Crowdsourcing and Self-Organizing Learning.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Concurrent Test Algebra Execution with Combinatorial Testing.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Understanding Requirements Driven Architecture Evolution in Social Networking SaaS: An Industrial Case Study.

[BibT_eX]

[DOI]

Dong Sun

Rong Peng

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Test-Algebra Execution in a Cloud Environment.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Success factors in mobile social networking application development: case study of instagram.

[BibT_eX]

[DOI]

Rong Peng

Dong Sun

Proceedings of the Symposium on Applied Computing, 2014

Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory.

[BibT_eX]

[DOI]

Thomas T. Hildebrandt

Xiao Qun Guo

Proceedings of the 2nd IEEE International Conference on Mobile Cloud Computing, 2014

Mobile Testing-as-a-Service (MTaaS) - Infrastructures, Issues, Solutions and Needs.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

Ontology patterns for service-oriented software development.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2013

Simulation of power consumption of cloud data centers.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2013

Scalable SaaS Indexing Algorithms with Automated Redundancy and Recovery Management.

[BibT_eX]

[DOI]

Zhiqin Zhu

Int. J. Softw. Informatics, 2013

Creative software crowdsourcing: from components and algorithm development to project concept formations.

[BibT_eX]

[DOI]

Wenjun Wu

Wei Li

Int. J. Creative Comput., 2013

An evaluation framework for software crowdsourcing.

[BibT_eX]

[DOI]

Wenjun Wu

Wei Li

Frontiers Comput. Sci., 2013

Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362).

[BibT_eX]

[DOI]

Michael N. Huhns

Wei Li

Dagstuhl Reports, 2013

Secure Web Referral Services for Mobile Cloud Computing.

[BibT_eX]

[DOI]

Le Xu

Li Li

Vijayakrishnan Nagarajan

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

SaaS Multi-tenant Application Customization.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Mobile Cloud Computing Research - Issues, Challenges and Needs.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

SaaS Testing on Clouds - Issues, Challenges and Needs.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Testing as a Service (TaaS) on Clouds.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Choosing cost-effective configuration in cloud storage.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

Test algebra for combinatorial testing.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

Vee@Cloud: The virtual test lab on the cloud.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

Adaptive Fault Detection for Testing Tenant Applications in Multi-tenancy SaaS Systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Cloud Engineering, 2013

Energy Saving in Mobile Cloud Computing.

[BibT_eX]

[DOI]

Mazedur Rahman

Jerry Gao

Proceedings of the 2013 IEEE International Conference on Cloud Engineering, 2013

2012

Service-oriented smart home applications: composition, code generation, deployment, and execution.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2012

V-Lab: A Mobile, Cloud-Based Virtual Laboratory Platform for Hands-On Networking Courses.

[BibT_eX]

[DOI]

Int. J. Cyber Behav. Psychol. Learn., 2012

V-lab: a cloud-based virtual laboratory platform for hands-on networking courses.

[BibT_eX]

[DOI]

Le Xu

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Scalable Architectures for SaaS.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

A Cost-Effective Intelligent Configuration Model in Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012

Model-driven tenant development for PaaS-based SaaS.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

A cloud-based TaaS infrastructure with tools for SaaS validation, performance and scalability evaluation.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

Integrating HLA and Service-Oriented Architecture in a Simulation Framework.

[BibT_eX]

[DOI]

Monica Dragoicea

Laurentiu Bucur

Hessam S. Sarjoughian

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

Gesture Profile for Web Services: An Event-Driven Architecture to Support Gestural Interfaces for Smart Environments.

[BibT_eX]

[DOI]

Radu-Daniel Vatavu

Catalin-Marian Chera

Proceedings of the Ambient Intelligence - Third International Joint Conference, 2012

Gesture ontology for informing Service-oriented Architecture.

[BibT_eX]

[DOI]

Catalin-Marian Chera

Radu-Daniel Vatavu

Proceedings of the 2012 IEEE International Symposium on Intelligent Control, 2012

DICB: Dynamic Intelligent Customizable Benign Pricing Strategy for Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

Introduction to Programming Languages - Programming in C, C++, Scheme, Prolog, C#, and SOA (3. ed.).

[BibT_eX]

[DOI]

Kendall / Hunt Publ., ISBN: 978-1-4652-0559-9, 2012

2011

Collaborative Learning Using Wiki Web Sites for Computer Science Undergraduate Education: A Case Study.

[BibT_eX]

[DOI]

IEEE Trans. Educ., 2011

Policy Management for Secure Data Access Control in Vehicular Networks.

[BibT_eX]

[DOI]

Yi-hsin Tseng

J. Netw. Syst. Manag., 2011

A design of policy-based composite web services QoS monitoring system.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2011

P4-simsaas: policy specification for Multi-Tendency simulation software-as-a-service model.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference 2011, 2011

SimSaaS: simulation software-as-a-service.

[BibT_eX]

[DOI]

Hessam S. Sarjoughian

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

SaaS performance and scalability evaluation in clouds.

[BibT_eX]

[DOI]

Jerry Gao

Pushkala Pattabhiraman

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Service-orientation in computing curriculum.

[BibT_eX]

[DOI]

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Cloud testing tools.

[BibT_eX]

[DOI]

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Services utility prediction on a cloud.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

EasySaaS: A SaaS development framework.

[BibT_eX]

[DOI]

Yu Huang

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Testing the scalability of SaaS applications.

[BibT_eX]

[DOI]

Yu Huang

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Service Replication Strategies with MapReduce in Clouds.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

An Approach for Service Composition and Testing for Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Role-Based Access-Control Using Reference Ontology in Clouds.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Service-Oriented Computing and Web Software Integration - From Principles to Development (3. ed., rev. pr.).

[BibT_eX]

Kendall / Hunt Publ., ISBN: 978-1-4652-2561-0, 2011

2010

Modeling enterprise service-oriented architectural styles.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2010

Data Partitioning and Redundancy Management for Robust Multi-Tenancy SaaS.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2010

Event-driven service-oriented simulation framework.

[BibT_eX]

[DOI]

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Testing as a Service over Cloud.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Flexible-Matching Data-Comparison Tool with the Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

A Classification of Enterprise Service-Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

OIC: Ontology-based intelligent customization framework for SaaS.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2010

Real-Time Service-Oriented Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 6th World Congress on Services, 2010

Ontology-Based Dependency-Guided Service Composition for User-Centric SOA.

[BibT_eX]

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Service-Oriented Cloud Computing Architecture.

[BibT_eX]

[DOI]

Janaka Balasooriya

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Towards a scalable and robust multi-tenancy SaaS.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Prioritizing Service Requests on Cloud with Multi-tenancy.

[BibT_eX]

[DOI]

Jay Elston

Proceedings of the IEEE 7th International Conference on e-Business Engineering, 2010

Two-Tier Multi-tenancy Scaling and Load Balancing.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th International Conference on e-Business Engineering, 2010

Time-Constrained Test Selection for Regression Testing.

[BibT_eX]

[DOI]

Lei Xu

Proceedings of the Advanced Data Mining and Applications - 6th International Conference, 2010

Predicting Defect Priority Based on Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advanced Data Mining and Applications - 6th International Conference, 2010

2009

Towards dependable service-orientated computing systems.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2009

Internetware Computing: Issues and Perspective.

[BibT_eX]

[DOI]

Zhi Jin

Int. J. Softw. Informatics, 2009

Ontology-Based Service Composition Framework for Syndicating Building Intelligence.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing, 2009

Timing specification and analysis for service-oriented simulation.

[BibT_eX]

[DOI]

Hessam S. Sarjoughian

Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

Role-based trust model for community of interest.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

A code generation and execution environment for service-oriented smart home solutions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Model-Based Monitoring and Policy Enforcement of Services.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

An Adaptive Management Framework for Service Brokers in Service-oriented Architecture.

[BibT_eX]

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Towards Selecting Test Data Using Topological Structure of Boolean Expressions.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quality Software, 2009

Ontology-Based Smart Home Solution and Service Composition.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software and Systems, 2009

Dependency-Guided Service Composition for User-Centric SOA.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Conference on e-Business Engineering, 2009

Design of a Contract-Based Web Services QoS Management System.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009

Ontology-based Information Sharing in Service-Oriented Database Systems.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008

An ontology-based collaborative service-oriented simulation framework with Microsoft Robotics Studio<sup>®</sup>.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2008

An Introductory Course on Service-Oriented Computing for High Schools.

[BibT_eX]

[DOI]

J. Inf. Technol. Educ., 2008

A policy enforcement framework for verification and control of service collaboration.

[BibT_eX]

[DOI]

Xinyu Zhou

Xiao Wei

Inf. Syst. E Bus. Manag., 2008

On Testing and Evaluating Service-Oriented Software.

[BibT_eX]

[DOI]

Computer, 2008

Composing Highly Reliable Service-Oriented Applications Adaptively.

[BibT_eX]

[DOI]

Jay Elston

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

An Ontology-Based Integrated Assessment Framework for High-Assurance Systems.

[BibT_eX]

[DOI]

Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), 2008

Teaching Service-Oriented Computing and STEM Topics via Robotic Games.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Ontology-Based Test Modeling and Partition Testing of Web Services.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Service-Oriented User Interface Modeling and Composition.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008

Developing a Security Robot in Service-Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

Dynamic Assessment and Customizable e-Learning Content Generator.

[BibT_eX]

Madhu Datla

Jingjing Xu

Proceedings of the 2008 International Conference on E-Learning, 2008

Collaborative Web Services Monitoring with Active Service Broker.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

SOA Simulation and Verification by Event-Driven Policy Enforcement.

[BibT_eX]

[DOI]

Xinyu Zhou

Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008

A Collaborative Service-Oriented Simulation Framework with Microsoft Robotic Studio®.

[BibT_eX]

[DOI]

Qian Huang

Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008

2007

Service-oriented system engineering (SOSE) and its applications to embedded system development.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2007

Data provenance in SOA: security, reliability, and integrity.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2007

Modeling and Simulation in Service-Oriented Software Development.

[BibT_eX]

[DOI]

Simul., 2007

Dynamic Architectures for SOA-Based Applications.

[BibT_eX]

[DOI]

Trans. SDPS, 2007

Building trustworthy applications on a Service-Oriented Computing paradigm.

[BibT_eX]

[DOI]

Int. J. Simul. Process. Model., 2007

Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

Service Oriented Computing: Technology Trends and Research Directions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

A New SOA Data-Provenance Framework.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

Collaboration Policy Generation in Dynamic Collaborative SOA.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

Roadmap to a Full Service Broker in Service-Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of ICEBE 2007, 2007

Requirement Engineering in Service-Oriented System Engineering.

[BibT_eX]

[DOI]

Proceedings of ICEBE 2007, 2007

Designing a Service-Oriented Computing Course for High Schools.

[BibT_eX]

[DOI]

Venkata U. B. Challagulla

Proceedings of ICEBE 2007, 2007

A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Process Specification and Modeling Language for Service-Oriented Software Development.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

A Machine Learning-Based Reliability Assessment Model for Critical Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

A Framework for Contract-Based Collaborative Verification and Validation of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007

2006

Simulation Verification and Validation by Dynamic Policy Specification and Enforcement.

[BibT_eX]

[DOI]

Simul., 2006

A service-oriented modeling and simulation framework for rapid development of distributed applications.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2006

Binary analysis and automated hot patching for Web-based applications.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2006

Collaborative software design in an SOA environment.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2006

Global Software Enterprise: A New Software Constructing Architecture.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, 2006

Perspectives on Service-Oriented Computing and Service-Oriented System Engineering.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

RTSOA: Real-Time Service-Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

Consumer-centric service-oriented architecture: a new approach.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and the Second International Workshop on Collaborative Computing, 2006

A multi-agent based framework for collaborative testing on Web services.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and the Second International Workshop on Collaborative Computing, 2006

Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Architecture Classification for SOA-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

SOA Collaboration Modeling, Analysis, and Simulation in PSML-C.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

UCSOA: User-Centric Service-Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

Testability of Software in Service-Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

2005

Rapid Embedded System Testing Using Verification Patterns.

[BibT_eX]

[DOI]

IEEE Softw., 2005

Scheduling Simulation in a Distributed Wireless Embedded System.

[BibT_eX]

[DOI]

Simul., 2005

Ontology and Service Oriented Programming.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2005

Swiss Cheese Test Case Generation for Web Services Testing.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2005

Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems.

[BibT_eX]

[DOI]

Raymond A. Paul

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Towards Self-Healing Systems via Dependable Architecture and.

[BibT_eX]

[DOI]

Hong Mei

Gang Huang

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Progressive Ranking and Composition of Web Services Using Covering Arrays.

[BibT_eX]

[DOI]

Charles J. Colbourn

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

A robust testing framework for verifying Web services by completeness and consistency analysis.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Web service group testing with windowing mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Service-oriented system engineering: a new paradigm.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Toward QoS analysis of adaptive service-oriented architecture.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

WSDL-based automatic test case generation for Web services testing.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Stochastic Voting Algorithms for Web Services Group Testing.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Dynamic System Reconfiguration Via Service Composition for Dependable Computing.

[BibT_eX]

[DOI]

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Automated Model Checking and Testing for Composite Web Services.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Proof Slicing with Application to Model Checking Web Services.

[BibT_eX]

[DOI]

Raymond A. Paul

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Developing and assuring trustworthy Web services.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

Web services-based collaborative and cooperative computing.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

Distributed Policy Specification and Enforcement in Service-Oriented Business Systems.

[BibT_eX]

[DOI]

Xinxin Liu

Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Autonomous Hot Patching for Web-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Simulation Verification and Validation by Dynamic Policy Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 2005

2004

Building e-commerce systems using semantic application framework.

[BibT_eX]

[DOI]

Liang-Jie Zhang

Int. J. Web Eng. Technol., 2004

A software reliability model for web services.

[BibT_eX]

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Cooperative and Group Testing in Verification of Dynamic Composite Web Services.

[BibT_eX]

[DOI]

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Testing Web Services Using Progressive Group Testing.

[BibT_eX]

[DOI]

Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

2003

Verification of Web Services Using an Enhanced UDDI Server.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Scenario-Based System Generation for Process Control.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Scenario-based Object-Oriented Testing Framework.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Scenario-based test case generation for state-based embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Performance Computing and Communications Conference, 2003

A Semantic Framework for Distributed Applications.

[BibT_eX]

Liang-Jie Zhang

Proceedings of the ICEIS 2003, 2003

Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems.

[BibT_eX]

[DOI]

Akihiro Saimi

Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

Verification Patterns for Rapid Embedded System Verification.

[BibT_eX]

Proceedings of the International Conference on Embedded Systems and Applications, 2003

Rapid Verification of Embedded Systems Using Patterns.

[BibT_eX]

[DOI]

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002

Scenario-Based Modeling And Its Applications.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

OCL Goes Real-Time (Panel).

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

3 Tier Transparent Web Application Developing Approach.

[BibT_eX]

Proceedings of the International Conference on Internet Computing, 2002

Extending WSDL to Facilitate Web Services Testing.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Coyote: An XML-Based Framework for Web Services Testing.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Hypothesis Testing for Module Test in Software Development.

[BibT_eX]

[DOI]

Tsuneo Yamaura

Akira K. Onoma

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Combining Hierarchical Filtering, Fuzzy Logic, and Simulation with Software Agents for IP (Intellectual Property) Selection in Electronic Design.

[BibT_eX]

[DOI]

Jian Liu

Eugene Shragowitz

Int. J. Artif. Intell. Tools, 2001

XML-based E2E Test Report Management.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2001

Distributed End-to-End Testing Management.

[BibT_eX]

[DOI]

Proceedings of the 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 2001

End-To-End Integration Testing Design.

[BibT_eX]

[DOI]

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

End-to-End Integration Testing.

[BibT_eX]

[DOI]

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Scenario-Based Functional Regression Testing.

[BibT_eX]

[DOI]

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000

The five-module framework for Internet application development.

[BibT_eX]

[DOI]

Ezra Ebner

Weiguang Shao

ACM Comput. Surv., 2000

An Approach to Modify and Test Expired Window Logic.

[BibT_eX]

[DOI]

Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999

Verification and Validation of Knowledge-Based Systems.

[BibT_eX]

[DOI]

Du Zhang

IEEE Trans. Knowl. Data Eng., 1999

VSAM conversion for COBOL programs.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1999

Assurance-Based Y2K Testing.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

Specifying Constraints with Message Sequence Specifications.

[BibT_eX]

[DOI]

Yongzhong Tu

Yang Xiang

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

Business rule extraction techniques for COBOL programs.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1998

Sequence Specification for Concurrent Object-Oriented Applications.

[BibT_eX]

[DOI]

Yamin Wang

Int. J. Softw. Eng. Knowl. Eng., 1998

Key Applications for High-Assurance Systems.

[BibT_eX]

[DOI]

Computer, 1998

Regression Testing in an Industrial Environment.

[BibT_eX]

[DOI]

Commun. ACM, 1998

Re-Engineering Legacy Cobol Programs.

[BibT_eX]

[DOI]

Jay K. Joiner

Commun. ACM, 1998

Automating Regression Testing for Real-Time Software in a Distributed Environment.

[BibT_eX]

[DOI]

Feng Zhu

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

An agent architecture for supporting individualized services in Internet applications.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998

Design for Constraint Violation Detection in Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

Framework-Oriented Analysis.

[BibT_eX]

[DOI]

Feng Zhu

Proceedings of the COMPSAC '98, 1998

Static identifying of synchronization faults in dynamic-multithreaded applications.

[BibT_eX]

Proceedings of the Computers and Their Applications (CATA-98), 1998

1997

Interview with Takashi Sano.

[BibT_eX]

[DOI]

Takashi Sano

J. Softw. Maintenance Res. Pract., 1997

A Framework for Developing Web-Based Educational Applications: Using a Relational Database to Connect the Design of Authoring and Navigational Tools.

[BibT_eX]

Proceedings of WebNet 97, 1997

ScmEngine: A Distributed Software Management Environment on X.500.

[BibT_eX]

[DOI]

James X. Ci

Mustafa H. Poonawala

Proceedings of the System Configuration Management, 1997

Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment.

[BibT_eX]

[DOI]

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

Application of data-centered approach to Year 2000 problem.

[BibT_eX]

[DOI]

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Trends in software technology.

[BibT_eX]

[DOI]

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Software Engineering Practices and Tools for Real-Time Systems (Part II): Guest Editor's Introduction.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1996

Software Engineering Practices and Tools for Real-Time Systems (Part I): Guest Editor's Introduction.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1996

An Object-Based Environment (Opusdei) for Software Development and Maintenance.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 1996

Advances in Software Engineering.

[BibT_eX]

[DOI]

C. V. Ramamoorthy

Computer, 1996

Transition To Object-Oriented Software Development.

[BibT_eX]

[DOI]

Mohamed E. Fayad

Milton L. Fulghum

Commun. ACM, 1996

The Role of Program Slicing in Ripple Effect Analysis.

[BibT_eX]

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Generalized Program Slicing for Software Maintenance.

[BibT_eX]

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Omega - an integrated environment for C++ program maintenance.

[BibT_eX]

[DOI]

Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996

Specifying timing constraints in real-time object-oriented systems.

[BibT_eX]

[DOI]

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Flow analysis for concurrent, reactive, real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

A multiversion transaction scheduler for centralized multilevel secure database systems.

[BibT_eX]

[DOI]

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Opusdei-Integrated Environment for Software Development and Maintenance.

[BibT_eX]

[DOI]

Proceedings of the COMPSAC '96, 1996

Business Rule Extraction from Legacy Code.

[BibT_eX]

[DOI]

Proceedings of the COMPSAC '96, 1996

Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application].

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE Symposium on Computer-Based Medical Systems (CBMS '96), 1996

Fault mitigation in safety-critical software systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE Symposium on Computer-Based Medical Systems (CBMS '96), 1996

1995

Software maintenance - an industrial experience.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1995

Quadtree Layouts and I/O Bandwidth.

[BibT_eX]

[DOI]

Parallel Process. Lett., 1995

Covert Channel Secure Hypercube Message Communication.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1995

Object-Oriented Experiences: Introduction to the Special Section.

[BibT_eX]

[DOI]

Mohamed E. Fayad

Commun. ACM, 1995

AURA-CFG/E: An Object-Oriented approach for Acquisition and Decomposition of DFDs from End users.

[BibT_eX]

O. A. Al-Saadoon

H. El-bedour

Proceedings of the SEKE'95, 1995

A Framework for Designing Safe Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

Processor preallocation and load balancing of DOALL loops.

[BibT_eX]

[DOI]

J. Supercomput., 1994

Retrofitting Software Safety in an Implantable Medical Device.

[BibT_eX]

[DOI]

IEEE Softw., 1994

Adapting an Object-Oriented Development Method.

[BibT_eX]

[DOI]

IEEE Softw., 1994

Object-oriented real-time systems analysis and design issues.

[BibT_eX]

[DOI]

Mohamed Fayad

Milton L. Fulghum

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1994

Fault-Tolerant Multicasting on Hypercubes.

[BibT_eX]

[DOI]

Albert C. Liang

J. Parallel Distributed Comput., 1994

Multicasting in Generalized Multistage Interconnection Networks.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1994

Hierarchical Data Flow Analysis for O-O Programs.

[BibT_eX]

J. Object Oriented Program., 1994

Method Sequence Specification and Verification of Classes.

[BibT_eX]

J. Object Oriented Program., 1994

Recursive Binary Tree Layout Mixing.

[BibT_eX]

[DOI]

Inf. Sci., 1994

Evaluation of Expert System Testing Methods.

[BibT_eX]

[DOI]

Commun. ACM, 1994

System bounding issues for analysis.

[BibT_eX]

[DOI]

José M. Drake

Proceedings of the First IEEE International Conference on Requirements Engineering, 1994

A process for software requirements safety analysis.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

Lookahead Processor Allocation in Mesh-Connected Massively Parallel Multicomputer.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Parallel Processing, 1994

Data-Centered Program Understanding.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Maintenance, 1994

Automatic variable classification for COBOL programs.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

A process for developing safe software.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'94), 1994

Samea: Object-Oriented Software Maintenance Environment for assembly Programs.

[BibT_eX]

[DOI]

S. Chen

X. P. Chen

Proceedings of the Impact of Case Technology on Software Processes, 1994

1993

Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems.

[BibT_eX]

[DOI]

Yigang Chen

Daniel Y. Chao

IEEE Trans. Parallel Distributed Syst., 1993

Database Concurrency Control in Multilevel Secure Database Management Systems.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1993

Distributed, Collaborative Software Inspection.

[BibT_eX]

[DOI]

IEEE Softw., 1993

Object-oriented real-time system analysis and design issues.

[BibT_eX]

[DOI]

Mohamed Fayad

Milton L. Fulghum

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1993

A reverse engineering model for C programs.

[BibT_eX]

[DOI]

K. G. Heisler

Y. Kasho

Inf. Sci., 1993

Database requirements for a software engineering environment: criteria and empirical evaluation.

[BibT_eX]

[DOI]

S. Chen

Janet M. Drake

Inf. Softw. Technol., 1993

Object-Oriented Analysis: Criteria and Case Study.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1993

A Transaction Model for Parallel Production Systems Part II: Model and Evaluation.

[BibT_eX]

[DOI]

Jau-Hwang Wang

Int. J. Artif. Intell. Tools, 1993

Pragmatic Testing Methods for Expert Systems.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 1993

A Transaction Model for Parallel Rule Execution Part I: Model and Algorithms.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 1993

Guest Editor's Introduction.

[BibT_eX]

[DOI]

IEEE Expert, 1993

A Framework for Systematic Testing of Software Specifications.

[BibT_eX]

Proceedings of the SEKE'93, 1993

Load Balancing of DOALL Loops in the Perfect Club.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Parallel Processing Symposium, 1993

Quality of Heuristic Programs (Panel).

[BibT_eX]

Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

Approach and Case Study of Requirement Analysis Where End Users Take an Active Role.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Software Engineering, 1993

Object prototyping: Concept and specification language.

[BibT_eX]

[DOI]

Horng-Juing Lee

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992

Rollback Recovery in Distributed Systems Using Loosely Synchronized Clocks.

[BibT_eX]

[DOI]

Zhijun Tong

Richard Y. Kain

IEEE Trans. Parallel Distributed Syst., 1992

An Experimental Study of Fault Detection In User Requirements Documents.

[BibT_eX]

[DOI]

G. Michael Schneider

Johnny Martin

ACM Trans. Softw. Eng. Methodol., 1992

Simulation and theoretical results on cluster management and directory management in dynamic hierarchical networks.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 1992

On the reconfigurability of embedded loops on hypercubes and its application.

[BibT_eX]

[DOI]

Inf. Sci., 1992

Object-Oriented Analysis as Design: a Case Study.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1992

Samea: Object-Oriented Software Maintenance Environment for Assembly Programs.

[BibT_eX]

[DOI]

S. Chen

Xiaoping Chen

Int. J. Softw. Eng. Knowl. Eng., 1992

Hardware-In-the-Loop (HIL) Simulation: An Application of Colbert's Object-Oriented Software Development Method.

[BibT_eX]

[DOI]

Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

Knowledge Acquisition and Process Acquisition.

[BibT_eX]

Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992

Comparative Evaluation of Expert System Testing Methods.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992

Array Covering: A Technique4 for Enabling Lloop Parallelization.

[BibT_eX]

Proceedings of the 1992 International Conference on Parallel Processing, 1992

Quadtree interconnection network layout.

[BibT_eX]

[DOI]

Proceedings of the Second Great Lakes Symposium on VLSI, 1992

Testing expert systems using conventional techniques.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

Effective neural algorithms for the traveling salesman problem.

[BibT_eX]

[DOI]

Neural Networks, 1991

Distributed fault-tolerant routing on hypercubes algorithms and performance study.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

AI in multimedia (panel session).

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

Inverted Memory.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1991

Area efficient binary tree layout.

[BibT_eX]

[DOI]

Proceedings of the First Great Lakes Symposium on VLSI, 1991

Uni-directional cube-connected cycles.

[BibT_eX]

[DOI]

Yoon-Hwa Choi

Proceedings of the First Great Lakes Symposium on VLSI, 1991

I/O bound binary tree layout.

[BibT_eX]

[DOI]

Yoon-Hwa Choi

Proceedings of the First Great Lakes Symposium on VLSI, 1991

Conditional transactions: a model of computation for active databases.

[BibT_eX]

[DOI]

Kuo-Wei Hwang

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

Automated Test Case Generation for Programs Specified by Relational Algebra Queries.

[BibT_eX]

[DOI]

Dmitry Volovik

IEEE Trans. Software Eng., 1990

The Evolution Support Environment System.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

A model for assembly program maintenance.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1990

Constructing associative memories using neural networks.

[BibT_eX]

[DOI]

Neural Networks, 1990

N-Fold Inspection: A Requirements Analysis Technique.

[BibT_eX]

[DOI]

Johnny Martin

Commun. ACM, 1990

Multi-failure fault-tolerance of embedded loops on hypercubes: issues and performance study.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

Multiversion Concurrency Control for Multilevel Secure Database Systems.

[BibT_eX]

[DOI]

Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990

What Software Engineering Can Learn From Practitioners.

[BibT_eX]

Dmitry Volovik

Proceedings of the SEKE'90, 1990

Towards a Unified Framework for Testing Expert Systems.

[BibT_eX]

Proceedings of the SEKE'90, 1990

Software representation to support change.

[BibT_eX]

[DOI]

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

Production Scheduling in Database Production Systems.

[BibT_eX]

Proceedings of the First International Conference on Systems Integration, 1990

Performance Evaluation of Distributed Real Time Scheduling Algorithms.

[BibT_eX]

P. M. Perry Leung

Proceedings of the First International Conference on Systems Integration, 1990

A Synthesis Approach to Developing Large Petri Nets.

[BibT_eX]

Yigang Chen

Proceedings of the 1990 International Conference on Parallel Processing, 1990

Multilevel Secure Database Concurrency Control.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Data Engineering, 1990

1989

Recovery Point Selection on a Reverse Binary Tree Task Model.

[BibT_eX]

[DOI]

Shyh-Kwei Chen

IEEE Trans. Software Eng., 1989

An Adaptive Hierarchical Routing Protocol.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1989

Secure Query-Processing Strategies.

[BibT_eX]

[DOI]

Computer, 1989

Prototyping to explore MLS/DBMS design.

[BibT_eX]

[DOI]

D. J. Thomsen

Comput. Secur., 1989

SODA: A secure object-oriented database system.

[BibT_eX]

[DOI]

Comput. Secur., 1989

A Low Overhead Checkpointing and Rollback Recovery Scheme for Distributed Systems.

[BibT_eX]

[DOI]

Zhijun Tong

Richard Y. Kain

Proceedings of the Eigthth Symposium on Reliable Distributed Systems, 1989

Towards a framework for normative software engineering research.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

A parallel architecture for large scale production systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

Embedding of Linear Array and Binary Tree in Cubical Ring Connected Cycles Networks.

[BibT_eX]

Yigang Chen

Proceedings of the International Conference on Parallel Processing, 1989

Prototyping the SODA Model.

[BibT_eX]

Proceedings of the Database Security, 1989

An object-oriented maintenance-oriented model for software.

[BibT_eX]

[DOI]

K. G. Heisler

P. A. Powell

Proceedings of the Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage, 1989

Multi-party conflict: the problem and its solutions.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Computer Security Applications Conference, 1989

Security model consistency in secure object-oriented systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Computer Security Applications Conference, 1989

1988

A generalized neural network model.

[BibT_eX]

[DOI]

N. K. Huang

Neural Networks, 1988

Information capacity of McCulloch Pitts' model.

[BibT_eX]

[DOI]

N. K. Huang

Neural Networks, 1988

A case study of solving optimization problems using neural networks.

[BibT_eX]

[DOI]

Neural Networks, 1988

Panel: Object-Oriented Knowledge-Based Software Maintenance.

[BibT_eX]

Proceedings of the Conference on Object-Oriented Programming Systems, 1988

Loops and Multi-Dimensional Grids on Hypercubes Mapping and Reconfiguration Algorithms.

[BibT_eX]

Shyh-Kwei Chen

Proceedings of the International Conference on Parallel Processing, 1988

Are knowledge representations the answer to requirement analysis?

[BibT_eX]

[DOI]

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

An efficient multi-dimensional grids reconfiguration algorithm on hypercube.

[BibT_eX]

[DOI]

Shyh-Kwei Chen

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

Prototyping as a Research Tool for MLS/DBMS.

[BibT_eX]

D. J. Thomsen

Proceedings of the Database Security, 1988

Extensions on performance evaluation techniques for concurrent systems.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Expert systems for software engineering?

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Object-oriented paradigm and software engineering.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Expert systems and software engineering.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Automatic test case generation from relational algebra queries.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Synthesis rules for cyclic interactions among processes in concurrent systems.

[BibT_eX]

[DOI]

C. V. Ramamoorthy

Yuh Yaw

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Asynchronous recovery protocols for distributed systems.

[BibT_eX]

[DOI]

Kuo-Wei Hwang

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1986

Expert Systems and Software Enginnering: Ready for Marriage?

[BibT_eX]

[DOI]

Dmitry Volovik

IEEE Expert, 1986

A Distributed Clustering Algorithm for Large Computer Networks.

[BibT_eX]

C. V. Ramamoorthy