reSEAT yourself in our world of research...
- Services and Components: Heterogeneous Architecture Integration,
Leigh Davis, Michelle Hepner, Melanie Smith, Manasi Kelkar, and R.F. Gamble,
invited submission to International Journal of Business Process Integration and Management, under review.
- Detecting Access Control Conflicts in a System of Systems,
Amit Walvekar, Melanie Smith, Manasi Kelkar, and R.F. Gamble,
submitted to Elsevier Computers and Security, under review.
-
Automating Preference and Change in Workflows,
R. Baird, M. Hepner, N. Jorgenson, R. Gamble,
IEEE International Conference on Composition Based Software Systems, 2008 (ICCBSS'08).
-
Reasoning about Hybrid System of Systems Designs, M.T. Gamble, R. Gamble,
IEEE International Conference on Composition Based Software Systems, 2008 (ICCBSS'08).
-
Isolation in Design Reuse, M.T. Gamble, R. Gamble,
Journal of Software Process Improvement and Practice, to appear 2008.
-
Reasoning about Isolation in Distribute System Design, Ph.D. Dissertation,
M.T. Gamble, Department of Computer Science, University of Tulsa, 2007.
-
Next Generation Workflow Toolkit (NeWT), M.S. Thesis,
R. Baird, Department of Computer Science, University of Tulsa, 2007.
-
Dynamic Changes To Workflow Instances of Web Services, Ph.D.
Dissertation, M. Hepner, Department of Mathematical and Computer Sciences, University of Tulsa, 2007.
-
Modeling Software Component Security Policies, Ph.D.
Dissertation, M. Kelkar, Department of Mathematical and Computer Sciences,
University of Tulsa, 2007.
-
The Impact of Certification Criteria on
Integrated COTS-Based Systems, M. Kelkar, R. Perry, R. Gamble, A. Walvekar,
IEEE International Conference on COTS-Based Software Systems, 2007 (ICCBSS'07).
-
Isolating Mechanisms in COTS-Based Systems,
M.T. Gamble, R.F. Gamble, IEEE International Conference on COTS-Based Software Systems, 2007
(ICCBSS'07).
-
Reconfiguring Workflows of Web Services, R. Baird, M. Hepner,
R. Gamble and M. T. Gamble,
IEEE International Conference on COTS-Based Software Systems, 2007 (ICCBSS'07).
-
Toward Policy Based Logic For Secure Component Interaction, Melanie Smith,
Masters Thesis, University of Tulsa, Oklahoma, 2006.
-
ConPN: Detecting Conflicts in Interdomain Mappings, Amit Walvekar, Masters Thesis,
University of Tulsa, Oklahoma, 2006.
- Forming a Security Certification Enclave for Service-Oriented Architectures,
M. Hepner, M. T. Gamble, and R. Gamble, Modeling, Design, and Analysis for
Service-oriented Architecture Workshop, 2006 (MDA4SOA'06).
-
Examining
Security Certification and Access Control Conflicts Using Deontic Logic, M. Smith,
M. Kelkar, R. Gamble, 1st International Workshop on Software Certification, 2006
(CERTSOFT'06).
-
Determining Conflicts in Interdomain Mappings for Access Control,
A. Walvekar, M. Kelkar, M. Smith, R. Gamble, Joint Workshop on Foundations of Computer
Security and Automated Reasoning for Security Protocol Analysis
(FCS-ARSPA'06), Seattle, August 15 - 16, 2006.
-
Elevating Interaction Requirements for
Web Service Integration, M. Hepner, M.T. Gamble, R. Gamble, 1st
International Workshop on Evaluation and Evolution of Component Composition,
2006 (EECC 2006).
-
Interaction Partnering Criteria for COTS
Components, M. Kelkar, M. Smith, R. Gamble, 18th International
Conference on Software Engineering and Knowledge Engineering, 2006
(SEKE 2006).
-
Patterns of Conflict Among Software Components,
M. Hepner, R. Gamble, M. Kelkar, L. Davis, D. Flagg, Journal of Systems and
Software, Volume 79, Issue 4, pp. 537-551, 2006.
-
2005 and earlier publications