| Program slicing enhances a verification technique combining static and dynamic analysis O Chebaro, N Kosmatov, A Giorgetti, J Julliand Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1284-1291, 2012 | 86 | 2012 |
| A correspondence between rooted planar maps and normal planar lambda terms N Zeilberger, A Giorgetti arXiv preprint arXiv:1408.5028, 2014 | 39 | 2014 |
| Énumération des cartes pointées sur une surface orientable de genre quelconque en fonction des nombres de sommets et de faces D Arquès, A Giorgetti Journal of Combinatorial Theory, Series B 77 (1), 1-24, 1999 | 39 | 1999 |
| Your proof fails? Testing helps to find the reason G Petiot, N Kosmatov, B Botella, A Giorgetti, J Julliand International Conference on Tests and Proofs, 130-150, 2016 | 34 | 2016 |
| Quantum contextual finite geometries from dessins d'enfants M Planat, A Giorgetti, F Holweck, M Saniga International Journal of Geometric Methods in Modern Physics 12 (07), 1550067, 2015 | 26 | 2015 |
| The SANTE tool: Value analysis, program slicing and test generation for C program debugging O Chebaro, N Kosmatov, A Giorgetti, J Julliand International Conference on Tests and Proofs, 78-83, 2011 | 26 | 2011 |
| Combining static analysis and test generation for C program debugging O Chebaro, N Kosmatov, A Giorgetti, J Julliand International Conference on Tests and Proofs, 94-100, 2010 | 26 | 2010 |
| JAG: JML Annotation Generation for verifying temporal properties A Giorgetti, J Groslambert International Conference on Fundamental Approaches to Software Engineering …, 2006 | 26 | 2006 |
| Scalable automated proving and debugging of set-based specifications JF Couchot, D Déharbe, A Giorgetti, S Ranise Journal of the Brazilian Computer Society 9 (2), 17-36, 2003 | 26 | 2003 |
| How test generation helps software specification and deductive verification in Frama-C G Petiot, N Kosmatov, A Giorgetti, J Julliand International Conference on Tests and Proofs, 204-211, 2014 | 23 | 2014 |
| Counting rooted maps on a surface D Arquès, A Giorgetti Theoretical Computer Science 234 (1-2), 255-272, 2000 | 23 | 2000 |
| A symbolic transformation language and its application to a multiscale method W Belkhir, A Giorgetti, M Lenczner Journal of Symbolic Computation 65, 49-78, 2014 | 22 | 2014 |
| Verification of class liveness properties with java modelling language A Giorgetti, J Groslambert, J Julliand, O Kouchnarenko IET Software 2 (6), 500-514, 2008 | 20 | 2008 |
| Proving and debugging set-based specifications JF Couchot, F Dadeau, D Déharbe, A Giorgetti, S Ranise Electronic Notes in Theoretical Computer Science 95, 189-208, 2004 | 20 | 2004 |
| How testing helps to diagnose proof failures G Petiot, N Kosmatov, B Botella, A Giorgetti, J Julliand Formal Aspects of Computing 30 (6), 629-657, 2018 | 17 | 2018 |
| Tests and Proofs for Enumerative Combinatorics C Dubois, A Giorgetti, R Genestier International Conference on Tests and Proofs, 57-75, 2016 | 15 | 2016 |
| Sequential generation of structured arrays and its deductive verification R Genestier, A Giorgetti, G Petiot International Conference on Tests and Proofs, 109-128, 2015 | 15 | 2015 |
| A rule-based system for automatic decidability and combinability E Tushkanova, A Giorgetti, C Ringeissen, O Kouchnarenko Science of Computer Programming 99, 3-23, 2015 | 15 | 2015 |
| Praspel: A specification language for contract-based testing in php I Enderlin, F Dadeau, A Giorgetti, AB Othman IFIP International Conference on Testing Software and Systems, 64-79, 2011 | 14 | 2011 |
| Using SysML for smart surface modeling A Giorgetti, A Hammad, B Tatibouët 2010 First Workshop on Hardware and Software Implementation and Control of …, 2010 | 14 | 2010 |
Nikolai KosmatovResearcher, CEA, List & ThalesVerified email at cea.fr
