Nikolaï Kosmatov - Concepedia

Author

Nikolaï Kosmatov

Commissariat à l'Énergie Atomique et aux Énergies Alternatives ORCID

Also Known As

Kosmatov, Nikolai, N. Kosmatov, N. V. Kosmatov, Nikolai Kosmatov, Nikolaï Kosmatov

164

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives 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

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	13	471
2	Computer Engineering	12	13	471
3	Computer Science	12	13	471
4	Systems Engineering	8	8	326
5	Data Science	2	2	51

Nikolaï Kosmatov

Publications

935

Citations

H-Index

Page 1

	Year	Citations
Frama-C: A software analysis perspective Florent Kirchner, Nikolaï Kosmatov, Virgile Prévosto, Formal Aspects of Computing	2015	379
Boundary Coverage Criteria for Test Generation from Formal Models Nikolaï Kosmatov, Bruno Legeard, Fabien Peureux, EngineeringVerificationTest CoverageTest Data GenerationSoftware Engineering	2005	67
Common specification language for static and dynamic analysis of C programs Mickaël Delahaye, Nikolaï Kosmatov, Julien Signoles Program CheckingEngineeringCompiler TechnologyVerificationSoftware Engineering	2013	63
Program slicing enhances a verification technique combining static and dynamic analysis Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	2012	58
The dogged pursuit of bug-free C programs Patrick Baudin, François Bobot, David Bühler, Communications of the ACM Popular PlatformProgram CheckingEngineeringCompiler TechnologyVerification	2021	58
Automating structural testing of C programs: Experience with PathCrawler Bernard Botella, Mickaël Delahaye, Stephane Hong-Tuan-Ha, Software MaintenanceProgram CheckingEngineeringVerificationTest Data Generation	2009	49
Sound and Quasi-Complete Detection of Infeasible Test Requirements Sébastien Bardin, Mickaël Delahaye, Robin David, Software MaintenanceEngineeringVerificationTest CoverageTest Data Generation	2015	41
Time to clean your test objectives Michaël Marcozzi, Sébastien Bardin, Nikolaï Kosmatov,	2018	31
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria Sébastien Bardin, Nikolaï Kosmatov, François Cheynier EngineeringTest CoverageTest Data GenerationSoftware EngineeringSoftware Analysis	2014	26
Shadow state encoding for efficient monitoring of block-level properties Kostyantyn Vorobyov, Julien Signoles, Nikolaï Kosmatov EngineeringHardware Verification LanguageComputer ArchitectureInformation ForensicsMemory Model (Programming)	2017	25

Page 1