Nikolaï Kosmatov

Publications

935

Citations

H-Index

2005

Active since

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

Laboratoire d'Intégration des Systèmes et des Technologies

Institut national de recherche en sciences et technologies du numérique

Université de franche-comté

Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies

Nikolaï Kosmatov is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in computer engineering, program analysis, and formal verification.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationComputer EngineeringProgram AnalysisSoftware TestingSoftware EngineeringVerification

Publications per year

2005–2021

Publications

Frama-C: A software analysis perspective

Florent Kirchner, Nikolaï Kosmatov, Virgile Prévosto et al. · Formal Aspects of Computing · 2015 · 379 citations · Full text

Boundary Coverage Criteria for Test Generation from Formal Models

Nikolaï Kosmatov, Bruno Legeard, Fabien Peureux et al. · 2005 · 67 citations

Engineering, Verification, Test Coverage +23

Common specification language for static and dynamic analysis of C programs

Mickaël Delahaye, Nikolaï Kosmatov, Julien Signoles · 2013 · 63 citations

Program Checking, Engineering, Compiler Technology +25

Program slicing enhances a verification technique combining static and dynamic analysis

Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti et al. · 2012 · 58 citations

Software Maintenance, Program Checking, Engineering +23

The dogged pursuit of bug-free C programs

Patrick Baudin, François Bobot, David Bühler et al. · Communications of the ACM · 2021 · 58 citations · Full text

Popular Platform, Program Checking, Engineering +20

Rows per page

1–5 of 19