Knowledge Tree

researcher / Alain Finkel

Alain Finkel

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Structuration des systèmes de transitions-applications au contrôle du parallélisme par Files Fifo

Directed Thesis:

Algorithmique et complexité des systèmes à compteurs

Vérification de systèmes avec compteurs et pointeurs

Vers un Model Checking avec accélération plate des systèmes hétérogènes

Algorithmique de la vérification des systèmes à compteurs : approximation et accélération, implémentation de l'outil FAST

Reseaux de petri avec reset/transfert : decidabilite et indecidabilite

Vérification, analyse et approximations symboliques des automates communicants

Algorithmes primitifs récursifs et problèmes EXPSPACE-Complets dans les réseaux de Petri cycliques

Verification de reseaux de petri raffines

Définition et implémentation par les grammaires catégorielles d'un modèle cognitif formel de l'énonciation

Analyse et propriétés des processus communiquant par files fifo : réseaux à files à choix libre topologique et réseaux à files linéaires