Knowledge Tree

researcher / Arnaud Fréville

Arnaud Fréville

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Contribution à l'intégration de temporalité au formalisme B : utilisation du calcul des durées en tant que sémantique temporelle pour B

Adaptabilité des services techniques dans le modèle à composants

Modèle de transactions avancées et modèle à composants

Requêtes dépendantes de la localisation en environnements mobiles : expression, évaluation et optimisation

Génération automatique de composants logiciels sûrs à partir de spécifications formelles B

Optimisation discrète et parallélisme : interactions et applications

Problèmes de MIN-MAX en variables 0-1 : Algorithmes de résolution exacts et approchés

Contribution à la résolution de problèmes duaux de grandes tailles en optimisation combinatoire