Nikolai Kosmatov

Registered user since Fri 4 Nov 2016

Name:Nikolai Kosmatov
Country:France
Affiliation:CEA List

Contributions

ICTSS 2023 Author in Steering Committee within the IFIP-ICTSS 35th International Conference on Testing Software and Systems-track
ICST 2023 Committee Member in Program Committee within the Research Papers-track
HILT'22 - Supporting a Rigorous Approach to Software Development Committee Member in Program Committee within the HILT 2022-track
FTfJP 2021 Committee Member in Program Committee within the FTfJP-track
FormaliSE 2021 Author of Methodology for Specification and Verification of High-Level Properties with MetAcsl within the FormaliSE 2021-track
VMCAI 2021 Author of Runtime Abstract Interpretation for Numerical Accuracy and Robustness within the VMCAI-track
HILT 2020 Committee Member in Program Committee within the HILT 2020-track
FTfJP 2020 Programme Committee in Program Committee within the FTfJP-track
FASE 2019 Author of A Data Flow Model with Frequency Arithmetic within the FASE 2019-track
TACAS 2019 Author of MetAcsl: Specification and Verification of High-Level Properties within the TACAS 2019-track
HILT 2018 Committee Member in Program Committee within the HILT 2018-track
Author of Soundness of a Dataflow Analysis for Memory Monitoring within the HILT 2018-track
* ICSE 2018 * Author of Time to Clean your Test Objectives within the Technical Papers -track
ISMM 2017 Author of Shadow State Encoding for Efficient Monitoring of Block-level Properties within the ISMM 2017-track