Rose F. Gamble

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Employing the SI Network Model to Evaluate Network Propagation in Bluetooth MANETs.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Congress on Internet of Things, 2018

Augmentation of Services with Semantic Meta-Information in the Physical Web.

[BibT_eX]

[DOI]

Xinchi He

Proceedings of the 2018 IEEE International Conference on Communications Workshops, 2018

Using System Profiling for Effective Degradation Detection.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Autonomic Computing, 2018

Securing Wearables through the Creation of a Personal Fog.

[BibT_eX]

[DOI]

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Assessing the Risk of an Adaptation using Prior Compliance Verification.

[BibT_eX]

[DOI]

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Individual Differences in Trust in Code: The Moderating Effects of Personality on the Trustworthiness-Trust Relationship.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2018, 2018

Toward Increasing Collaboration Awareness in Software Engineering Teams.

[BibT_eX]

[DOI]

Shuddha Chowdhury

Proceedings of the IEEE Frontiers in Education Conference, 2018

MTL Robustness for Path Planning with A.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Visualizing Self-Adaptive Plan Simulations Given Embedded Verification Concerns.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Embedding Verification Concerns in Self-Adaptive System Code.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017

Adapting Compliance of Security Requirements in Multi-Tenant Applications.

[BibT_eX]

[DOI]

Xinchi He

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Toward Predicting Secure Environments for Wearable Devices.

[BibT_eX]

[DOI]

Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

Developing a Mechanism to Study Code Trustworthiness.

[BibT_eX]

[DOI]

Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

Examining Collaboration among Student Teams relying on Web Applications to Coordinate Software Development.

[BibT_eX]

[DOI]

Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

2016

Dynamic Change Arcs to Explore Model Forecasts.

[BibT_eX]

[DOI]

C. St. Jean

Colin Ware

Comput. Graph. Forum, 2016

Imposing security awareness on wearables.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

Outcomes of emotional content from agile team forum posts.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Emotion Awareness in Software Engineering, 2016

Practical DoS Attacks on Embedded Networks in Commercial Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security - 12th International Conference, 2016

Configuring an appropriate team environment to satisfy relevant criteria.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

2015

Secu Wear: An Open Source, Multi-component Hardware/Software Platform for Exploring Wearable Security.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Mobile Services, MS 2015, New York City, NY, USA, June 27, 2015

Measuring the Potential for Victimization in Malicious Content.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

CyberPhishing: A Game-Based Platform for Phishing Awareness Testing.

[BibT_eX]

[DOI]

Philip Gamble

Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

DDoS Attacks in Service Clouds.

[BibT_eX]

[DOI]

Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

Gauging influence in software development teams.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

Stream Processing with Secure Information Flow Constraints.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXIX, 2015

2014

Introducing Replaceability into Web Service Composition.

[BibT_eX]

[DOI]

Hussein Al-Helal

IEEE Trans. Serv. Comput., 2014

A Security Meta-Language for SOAP Messaging.

[BibT_eX]

[DOI]

Int. J. Next Gener. Comput., 2014

Enforcing the Chinese wall model for tenant conflict of interest in the service cloud.

[BibT_eX]

[DOI]

Indrakshi Ray

Int. J. Bus. Process. Integr. Manag., 2014

Toward Increasing Awareness of Suspicious Content through Game Play.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE World Congress on Services, 2014

Embedding a Distributed Auditing Mechanism in the Service Cloud.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE World Congress on Services, 2014

2013

A Design and Verification Framework for Service Composition in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the IEEE Ninth World Congress on Services, 2013

Building a Compliance Vocabulary to Embed Security Controls in Cloud SLAs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Ninth World Congress on Services, 2013

Auditing Requirements for Implementing the Chinese Wall Model in the Service Cloud.

[BibT_eX]

[DOI]

Indrakshi Ray

Proceedings of the IEEE Ninth World Congress on Services, 2013

Information flow control for stream processing in clouds.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

Analysis of End-to-End SOA Security Protocols with Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013, 2013

Assessing individual performance in Agile undergraduate software engineering teams.

[BibT_eX]

[DOI]

Proceedings of the IEEE Frontiers in Education Conference, 2013

An architecture for cross-cloud auditing.

[BibT_eX]

[DOI]

Rui Xie

Proceedings of the Cyber Security and Information Intelligence, 2013

2012

SecAgreement: Advancing Security Risk Calculations in Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE World Congress on Services, 2012

Architecting Web Service Attack Detection Handlers.

[BibT_eX]

[DOI]

Alex Andrekanic

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Risk propagation of security SLAs in the cloud.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the Global Communications Conference, 2012

Client-side rendering of collaborative idea networks.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Collaboration Technologies and Systems, 2012

A Tiered Strategy for Auditing in the Cloud.

[BibT_eX]

[DOI]

Rui Xie

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

2011

Self-adapting workflow reconfiguration.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

SEREBRO: facilitating student project team collaboration.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Analyzing the role of tags as lightweight traceability links.

[BibT_eX]

[DOI]

Proceedings of the TEFSE'11, 2011

Security policy foundations in context UNITY.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, 2011

Developing a Security Meta-Language Framework.

[BibT_eX]

[DOI]

Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

Predicting individual performance in student project teams.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

Collaborative Learning in Software Development Teams.

[BibT_eX]

[DOI]

Proceedings of the A Renaissance of Information Technology for Sustainability and Global Competitiveness. 17th Americas Conference on Information Systems, 2011

2010

Security Controls Applied to Web Service Architectures.

[BibT_eX]

Proceedings of the ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010

Using Delta-Federations for On-Demand Crisis Situation Response.

