SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
Andrea Bracciali
Latest
A formal approach to component adaptation
A framework for specifying and verifying the behaviour of open systems
Adapting Components with Mismatching Behaviours
Dynamically Adapting the Behaviour of Software Components
Security and Dynamic Compositions of Open Systems
Systematic Component Adaptation
Coordinating interaction patterns
Security Issues in Component-based Design
Cite
×