No photo of Romain Demeyer
  • Belgium

  • 6 Citations
  • 1 h-Index
20092013
If you made any changes in Pure these will be visible here soon.

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.

  • 11 Similar Profiles
Boolean functions Engineering & Materials Science
Industry Engineering & Materials Science
Synchronization Engineering & Materials Science
Temporal logic Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Innovation Engineering & Materials Science
Semantics Engineering & Materials Science

Projects 2009 2009

Research Output 2010 2013

  • 6 Citations
  • 1 h-Index
  • 4 Conference contribution
  • 1 Abstract
  • 1 Paper
  • 1 Article
10 Downloads (Pure)

Static Application-Level Race Detection in STM Haskell using Contracts

Demeyer, R. & Vanhoof, W., 10 Dec 2013, In : EPTCS.

Research output: Contribution to journalArticle

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.

Research output: Contribution to conferenceAbstract

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Verifying the Consistency of Transactional Variables in STM Haskell

Demeyer, R. & Vanhoof, W., 2012.

Research output: Contribution to conferencePaper

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 proceedingConference contribution

Thesis

Approche déclarative pour la modélisation et l'exécution de processus métiers: les workflow Saturn

Author: Demeyer, R., 2009

Supervisor: Vanhoof, W. (Supervisor)

Student thesis: Master typesMaster in Computer science

File