Aucune photo de Romain Demeyer

Romain Demeyer

  • Belgique

  • 7 Citations
  • 1 h-Index
20092013
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale Examinez les sujets de recherche où Romain Demeyer est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 11 Profils similaires
Boolean functions Ingénierie et Science des Matériaux
Industry Ingénierie et Science des Matériaux
Synchronization Ingénierie et Science des Matériaux
Temporal logic Ingénierie et Science des Matériaux
Data storage equipment Ingénierie et Science des Matériaux
Innovation Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux

Projets 2009 2009

Résultat de recherche 2010 2013

  • 7 Citations
  • 1 h-Index
  • 4 Article dans les actes d'une conférence/un colloque
  • 2 Article
  • 1 Résumé
11 Downloads (Pure)

Static Application-Level Race Detection in STM Haskell using Contracts

Demeyer, R. & Vanhoof, W., 10 déc. 2013, Dans : EPTCS.

Résultats de recherche: Contribution à un journal/une revueArticle

File
Boolean functions
Synchronization
Data storage equipment

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é

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-24

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle 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é)Article

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érenceArticle 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

Auteur: Demeyer, R., 2009

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier