author-photo

Nikolai Kosmatov

Commissariat à l'énergie atomique et aux énergies alternatives

7

Papers

8

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

Testing Software and Systems

2019
Show All
- Source
- Cite
- Save
Citations (0)
RPP : Preuve automatique de propriétés relationnelles par Self-Composition

2018
Show All
- Source
- Cite
- Save
Citations (0)
Rester statique pour devenir plus rapide, plus précis et plus mince

2015
Show All
- Source
- Cite
- Save
Citations (4)
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses Tutorial Synopsis

2014 ACM Transactions on Applied Perception
- Nikolai Kosmatov
- Julien Signoles
Show All
- Source
- Cite
- Save
Citations (0)
Génération de tests “tous-les-chemins” : quelle complexité pour quelles contraintes ?

2010
- Nikolai Kosmatov
Show All
- Source
- Cite
- Save
Citations (0)