Knowledge Tree

researcher / Joseph Sifakis

Joseph Sifakis

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems

Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions : Application to the BIP Framework.

Implémentation rigoureuse des systèmes temps-réels

Modélisation des systèmes synchrones en BIP

Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées

Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP

Conception et implantation de système fondé sur les composants. Vers une unification des paradigmes génie logiciel et système

Modélisation compositionnelle des systèmes temps-réels : théorie et pratique

L'analyse formelle des systèmes temporisés en pratique

De la composition des systèmes temporisés

Modélisation et analyse de systèmes temporisés et hybrides

Méthodes et outils pour la vérification symbolique de systèmes temporisés

Atp : une algèbre pour la spécification et l'analyse des systèmes temps réel

Cléo : diagnostic des erreurs en Xesar

Spécification et validation de systèmes en Xesar