Projects per year
Fingerprint
Dive into the research topics where Romain DEMEYER is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Projects
- 1 Active
-
Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. (Researcher) & Vanhoof, W. (PI)
15/12/09 → …
Project: PHD
-
Static Application-Level Race Detection in STM Haskell using Contracts
Demeyer, R. & Vanhoof, W., 10 Dec 2013, Electronic Proceedings in Theoretical Computer Science EPTCS. Open Publishing Association, (EPTCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File43 Downloads (Pure) -
Verification of Transactions in STM Haskell using Contracts and Program Transformation
Demeyer, R. & Vanhoof, W., 2013, p. 47-51.Research output: Contribution to conference › Abstract › peer-review
-
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-24Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
Verifying the Consistency of Transactional Variables in STM Haskell
Demeyer, R. & Vanhoof, W., 2012.Research output: Contribution to conference › Paper › peer-review
-
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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Thesis
-
Approche déclarative pour la modélisation et l'exécution de processus métiers: les workflow Saturn
Demeyer, R. (Author)Vanhoof, W. (Supervisor), 2009Student thesis: Master types › Master in Computer science
File