Add to ORKGInternational audienceThis paper presents a brief overview of our efforts in the behavioural specification and verification of distributed component systems. Our objective in this work is to provide tools to help the programmer specify the behaviour of his/her components, generate a model, and check the correctness of his/her application
My research focuses on distributed programming models, more precisely using ob jects and components....
My research focuses on distributed programming models, more precisely using ob jects and components....
This thesis belongs to the domain of formal methods. We focus their application on a specific method...
This paper presents a brief overview of our efforts in the behavioural specification and verificatio...
This article presents a component verification platform called Vercors providing means to analyse th...
This article presents a component verification platform called Vercors providing means to analyse th...
International audienceThis paper targets the generation of distributed applications with safety guar...
This paper presents a formal behavioural specification framework together with its applications in d...
Components allow to design applications in a modular way by enforcing a strong separation of concern...
International audienceWe present a novel specification language called JDC to be used at design phas...
AbstractThis article presents a component verification platform called Vercors providing means to an...
My research focuses on distributed programming models, more precisely using ob jects and components....
International audienceWe present a novel specification language called JDC to be used at design phas...
Since 2001, in the Oasis team, I have developed research on the semantics of applications based on d...
Since 2001, in the Oasis team, I have developed research on the semantics of applications based on d...
My research focuses on distributed programming models, more precisely using ob jects and components....
My research focuses on distributed programming models, more precisely using ob jects and components....
This thesis belongs to the domain of formal methods. We focus their application on a specific method...
This paper presents a brief overview of our efforts in the behavioural specification and verificatio...
This article presents a component verification platform called Vercors providing means to analyse th...
This article presents a component verification platform called Vercors providing means to analyse th...
International audienceThis paper targets the generation of distributed applications with safety guar...
This paper presents a formal behavioural specification framework together with its applications in d...
Components allow to design applications in a modular way by enforcing a strong separation of concern...
International audienceWe present a novel specification language called JDC to be used at design phas...
AbstractThis article presents a component verification platform called Vercors providing means to an...
My research focuses on distributed programming models, more precisely using ob jects and components....
International audienceWe present a novel specification language called JDC to be used at design phas...
Since 2001, in the Oasis team, I have developed research on the semantics of applications based on d...
Since 2001, in the Oasis team, I have developed research on the semantics of applications based on d...
My research focuses on distributed programming models, more precisely using ob jects and components....
My research focuses on distributed programming models, more precisely using ob jects and components....
This thesis belongs to the domain of formal methods. We focus their application on a specific method...