On the progress of communication between two finite state machines
Information and Control
Typestate: A programming language concept for enhancing software reliability
IEEE Transactions on Software Engineering
A formal protocol conversion method
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
On deadlock detection in systems of communicating finite state machines
Computers and Artificial Intelligence
Module reuse by interface adaptation
Software—Practice & Experience
Hermes: a language for distributed computing
Hermes: a language for distributed computing
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Automated synthesis of interface adapters for reusable classes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A checkable interface language for pointer-based structures
IDL '94 Proceedings of the workshop on Interface definition languages
ABC++: concurrency by inheritance in C++
IBM Systems Journal
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
The Java programming language (2nd ed.)
The Java programming language (2nd ed.)
On Communicating Finite-State Machines
Journal of the ACM (JACM)
A unified approach to global program optimization
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
IEEE Transactions on Software Engineering
Extending Typestate Checking Using Conditional Liveness Analysis
IEEE Transactions on Software Engineering
Object Oriented Interoperability
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
A mediation infrastructure for digital library services
DL '00 Proceedings of the fifth ACM conference on Digital libraries
Generating wrappers for command line programs: the Cal-Aggie Wrap-O-Matic project
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Structured Development of Problem Solving Methods
IEEE Transactions on Knowledge and Data Engineering
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Dynamically Adapting the Behaviour of Software Components
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Adapting Components with Mismatching Behaviours
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Human exploration and development of space: using XML database space wide web
Information Sciences—Informatics and Computer Science: An International Journal - Internet computing
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
The unified problem-solving method development language UPML
Knowledge and Information Systems
The specification of distributed objects: liveness and locality
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Lightweight consistency analysis of dataflow process networks
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Improving Object Oriented Analysis by Explicit Change Analysis
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Automatic component protocol adaptation with the CoConut/J tool suite
Future Generation Computer Systems - Tools for program development and analysis
A software architecture for knowledge-based systems
The Knowledge Engineering Review
Embracing Dynamic Evolution in Distributed Systems
IEEE Software
Implementing protocols via declarative event patterns
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A model for abstract process specification, verification and composition
Proceedings of the 2nd international conference on Service oriented computing
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Jungloid mining: helping to navigate the API jungle
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
A Multilevel Composability Model for Semantic Web Services
IEEE Transactions on Knowledge and Data Engineering
Extending component-based design with hardware components
Science of Computer Programming - Special issue on new software composition concepts
Runtime Validation of Behavioural Contracts for Component Software
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
On Compatibility and Behavioural Substitutability of Component Protocols
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Towards an architectural approach for the dynamic and automatic composition of software components
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
On the semantics of software adaptation
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
ServiceMosaic project: modeling, analysis and management of web services interactions
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Invocation of replicated web services using smart proxies
WebMedia '06 Proceedings of the 12th Brazilian Symposium on Multimedia and the web
Using role-based coordination to achieve software adaptability
Science of Computer Programming
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
The service creation environment: a telecom case study
Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
Concern-Specific Languages in a Visual Web Service Creation Environment
Electronic Notes in Theoretical Computer Science (ENTCS)
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Only the Best Can Make It: Optimal Component Selection
Electronic Notes in Theoretical Computer Science (ENTCS)
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A Component-Based Approach to Automated Web Service Composition
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Behavioural Types for Service Integration: Achievements and Challenges
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
An Adaptation-based Approach to Incrementally Build Component Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Empirical Research Similarity Metrics For Software Component Interfaces
Journal of Integrated Design & Process Science
Adaptation for Hierarchical Components and Services
Electronic Notes in Theoretical Computer Science (ENTCS)
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution
Electronic Notes in Theoretical Computer Science (ENTCS)
Safe Adaptation of Component Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Configurable adapters: the substrate of self-adaptive web services
Proceedings of the ninth international conference on Electronic commerce
Supporting high interoperability of components by adopting an agent-based approach
Software Quality Control
Detecting object usage anomalies
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Rethinking software connectors
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Behavioral adaptation of component compositions based on process algebra encodings
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A unified Semantic Web services architecture based on WSMF and UPML
International Journal of Web Engineering and Technology
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
ReBA: refactoring-aware binary adaptation of evolving libraries
Proceedings of the 30th international conference on Software engineering
Jigsaw: a tool for the small-scale reuse of source code
Companion of the 30th international conference on Software engineering
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Business process interoperability: extended abstract
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: doctoral mentoring program
Transactional Reduction of Component Compositions
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Lightweight, Semi-automated Enactment of Pragmatic-Reuse Plans
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Practical refactoring-based framework upgrade
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Semi-automating small-scale source code reuse via structural correspondence
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Journal of Systems and Software
An architectural approach to the correct and automatic assembly of evolving component-based systems
Journal of Systems and Software
Synthesis of Connectors from Scenario-Based Interaction Specifications
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
State Space Reduction Techniques for Component Interfaces
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Towards a Systematic Method for Identifying Business Components
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Sound Multi-party Business Protocols for Service Networks
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Ontology-Based Compatibility Checking for Web Service Configuration Management
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
The process mediation framework for semantic web services
International Journal of Agent-Oriented Software Engineering
Event strictness for components with complex bindings
Proceedings of the 2nd India software engineering conference
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Synchronization as a Special Case of Access Control
Electronic Notes in Theoretical Computer Science (ENTCS)
Interfaces of active objects with internal concurrency
Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Synthesis of Reo Circuits from Scenario-based Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic Generation of Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Evolving Services from a Contractual Perspective
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Dinapter: Automatic Adapter Specification for Software Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploring Multi-Paradigm Modeling Techniques
Simulation
The mythical matched modules: overcoming the tyranny of inflexible software construction
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Constructing minimal protocol adaptors for service composition
Proceedings of the 4th Workshop on Emerging Web Services Technology
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Assessment of Service Protocols Adaptability Using a Novel Path Computation Technique
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing WSBPEL Business Processes Using Process Algebra
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated adaptations to dynamic software architectures by using autonomous agents
Engineering Applications of Artificial Intelligence
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
A pattern-based approach to protocol mediation for web services composition
Information and Software Technology
Modular analysis of dataflow process networks
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Context-based adaptation of component behavioural interfaces
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Declarative mediation in distributed systems
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Enhancing dependability of component-based systems
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Adaptation of open component-based systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
Compatibility analysis and mediation-aided composition for BPEL services
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Fine-grained compatibility and replaceability analysis of timed web service protocols
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Property-preserving evolution of components using VPA-based aspects
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Defining component protocols with service composition: illustration with the Kmelia model
SC'07 Proceedings of the 6th international conference on Software composition
Goal-oriented composition of services
SC'08 Proceedings of the 7th international conference on Software composition
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
SHARP: a scalable approach to architecture-level reliability prediction of concurrent systems
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
A new approach for component's port modeling in software architecture
Journal of Systems and Software
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking of Component Protocol Conformance -- Optimizations by Reducing False Negatives
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Interaction protocol mediation in web service composition
International Journal of Web Engineering and Technology
Error-avoiding adaptors for black-box software components
Proceedings of the IEEE/ACM international conference on Automated software engineering
Synthesis of orchestrators from service choreographies
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
QoS-enabled and self-adaptive connectors for Web Services composition and coordination
Computer Languages, Systems and Structures
Component adaptation and assembly using interface relations
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Bottom-up reuse for multi-level testing
Journal of Systems and Software
A case study in model-based adaptation of web services
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A theory of mediators for eternal connectors
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A framework for run-time behavioural service adaptation in ubiquitous computing
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Measuring the compatibility of service interaction protocols
Proceedings of the 2011 ACM Symposium on Applied Computing
Verifying mediated service interactions considering expected behaviours
Journal of Network and Computer Applications
On-demand conversation customization for services in large smart environments
IBM Journal of Research and Development
Composing heterogeneous software with style
Proceedings of the 1st International Workshop on Free Composition
Coordination and adaptation techniques for software entities
ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Synthesis of concurrent and distributed adaptors for component-based systems
EWSA'06 Proceedings of the Third European conference on Software Architecture
An aspect-oriented framework for service adaptation
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Scenario-based component behavior derivation
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Adapt or perish: algebra and visual notation for service interface adaptation
BPM'06 Proceedings of the 4th international conference on Business Process Management
Grid services adaptation in a grid workflow
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
A library of OCL specification patterns for behavioral specification of software components
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
B2B protocol construction as a basis for integration architecture configuration
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Modelling parametric contracts and the state space of composite components by graph grammars
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Embedded Systems Design
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Compatibility test and adapter generation for interfaces of software components
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Improving composition support with lightweight metadata-based extensions of component models
SC'05 Proceedings of the 4th international conference on Software Composition
A model of components with non-regular protocols
SC'05 Proceedings of the 4th international conference on Software Composition
A java implementation of a component model with explicit symbolic protocols
SC'05 Proceedings of the 4th international conference on Software Composition
SC'05 Proceedings of the 4th international conference on Software Composition
Conversation-based specification and composition of agent services
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Checking component composability
SC'06 Proceedings of the 5th international conference on Software Composition
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Automating integration of heterogeneous COTS components
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Synchronizing behavioural mismatch in software composition
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Interoperability in service-based communities
BPM'05 Proceedings of the Third international conference on Business Process Management
A core theory of interfaces and architecture and its impact on object orientation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Bridging the interoperability gap: overcoming combined application and middleware heterogeneity
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
A generic framework for n-protocol compatibility checking
Science of Computer Programming
Interactive specification and verification of behavioral adaptation contracts
Information and Software Technology
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Systematizing pragmatic software reuse
ACM Transactions on Software Engineering and Methodology (TOSEM)
Structural reconfiguration of systems under behavioral adaptation
Science of Computer Programming
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
A framework for the choreography of intelligent e-services
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Bridging the interoperability gap: overcoming combined application and middleware heterogeneity
Proceedings of the 12th International Middleware Conference
Satisfying requirements for pervasive service compositions
Proceedings of the 7th Workshop on Models@run.time
Achieving interoperability through semantics-based technologies: the instant messaging case
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution
International Journal of Web Services Research
Automatic synthesis of modular connectors via composition of protocol mediation patterns
Proceedings of the 2013 International Conference on Software Engineering
Synthesizing self-adaptive connectors meeting functional and performance concerns
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Test-and-adapt: An approach for improving service interchangeability
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
The operating system: should there be one?
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems
Towards a verified component platform
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems
Towards an optimized software architecture for component adaptation at middleware level
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Hi-index | 0.00 |