Andrea Zisman

Theo Dimitrakos

Proceedings of the Trust Management VII - 7th IFIP WG 11.11 International Conference, 2013

Decomposing Ratings in Service Compositions.

[BibT_eX]

[DOI]

Icamaan da Silva

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

2012

The quest for Ubiquity: A roadmap for software and systems traceability research.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Trust Model for Optimized Cloud Services.

[BibT_eX]

[DOI]

Pramod S. Pawar

Srijith Krishnan Nair

Proceedings of the Trust Management VI - 6th IFIP WG 11.11 International Conference, 2012

A Framework for Trusted Services.

[BibT_eX]

[DOI]

Icamaan da Silva

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

PRadapt: A framework for dynamic monitoring of adaptable service-based systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

Proactive adaptation of service composition.

[BibT_eX]

[DOI]

Rafael Aschoff

Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Secure communication using dynamic VPN provisioning in an Inter-Cloud environment.

[BibT_eX]

[DOI]

Ali Sajjad

Srijith K. Nair

Theo Dimitrakos

Proceedings of the 18th IEEE International Conference on Networks, 2012

Opinion Model Based Security Reputation Enabling Cloud Broker Architecture.

[BibT_eX]

[DOI]

Proceedings of the Cloud Computing - Third International Conference, 2012

Using Rules for Traceability Creation.

[BibT_eX]

[DOI]

Proceedings of the Software and Systems Traceability., 2012

Traceability Fundamentals.

[BibT_eX]

[DOI]

Proceedings of the Software and Systems Traceability., 2012

The Grand Challenge of Traceability (v1.0).

[BibT_eX]

[DOI]

Proceedings of the Software and Systems Traceability., 2012

2011

A monitoring approach for runtime service discovery.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2011

Using Traceability to Support SOA Impact Analysis.

[BibT_eX]

[DOI]

Mamoun Hirzalla

Jane Cleland-Huang

Proceedings of the World Congress on Services, 2011

Discovering Services.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering - International Summer Schools, 2011

QoS-Driven Proactive Adaptation of Service Composition.

[BibT_eX]

[DOI]

Rafael Aschoff

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Formalizing traceability relations for product lines.

[BibT_eX]

[DOI]

Luís C. Lamb

Waraporn Jirapanthong

Proceedings of the TEFSE'11, 2011

Identifying, modifying, creating, and removing monitor rules for service oriented computing.

[BibT_eX]

[DOI]

Ricardo Contreras

Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

Grand challenges, benchmarks, and TraceLab: developing infrastructure for the software traceability research community.

[BibT_eX]

[DOI]

Proceedings of the TEFSE'11, 2011

2010

Discovering Services during Service-Based System Design Using UML.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2010

Report of the 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010).

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2010

A UML-based static verification framework for security.

[BibT_eX]

[DOI]

Igor Siveroni

Requir. Eng., 2010

A Pattern-Based Approach for Monitor Adaptation.

[BibT_eX]

[DOI]

Ricardo Contreras

Proceedings of the IEEE International Conference on Software Science, 2010

2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010).

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Network Security and Applications, 2010

2009

XTraQue: traceability for product line systems.

[BibT_eX]

[DOI]

Waraporn Jirapanthong

Softw. Syst. Model., 2009

A Query Language for Service Discovery.

[BibT_eX]

James Dooley

Proceedings of the ICSOFT 2009, 2009

Replacement Policies for Service-Based Systems.

[BibT_eX]

[DOI]

Gilberto A. Cysneiros Filho

Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

2008

Traceability and completeness checking for agent-oriented systems.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A Framework for Dynamic Service Discovery.

[BibT_eX]

[DOI]

James Dooley

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Proactive Runtime Service Discovery.

[BibT_eX]

[DOI]

James Dooley

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

Property Specification and Static Verification of UML Models.

[BibT_eX]

[DOI]

Igor Siveroni

Proceedings of the The Third International Conference on Availability, 2008

2007

Guest Editors' Introduction: Realizing Service-Centric Software Systems.

[BibT_eX]

[DOI]

Olivier Nano

IEEE Softw., 2007

Architecture-Driven Service Discovery for Service Centric Systems.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2007

Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005).

[BibT_eX]

[DOI]

Thomas Ellman

Autom. Softw. Eng., 2007

2nd international workshop on service oriented software engineering (IW-SOSWE 2007).

[BibT_eX]

[DOI]

Elisabetta Di Nitto

Andrea Polini

Gilberto A. Cysneiros Filho

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Traceability for Agent-Oriented Design Models and Code.

[BibT_eX]

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A Platform for Context Aware Runtime Web Service Discovery.

[BibT_eX]

[DOI]

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

A Static Verification Framework for Secure Peer-to-Peer Applications.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

A Service Discovery Framework based on Linear Composition.

[BibT_eX]

[DOI]

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

2006

Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06).

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2006

UML-based Service Discovery Tool.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

UML-Based Service Discovery Framework.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2006

International workshop on service oriented software engineering (IW-SOSE'06).

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2005

2nd Workshop on the state of the art in automated software engineering.

[BibT_eX]

[DOI]

Thomas Ellman

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Supporting Product Line Development through Traceability.

[BibT_eX]

[DOI]

Waraporn Jirapanthong

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

A Service Discovery Framework for Service Centric Systems.

[BibT_eX]

[DOI]

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

2004

Model interchange and integration for web services.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2004

Rule-based generation of requirements traceability relations.

[BibT_eX]

[DOI]

J. Syst. Softw., 2004

Discovering, Recording and Handling Inconsistencies in Software Specifications.

[BibT_eX]

ACIS Int. J. Comput. Inf. Sci., 2004

OMML: A Behavioural Model Interchange Format.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Validating Personal Requirements by Assisted Symbolic Behavior Browsing .

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Behavioral models as service descriptions.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2004

2003

Managing Inconsistencies in UML Specifications.

[BibT_eX]

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Tracing Software Requirements Artifacts.

[BibT_eX]

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

Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach.

[BibT_eX]

Artur S. d'Avila Garcez

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

Overview of OpenModel-based Validation with Partial Information.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002

Are their Design Specifications Consistent with our Requirements?

[BibT_eX]

[DOI]

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

Using Web Services to Interoperate Data at the FAO.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dublin Core and Metadata Applications, 2002

2001

Knowledge Base Approach to Consistency Management of UML Specification.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Consistency Management of Financial XML Documents.

[BibT_eX]

[DOI]

Adamantia Athanasopoulou

Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

2000

BOX: Browsing objects in XML.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2000

Information Monitors: An Architecture Based on XML.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Object Oriented Information Systems, 2000

Using XML to Build Consistency Rules for Distributed Specifications.

[BibT_eX]

[DOI]

Wolfgang Emmerich

Anthony Finkelstein

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

1999

An approach to interoperation between autonomous database systems.

[BibT_eX]

[DOI]

Jeff Kramer

Distributed Syst. Eng., 1999

XML for Software Engineers.

[BibT_eX]

[DOI]

Anthony Finkelstein

Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

1998

Information discovery for interoperable autonomous database systems.

[BibT_eX]

[DOI]

PhD thesis, 1998

1997

Supporting Interoperability of Autonomous Hospital Databases: A Case Study.

[BibT_eX]

Jeff Kramer

Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), 1997

1994

New Concurrency Control Algorithms for Accessing and Compacting B-Trees.

[BibT_eX]

[DOI]

V. W. Setzer