Projets par an
Empreinte digitale
Passez en revue plus en détail les thèmes de recherche où Romain DEMEYER est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
- 1 Profils similaires
Projets
- 1 Actif
-
Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. (Chercheur) & Vanhoof, W. (Responsable du Projet)
15/12/09 → …
Projet: Projet de thèse
-
Static Application-Level Race Detection in STM Haskell using Contracts
Demeyer, R. & Vanhoof, W., 10 déc. 2013, Electronic Proceedings in Theoretical Computer Science EPTCS. Open Publishing Association, (EPTCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
File43 Téléchargements (Pure) -
Verification of Transactions in STM Haskell using Contracts and Program Transformation
Demeyer, R. & Vanhoof, W., 2013, p. 47-51.Résultats de recherche: Contribution à un événement scientifique (non publié) › Résumé › Revue par des pairs
-
A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs
Demeyer, R. & Vanhoof, W., 2012, Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012). p. 10-24Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
-
Verifying the Consistency of Transactional Variables in STM Haskell
Demeyer, R. & Vanhoof, W., 2012.Résultats de recherche: Contribution à un événement scientifique (non publié) › Papier › Revue par des pairs
-
Proper Granularity for Atomic Sections in Concurrent Programs
Demeyer, R. & Vanhoof, W., 2011, Pre-Proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Thèse
-
Approche déclarative pour la modélisation et l'exécution de processus métiers: les workflow Saturn
Demeyer, R. (Auteur)Vanhoof, W. (Promoteur), 2009Student thesis: Master types › Master en sciences informatiques
Fichier