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

Committee Member in Program Committee within the Research Track-track

2024

ICST

PC Member in Program Committee within the Research Papers-track

2023

ICTSS

Author in Steering Committee within the IFIP-ICTSS 35th International Conference on Testing Software and Systems-track

ICST

Committee Member in Program Committee within the Research Papers-track

2022

HILT

Committee Member in Program Committee within the HILT 2022-track

2021

FTfJP

Committee Member in Program Committee within the FTfJP-track

FormaliSE

Author of Methodology for Specification and Verification of High-Level Properties with MetAcsl within the FormaliSE 2021-track

VMCAI

Author of Runtime Abstract Interpretation for Numerical Accuracy and Robustness within the VMCAI-track

2020

HILT

Committee Member in Program Committee within the HILT 2020-track

FTfJP

Programme Committee in Program Committee within the FTfJP-track

2019

FASE

Author of A Data Flow Model with Frequency Arithmetic within the FASE 2019-track

TACAS

Author of MetAcsl: Specification and Verification of High-Level Properties within the TACAS 2019-track

2018

HILT

ICSE

Author of Time to Clean your Test Objectives within the Technical Papers -track

2017

ISMM

Author of Shadow State Encoding for Efficient Monitoring of Block-level Properties within the ISMM 2017-track