conf.researchr.org / Nikolai Kosmatov
Registered user since Fri 4 Nov 2016
Name:Nikolai Kosmatov
Country:France
Affiliation:Thales Research & Technology
Personal website: https://nikolai-kosmatov.eu/
Contributions
2026
FM
- Author of SeaCoral: A Collaborative Test Generation Toolset for Industrial Orchestration of Testing Tools within the Industry Day-track
- Author of Formal Verification for Security Certification: From a First Success to Sustainable Industrial Usage within the Industry Day-track
- Committee Member in Industry Day Program Committee within the Industry Day-track
- Committee Member in Program Committee within the Research Track-track