-
An approach for the synthesis of decentralised supervisors for distributed ad...
International audience -
Communication synthesis techniques for multiprocessor systems
Presents an interactive communication synthesis approach for multiprocessor systems. The aim of the approach consists in mapping a high level specification into a... -
A communication synthesis approach for distributed systems
This paper presents an interactive communication synthesis approach for distributed systems. The aim of the proposed approach consists in mapping a high level... -
Towards automatic recovery in protocol-based Web service composition
In a protocol-based Web service composition, a set of available component services collaborate together in order to provide a new composite service. Services export... -
Multiscale systems modeling of the tetralogy of Fallot.
International audience -
BESERIAL: Behavioural Service Analyser
LNCS 5240 -
Méthodes formelles de test de conformité des protocoles
Article dans revue scientifique avec comité de lecture.