[BibT_eX]

Proceedings of the ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010

Measuring Creativity in Software Development.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Creativity, 2010

Web Service Composition with Dominance-based Filtering and Partial Unfolded Loops.

[BibT_eX]

Hussein Al-Helal

Proceedings of the 2010 International Conference on Genetic and Evolutionary Methods, 2010

Reasoning about policy noncompliance.

[BibT_eX]

[DOI]

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

2009

Dynamically Changing Workflows of Web Services.

[BibT_eX]

[DOI]

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

2008

Systems interoperability, integration, and composition.

[BibT_eX]

[DOI]

Grace A. Lewis

Softw. Process. Improv. Pract., 2008

Isolation in design reuse.

[BibT_eX]

[DOI]

Softw. Process. Improv. Pract., 2008

Monoliths to Mashups: Increasing Opportunistic Assets.

[BibT_eX]

[DOI]

IEEE Softw., 2008

FACT: A fusion architecture with contract templates for semantic and syntactic integration.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

Reasoning about Hybrid System of Systems Designs.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

Automating Preference and Change in Workflows.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

2007

The Impact of Certification Criteria on Integrated COTS-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2007

Isolating Mechanisms in COTS-based Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2007

Reconfiguring Workflows of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2007

2006

Patterns of conflict among software components.

[BibT_eX]

[DOI]

J. Syst. Softw., 2006

Interaction Partnering Criteria for COTS Components.

[BibT_eX]

Manasi Kelkar

Melanie Smith

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Elevating Interaction Requirements for Web Service Composition.

[BibT_eX]

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Forming a Security Certification Enclave for Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

2005

Understanding solution architecture concerns.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Establishing Connectors as Integration Services.

[BibT_eX]

[DOI]

Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Toward Formalizing Service Integration Glue Code.

[BibT_eX]

[DOI]

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

2004

A patterned approach for linking knowledge-based systems to external resources.

[BibT_eX]

[DOI]

S. Kimsen

IEEE Trans. Syst. Man Cybern. Part B, 2004

Migrating Application Integrations.

[BibT_eX]

[DOI]

Proceedings of the COTS-Based Software Systems, Third International Conference, 2004

Understanding Services for Integration Management.

[BibT_eX]

[DOI]

Proceedings of the COTS-Based Software Systems, Third International Conference, 2004

2003

Methodologies for the development of knowledge-based systems, 1982-2002.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2003

Defining Change Management Properties for Component Interoperability Assessment.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Designing Secure Integration Architectures.

[BibT_eX]

[DOI]

Gerður Jónsdóttir

Proceedings of the COTS-Based Software Systems, Second International Conference, 2003

Classifying Interoperability Conflicts.

[BibT_eX]

[DOI]

Proceedings of the COTS-Based Software Systems, Second International Conference, 2003

2002

The impact of component architectures on interoperability.

[BibT_eX]

[DOI]

Jamie Payton

J. Syst. Softw., 2002

A Framework for Interaction in Software Development Training.

[BibT_eX]

[DOI]

J. Inf. Technol. Educ., 2002

Merging Integration Solutions for Architecture and Security Mismatch.

[BibT_eX]

[DOI]

Proceedings of the COTS-Based Software Systems, First International Conference, 2002

Identifying Evolvability for Integration.

[BibT_eX]

[DOI]

Proceedings of the COTS-Based Software Systems, First International Conference, 2002

2001

A notation for problematic architecture interactions.

[BibT_eX]

[DOI]

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Conflict Patterns: Toward Identifying Suitable Middleware.

[BibT_eX]

Proceedings of the ISCA 3rd International Conference on Information Reuse and Integration, 2001

2000

How system architectures impede interoperability.

[BibT_eX]

[DOI]

Jamie Payton

Proceedings of the Second International Workshop on Software and Performance, 2000

1999

Rule-based systems formalized within a software architectural style.

[BibT_eX]

[DOI]

Patricia Stiger

Knowl. Based Syst., 1999

Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs.

[BibT_eX]

[DOI]

A. V. Pai

Inf. Softw. Technol., 1999

1998

Towards a taxonomy of architecture integration strategies.

[BibT_eX]

[DOI]

R. Keshav

Proceedings of the Third International Workshop on Software Architecture, 1998

1997

Using meta-knowledge within a multilevel framework for KBS development.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 1997

Classifying and detecting anomalies in hybrid knowledge-based systems.

[BibT_eX]

[DOI]

Ranadeep Mukherjee

Jennifer A. Parkinson

Decis. Support Syst., 1997

1996

Eliminating Redundancy, Conflict, and Incompleteness from Knowledge-Based Systems.

[BibT_eX]

[DOI]

Teresa M. Shaft

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

A methodology to incorporateformal methods in hybrid KBS verification.

[BibT_eX]

[DOI]

D. M. Baughman

Int. J. Hum. Comput. Stud., 1996

1995

Integrating a formal specification course with a software projects course via an editing tool.

[BibT_eX]

[DOI]

Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

1993

Formal Derivation of Rule-Based Programs.

[BibT_eX]

[DOI]

Gruia-Catalin Roman

William E. Ball

IEEE Trans. Software Eng., 1993

1992

Seeking Concurrency in Rule-Based Programming.

[BibT_eX]

[DOI]

Gruia-Catalin Roman

William E. Ball

Proceedings of the 14th International Conference on Software Engineering, 1992

1991

Formal Verification of Pure Production System Programs.

[BibT_eX]

[DOI]

Gruia-Catalin Roman

William E. Ball

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990

Transforming Rule-Based Programs: From the Sequential to the Parallel.

[BibT_eX]

[DOI]