Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
IEEE Transactions on Software Engineering
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
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Issues in Analyzing the Behavior of Event Dispatching Systems
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Proceedings of the 26th International Conference on Software Engineering
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
Engineering distributed software: a structural discipline
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Component-interaction automata as a verification-oriented component-based system specification
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
On contracting different behavioral properties in component-based systems
Proceedings of the 2006 ACM symposium on Applied computing
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Configurations of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Component Substitutability via Equivalencies of Component-Interaction Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Coordination Model for Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution
Electronic Notes in Theoretical Computer Science (ENTCS)
A Java toolkit for the design and the automatic checking of server architectures
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Science of Computer Programming
Enhanced compositional safety analysis for distributed embedded systems using LTS equivalence
ACOS'07 Proceedings of the 6th Conference on WSEAS International Conference on Applied Computer Science - Volume 6
Assume-Guarantee Verification for Interface Automata
FM '08 Proceedings of the 15th international symposium on Formal Methods
A Case Study in Parallel Verification of Component-Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A perspective on service orchestration
Science of Computer Programming
Self-Architecting Software SYstems (SASSY) from QoS-annotated activity models
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
A Model-Driven Engineering Framework for Component Models Interoperability
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
A rigorous architectural approach to adaptive software engineering
Journal of Computer Science and Technology
A Methodology and Framework for Creating Domain-Specific Development Infrastructures
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
Scenario-driven dynamic analysis of distributed architectures
FASE'07 Proceedings of the 10th 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
Quality analysis of dependable systems: a developer oriented approach
Architecting dependable systems
Software adaptation patterns for service-oriented architectures
Proceedings of the 2010 ACM Symposium on Applied Computing
Software architecture and mobility: A roadmap
Journal of Systems and Software
Architectural verification of black-box component-based systems
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car
Electronic Notes in Theoretical Computer Science (ENTCS)
ECSA'11 Proceedings of the 5th European conference on Software architecture
An architecture-centric approach for producing quality systems
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
A contracting system for hierarchical components
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Enforcing different contracts in hierarchical component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
Verification of a self-configuration protocol for distributed applications in the cloud
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Formalizing and verifying compatibility and consistency of SysML blocks
ACM SIGSOFT Software Engineering Notes
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
An experience report on the verification of autonomic protocols in the cloud
Innovations in Systems and Software Engineering
Journal of Systems and Software
Hi-index | 0.02 |