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.
BACK TO INDEX