54 search results - page 1 / 11 » Compositional Verification for Component-Based Systems and A... |
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...
RTSS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper presents the design of user-level scheduling hierarchies in the Composite component-based system. The motivation for this is centered around the design of a system that...
ASWEC
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...