Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Tayssir Touili

Tayssir Touili

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Analyse symbolique de systèmes infinis basée sur les automates : application à la vérification de systèmes paramétrés et dynamiques

Directed Thesis:

Model checking self modifying code
On CARET model-checking of pushdown systems : application to malware detection
On model-checking pushdown systems models
On pushdown systems model checking : application to malware detection and software model-checking
Vérification de Programmes Concurrents : Décidabilité et Complexité