| Frama-C: A software analysis perspective P Cuoq, F Kirchner, N Kosmatov, V Prevosto, J Signoles, B Yakobowski International conference on software engineering and formal methods, 233-247, 2012 | 594 | 2012 |
| Frama-C: A software analysis perspective F Kirchner, N Kosmatov, V Prevosto, J Signoles, B Yakobowski Formal aspects of computing 27 (3), 573-609, 2015 | 504 | 2015 |
| A survey of challenges for runtime verification from advanced application domains (beyond software) C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ... Formal Methods in System Design 54, 279-335, 2019 | 112 | 2019 |
| Common specification language for static and dynamic analysis of C programs M Delahaye, N Kosmatov, J Signoles Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1230-1235, 2013 | 98 | 2013 |
| First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014 E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ... International journal on software tools for technology transfer 21, 31-70, 2019 | 94 | 2019 |
| The dogged pursuit of bug-free C programs: the Frama-C software analysis platform P Baudin, F Bobot, D Bühler, L Correnson, F Kirchner, N Kosmatov, ... Communications of the ACM 64 (8), 56-68, 2021 | 87 | 2021 |
| Experience report: Ocaml for an industrial-strength static analysis framework P Cuoq, J Signoles, P Baudin, R Bonichon, G Canet, L Correnson, ... ACM Sigplan Notices 44 (9), 281-286, 2009 | 66 | 2009 |
| E-ACSL, a runtime verification tool for safety and security of C programs (tool paper) J Signoles, N Kosmatov, K Vorobyov RV-CuBES 2017-International Workshop on Competitions, Usability, Benchmarks …, 2017 | 56 | 2017 |
| An optimized memory monitoring for runtime assertion checking of C programs N Kosmatov, G Petiot, J Signoles Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 52 | 2013 |
| Frama-C user manual L Correnson, P Cuoq, A Puccetti, J Signoles | 49* | |
| Combining analyses for C program verification L Correnson, J Signoles International Workshop on Formal Methods for Industrial Critical Systems …, 2012 | 48 | 2012 |
| Hypercollecting semantics and its application to static analysis of information flow M Assaf, DA Naumann, J Signoles, E Totel, F Tronel ACM SIGPLAN Notices 52 (1), 874-887, 2017 | 47 | 2017 |
| Designing a Generic Graph Library Using ML Functors. S Conchon, JC Filliâtre, J Signoles Trends in functional programming 8, 124-140, 2007 | 46 | 2007 |
| E-ACSL: Executable ANSI/ISO C Specification Language J Signoles URL: http://frama-c. com/download/e-acsl/e-acsl. pdf, 0 | 37* | |
| Static versus dynamic verification in Why3, Frama-C and SPARK 2014 N Kosmatov, C Marché, Y Moy, J Signoles International Symposium on Leveraging Applications of Formal Methods, 461-478, 2016 | 35 | 2016 |
| Shadow state encoding for efficient monitoring of block-level properties K Vorobyov, J Signoles, N Kosmatov ACM SIGPLAN Notices 52 (9), 47-58, 2017 | 34 | 2017 |
| A lesson on runtime assertion checking with Frama-C N Kosmatov, J Signoles Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 31 | 2013 |
| Instrumentation of annotated C programs for test generation G Petiot, B Botella, J Julliand, N Kosmatov, J Signoles 2014 IEEE 14th International Working Conference on Source Code Analysis and …, 2014 | 25 | 2014 |
| Frama-c, a collaborative framework for c code verification: Tutorial synopsis N Kosmatov, J Signoles Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016 | 24 | 2016 |
| Efficient runtime assertion checking for properties over mathematical numbers N Kosmatov, F Maurica, J Signoles Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020 | 19 | 2020 |
Nikolai KosmatovResearcher, CEA, List & ThalesVerified email at cea.fr
