Strecker, Martin, 19..-...., enseignant-chercheur en informatique
VIAF ID: 305986342 ( Personal )
Permalink: http://viaf.org/viaf/305986342
Preferred Forms
Works
Title | Sources |
---|---|
Algorithms and techniques for bot detection in social networks. | |
Analyse formellement vérifiée des conflits de partage des ressources dans Java multi-tâche. | |
Association d'environnements de vérification formelle et de l'ingénierie dirigée par les modèles. | |
Combining formal verification environments and model-driven engineering | |
Formally verified analysis of resource sharing conflicts in multithreaded Java | |
Hoare-like verification of graph transformation | |
Investigation dans des systèmes abstraits avec entrées et sorties comme fonctions partielles de temps | |
Investigation of abstract systems with inputs and outputs as partial functions of time. | |
Raisonnement sur les transformations de graphes. | |
Représentation inductive, preuves et raffinement de structures de pointeurs. |