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
- SeaCoral: A Collaborative Test Generation Toolset for Industrial Orchestration of Testing Tools
- Session Chair of Session 9: Automata & Reactive Models (part of Research Track)
- Session Chair of FM/TAP Keynote: Cristian Cadar (part of Main Plenaries / Invited Talks)
- Formal Verification for Security Certification: From a First Success to Sustainable Industrial Usage
- Session Chair of TAP Session 2: Program Analysis, Testing & Coverage (part of TAP Track)
- Committee Member in Industry Day Program Committee within the Industry Day-track
- Committee Member in Program Committee within the Research Track-track
FM 2026-profile
View general profile
View general profile