Knowledge Tree

researcher / Philippe Schnoebelen

Philippe Schnoebelen

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Sémantique du parallélisme et logique temporelle : application au langage FP2

Directed Thesis:

On Effective Representations of Well Quasi-Orderings

Subwords : automata, embedding problems, and verification

On Post’s embedding problem and the complexity of lossy channels

Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones, et techniques de vérification automatique

Methodes algebriques pour la verification des systemes infinis

Sémantique des programmes récursifs-parallèles et méthodes pour leur analyse

Des bisimulations de places pour la réduction des réseaux de Petri

Logique temporelle avec passé pour la spécification et la vérification des systèmes réactifs