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
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
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
Share
x
Tue 28 Mar 17:35