Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nikolai Kosmatov
conf.researchr.org general profile
* ICSE 2018 * profile
ECOOP and ISSTA 2021 profile
ETAPS 2019 profile
HILT'22 - Supporting a Rigorous Approach to Software Development profile
ICSE 2021 profile
ICST 2023 profile
ICST 2024 profile
ICTSS 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2021 profile
SPLASH 2018 profile
SPLASH 2020 profile
Registered user since Fri 4 Nov 2016
Name:
Nikolai Kosmatov
Country:
France
Affiliation:
CEA List
Personal website:
https://nikolai-kosmatov.eu/
Contributions
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
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
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
Share
x
Tue 10 Dec 06:49