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.
- 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.
- Nikolai Kosmatov. A constraint solver for sequences and its applications. In SAC '06: Proc. 21st ACM Symp. Applied Computing, pages 404-408, 2006. ACM.
- Nikolai Kosmatov. Constraint Solving for Sequences in Software Validation and Verification. In INAP '05: Proc. 16th Intl. Conf. Applications of Declarative Programming and Knowledge Management, volume 4369 of LNCS, pages 25-37, 2006. SV.
BACK TO INDEX