Nikolai Kosmatov -

Registered user since Fri 4 Nov 2016

Name:Nikolai Kosmatov

Country:France

Affiliation:CEA List

Personal website:https://nikolai-kosmatov.eu/

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