Wei-Tek Tsai
Orcid: 0000-0002-4049-3706Affiliations:
- Beihang University, State Key Laboratory of Software Development Environment, Beijing, China
- Arizona State University, School of Computing, Informatics, and Decision Systems Engineering, Tempe, AZ, USA
- University of Minnesota, Department of Computer Science, Minneapolis, MN, USA
According to our database1,
Wei-Tek Tsai
authored at least 395 papers
between 1982 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
On csauthors.net:
Bibliography
2024
SmartDED: A Blockchain- and Smart Contract-Based Digital Electronic Detonator Safety Supervision System.
Future Internet, May, 2024
Sensors, February, 2024
Adaptive attention fusion network for cross-device GUI element re-identification in crowdsourced testing.
Neurocomputing, 2024
Proceedings of the 2024 5th International Conference on Computing, 2024
2023
Delay Optimization for Consensus Communication in Blockchain-Based End-Edge-Cloud Network.
Proceedings of the Advanced Parallel Processing Technologies, 2023
2022
Delay Analysis of Consensus Communication for Blockchain-Based Applications Using Network Calculus.
IEEE Wirel. Commun. Lett., 2022
Sensors, 2022
Blockchain-enabled fraud discovery through abnormal smart contract detection on Ethereum.
Future Gener. Comput. Syst., 2022
Proceedings of the Smart Computing and Communication - 7th International Conference, 2022
Proceedings of the Smart Computing and Communication - 7th International Conference, 2022
Proceedings of the Smart Computing and Communication - 7th International Conference, 2022
Proceedings of the Smart Computing and Communication - 7th International Conference, 2022
Proceedings of the Smart Computing and Communication - 7th International Conference, 2022
Proceedings of the Smart Computing and Communication - 7th International Conference, 2022
2021
Softw. Test. Verification Reliab., 2021
Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021
Proceedings of the ICCSE '21: 5th International Conference on Crowd Science and Engineering, Jinan, China, October 16, 2021
2020
J. Parallel Distributed Comput., 2020
Proceedings of the Silicon Valley Cybersecurity Conference - First Conference, 2020
Proceedings of the 14th IEEE International Conference on Service Oriented Systems Engineering, 2020
Proceedings of the 3rd International Conference on Smart BlockChain, 2020
2019
IEEE Trans. Parallel Distributed Syst., 2019
Frontiers Comput. Sci., 2019
Proceedings of the 13th IEEE International Conference on Service-Oriented System Engineering, 2019
Proceedings of the 13th IEEE International Conference on Service-Oriented System Engineering, 2019
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019
2018
IEEE Trans. Software Eng., 2018
IEEE Trans. Reliab., 2018
Proceedings of the Smart Blockchain - First International Conference, 2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Proceedings of the 10th International Conference on Computer Modeling and Simulation, 2018
Proceedings of the 2018 International Conference on Blockchain Technology and Application, 2018
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.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
2017
Springer Briefs in Computer Science, Springer, ISBN: 978-981-10-4480-9, 2017
Simul. Model. Pract. Theory, 2017
Sci. China Inf. Sci., 2017
Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017
Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017
Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017
Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017
2016
IEEE Trans. Reliab., 2016
Integrated fault detection and test algebra for combinatorial testing in TaaS (Testing-as-a-Service).
Simul. Model. Pract. Theory, 2016
Simul. Model. Pract. Theory, 2016
Autonomous Decentralized Authorization and Authentication Management for Hierarchical Multi-Tenancy.
IEICE Trans. Commun., 2016
CAAI Trans. Intell. Technol., 2016
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016
Welcome to the Ninth International Workshop on Requirements Engineering and Law (RELAW).
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
Interactive Incontestable Signature for Transactions Confirmation in Bitcoin Blockchain.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
Proceedings of the Second IEEE International Conference on Big Data Computing Service and Applications, 2016
2015
Simul. Model. Pract. Theory, 2015
J. Syst. Archit., 2015
Int. J. Softw. Eng. Knowl. Eng., 2015
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015
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).
Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015
Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015
Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015
2014
IEEE Trans. Educ., 2014
Corrigendum to "A novel approach to collaborative testing in a crowdsourcing environment" in the Journal of Systems and Software 86 (2013) 2143-2153.
J. Syst. Softw., 2014
Sci. China Inf. Sci., 2014
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014
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.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014
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.
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the 2nd IEEE International Conference on Mobile Cloud Computing, 2014
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
2013
Softw. Pract. Exp., 2013
Simul. Model. Pract. Theory, 2013
Int. J. Softw. Informatics, 2013
Creative software crowdsourcing: from components and algorithm development to project concept formations.
Int. J. Creative Comput., 2013
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013
Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013
Proceedings of the 8th International Workshop on Automation of Software Test, 2013
Proceedings of the 8th International Workshop on Automation of Software Test, 2013
Adaptive Fault Detection for Testing Tenant Applications in Multi-tenancy SaaS Systems.
Proceedings of the 2013 IEEE International Conference on Cloud Engineering, 2013
Proceedings of the 2013 IEEE International Conference on Cloud Engineering, 2013
2012
Service-oriented smart home applications: composition, code generation, deployment, and execution.
Serv. Oriented Comput. Appl., 2012
V-Lab: A Mobile, Cloud-Based Virtual Laboratory Platform for Hands-On Networking Courses.
Int. J. Cyber Behav. Psychol. Learn., 2012
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012
Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012
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.
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012
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.
Proceedings of the Ambient Intelligence - Third International Joint Conference, 2012
Proceedings of the 2012 IEEE International Symposium on Intelligent Control, 2012
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.).
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.
IEEE Trans. Educ., 2011
J. Netw. Syst. Manag., 2011
Int. J. Crit. Comput. Based Syst., 2011
P4-simsaas: policy specification for Multi-Tendency simulation software-as-a-service model.
Proceedings of the Winter Simulation Conference 2011, 2011
Proceedings of the 2011 Spring Simulation Multi-conference, 2011
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011
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.).
Kendall / Hunt Publ., ISBN: 978-1-4652-2561-0, 2011
2010
Serv. Oriented Comput. Appl., 2010
Int. J. Softw. Informatics, 2010
Proceedings of the 2010 Spring Simulation Multiconference, 2010
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2010
Proceedings of the 6th World Congress on Services, 2010
Ontology-Based Dependency-Guided Service Composition for User-Centric SOA.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010
Proceedings of the IEEE 7th International Conference on e-Business Engineering, 2010
Proceedings of the IEEE 7th International Conference on e-Business Engineering, 2010
Proceedings of the Advanced Data Mining and Applications - 6th International Conference, 2010
Proceedings of the Advanced Data Mining and Applications - 6th International Conference, 2010
2009
Simul. Model. Pract. Theory, 2009
Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing, 2009
Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009
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.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009
An Adaptive Management Framework for Service Brokers in Service-oriented Architecture.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009
Proceedings of the Ninth International Conference on Quality Software, 2009
Proceedings of the International Conference on Embedded Software and Systems, 2009
Proceedings of the 2009 IEEE International Conference on e-Business Engineering, 2009
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009
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>.
Simul. Model. Pract. Theory, 2008
J. Inf. Technol. Educ., 2008
A policy enforcement framework for verification and control of service collaboration.
Inf. Syst. E Bus. Manag., 2008
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008
Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), 2008
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008
Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008
Dynamic Assessment and Customizable e-Learning Content Generator.
Proceedings of the 2008 International Conference on E-Learning, 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008
A Collaborative Service-Oriented Simulation Framework with Microsoft Robotic Studio®.
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.
Serv. Oriented Comput. Appl., 2007
Serv. Oriented Comput. Appl., 2007
Int. J. Simul. Process. Model., 2007
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007
Proceedings of ICEBE 2007, 2007
Proceedings of ICEBE 2007, 2007
Proceedings of ICEBE 2007, 2007
A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.
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.
Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
A Framework for Contract-Based Collaborative Verification and Validation of Web Services.
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007
Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007
2006
Simulation Verification and Validation by Dynamic Policy Specification and Enforcement.
Simul., 2006
A service-oriented modeling and simulation framework for rapid development of distributed applications.
Simul. Model. Pract. Theory, 2006
Inf. Softw. Technol., 2006
Sci. China Ser. F Inf. Sci., 2006
Proceedings of the Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, 2006
Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006
Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006
Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and the Second International Workshop on Collaborative Computing, 2006
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.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006
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.
Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006
Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006
Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006
2005
IEICE Trans. Inf. Syst., 2005
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005
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.
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005
Distributed Policy Specification and Enforcement in Service-Oriented Business Systems.
Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005
Proceedings of the Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 2005
2004
Int. J. Web Eng. Technol., 2004
A software reliability model for web services.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004
Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004
2003
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003
Scenario-Based System Generation for Process Control.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003
Proceedings of the 22nd IEEE International Performance Computing and Communications Conference, 2003
A Semantic Framework for Distributed Applications.
Proceedings of the ICEIS 2003, 2003
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003
Verification Patterns for Rapid Embedded System Verification.
Proceedings of the International Conference on Embedded Systems and Applications, 2003
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003
2002
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002
3 Tier Transparent Web Application Developing Approach.
Proceedings of the International Conference on Internet Computing, 2002
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems.
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.
Int. J. Artif. Intell. Tools, 2001
Proceedings of the 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
2000
ACM Comput. Surv., 2000
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000
1999
IEEE Trans. Knowl. Data Eng., 1999
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.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
1998
J. Softw. Maintenance Res. Pract., 1998
Int. J. Softw. Eng. Knowl. Eng., 1998
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.
Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998
Static identifying of synchronization faults in dynamic-multithreaded applications.
Proceedings of the Computers and Their Applications (CATA-98), 1998
1997
A Framework for Developing Web-Based Educational Applications: Using a Relational Database to Connect the Design of Authoring and Navigational Tools.
Proceedings of WebNet 97, 1997
Proceedings of the System Configuration Management, 1997
Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
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.
Int. J. Softw. Eng. Knowl. Eng., 1996
Software Engineering Practices and Tools for Real-Time Systems (Part I): Guest Editor's Introduction.
Int. J. Softw. Eng. Knowl. Eng., 1996
Int. J. Artif. Intell. Tools, 1996
The Role of Program Slicing in Ripple Effect Analysis.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996
Generalized Program Slicing for Software Maintenance.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996
Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996
A multiversion transaction scheduler for centralized multilevel secure database systems.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996
Proceedings of the COMPSAC '96, 1996
Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application].
Proceedings of the Ninth IEEE Symposium on Computer-Based Medical Systems (CBMS '96), 1996
Proceedings of the Ninth IEEE Symposium on Computer-Based Medical Systems (CBMS '96), 1996
1995
J. Softw. Maintenance Res. Pract., 1995
J. Parallel Distributed Comput., 1995
AURA-CFG/E: An Object-Oriented approach for Acquisition and Decomposition of DFDs from End users.
Proceedings of the SEKE'95, 1995
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995
1994
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1994
J. Parallel Distributed Comput., 1994
Hierarchical Data Flow Analysis for O-O Programs.
J. Object Oriented Program., 1994
Method Sequence Specification and Verification of Classes.
J. Object Oriented Program., 1994
Proceedings of the First IEEE International Conference on Requirements Engineering, 1994
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994
Proceedings of the 8th International Symposium on Parallel Processing, 1994
Proceedings of the International Conference on Software Maintenance, 1994
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994
Proceedings of the Seventh Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'94), 1994
Proceedings of the Impact of Case Technology on Software Processes, 1994
1993
Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems.
IEEE Trans. Parallel Distributed Syst., 1993
IEEE Trans. Knowl. Data Eng., 1993
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1993
Database requirements for a software engineering environment: criteria and empirical evaluation.
Inf. Softw. Technol., 1993
Int. J. Softw. Eng. Knowl. Eng., 1993
Int. J. Artif. Intell. Tools, 1993
Int. J. Artif. Intell. Tools, 1993
A Framework for Systematic Testing of Software Specifications.
Proceedings of the SEKE'93, 1993
Proceedings of the Seventh International Parallel Processing Symposium, 1993
Quality of Heuristic Programs (Panel).
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993
Proceedings of the 15th International Conference on Software Engineering, 1993
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993
1992
IEEE Trans. Parallel Distributed Syst., 1992
ACM Trans. Softw. Eng. Methodol., 1992
Simulation and theoretical results on cluster management and directory management in dynamic hierarchical networks.
IEEE Trans. Commun., 1992
Inf. Sci., 1992
Int. J. Softw. Eng. Knowl. Eng., 1992
Int. J. Softw. Eng. Knowl. Eng., 1992
Hardware-In-the-Loop (HIL) Simulation: An Application of Colbert's Object-Oriented Software Development Method.
Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992
Knowledge Acquisition and Process Acquisition.
Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992
Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992
Array Covering: A Technique4 for Enabling Lloop Parallelization.
Proceedings of the 1992 International Conference on Parallel Processing, 1992
Proceedings of the Second Great Lakes Symposium on VLSI, 1992
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992
1991
Neural Networks, 1991
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991
Inverted Memory.
Proceedings of the International Conference on Parallel Processing, 1991
Proceedings of the First Great Lakes Symposium on VLSI, 1991
Proceedings of the First Great Lakes Symposium on VLSI, 1991
Proceedings of the First Great Lakes Symposium on VLSI, 1991
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991
1990
IEEE Trans. Software Eng., 1990
Multi-failure fault-tolerance of embedded loops on hypercubes: issues and performance study.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990
Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990
What Software Engineering Can Learn From Practitioners.
Proceedings of the SEKE'90, 1990
Towards a Unified Framework for Testing Expert Systems.
Proceedings of the SEKE'90, 1990
Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990
Production Scheduling in Database Production Systems.
Proceedings of the First International Conference on Systems Integration, 1990
Performance Evaluation of Distributed Real Time Scheduling Algorithms.
Proceedings of the First International Conference on Systems Integration, 1990
A Synthesis Approach to Developing Large Petri Nets.
Proceedings of the 1990 International Conference on Parallel Processing, 1990
Proceedings of the Sixth International Conference on Data Engineering, 1990
1989
IEEE Trans. Software Eng., 1989
Proceedings of the Eigthth Symposium on Reliable Distributed Systems, 1989
Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989
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.
Proceedings of the International Conference on Parallel Processing, 1989
Prototyping the SODA Model.
Proceedings of the Database Security, 1989
Proceedings of the Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage, 1989
Proceedings of the Fifth Annual Computer Security Applications Conference, 1989
Proceedings of the Fifth Annual Computer Security Applications Conference, 1989
1988
Neural Networks, 1988
Panel: Object-Oriented Knowledge-Based Software Maintenance.
Proceedings of the Conference on Object-Oriented Programming Systems, 1988
Loops and Multi-Dimensional Grids on Hypercubes Mapping and Reconfiguration Algorithms.
Proceedings of the International Conference on Parallel Processing, 1988
Proceedings of the 1988 Internation Conference on Computer Languages, 1988
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988
Prototyping as a Research Tool for MLS/DBMS.
Proceedings of the Database Security, 1988
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988
1986
A Distributed Clustering Algorithm for Large Computer Networks.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986
1984
1982
The Design of "Low-End" Machines for Data Management in Distributed Systems.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982
Techniques in Software Quality Assurance.
Proceedings of the Software-Qualitätssicherung, 1982