Articles in journal, book chapters
- Allan Blanchard, Nikolai Kosmatov, and Frédéric Loulergue. MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models. Computer Languages, Systems & Structures, 53:121-142, 2018.
Conference articles
- Blanchard Allan, Nikolai Kosmatov, and Frédéric Loulergue. A CHR-Based Solver for Weak Memory Behaviors. In 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis (CSTVA), 2016.
BACK TO INDEX