Back to INDEX

  Publications of Nikolaï Kosmatov  

Conference articles
  1. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis. In SAC 2012, 27-th ACM Symposium On Applied Computing, Trento, Italy, pages 1284--1291, March 2012. [bibtex]


  2. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. In TAP'11, 5-th Int. Conf. of Tests and Proofs, volume 6706 of LNCS, Zurich, Switzerland, pages 78--83, June 2011. Springer. Note: Short paper, TOOL session. [bibtex]


  3. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Combining Frama-C and PathCrawler for C Program Debugging. In GDR GPL 2010, 2èmes journées nationales du Groupement de recherche CNRS du Génie de la programmation et du logiciel, Pau, France, pages 217--218, March 2010. Note: Résumé étendu. [bibtex]


  4. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Combining Static Analysis and Test Generation for C Program Debugging. In G. Fraser and A. Gargantini, editors, TAP'10, 4th Int. Conf. on Tests and Proofs, volume 6143 of LNCS, Malaga, Spain, pages 94--100, July 2010. [bibtex]


  5. Yohan Boichut, Nikolaï Kosmatov, and L. Vigneron. Validation of Prouvé protocols using the automatic tool TA4SP. In Proc. of the Third Taiwanese-French Conference on Information Technology (TFIT 2006), Nancy, France, pages 467--480, March 2006. [bibtex]


  6. Nikolaï Kosmatov. A Constraint Solver for Sequences and its Applications. In Procs of the 21st Annual ACM Symposium on Applied Computing (SAC'06), Dijon, France, pages 404--408, April 2006. [bibtex]


  7. Nikolaï Kosmatov. Constraint Solving for Sequences in Software Validation and Verification. In INAP'05, Proc. of the 16th Int. Conf. on Applications of Declarative Programming and Knowledge Management, volume 4369 of LNCS, Fukuoka, Japan, pages 25--37, 2006. Springer. Note: ISBN 978-3-540-69233-1. [bibtex]


  8. Jean-François Couchot, Alain Giorgetti, and Nikolaï Kosmatov. A Uniform Deductive Approach for Parameterized Protocol Safety. In ASE'05: Procs of the 20th IEEE/ACM Int. Conf. on Automated Software Engineering, pages 364--367, 2005. IEEE Computer Society Press. Note: Isbn 1-59593-993-4. [bibtex]


  9. Nikolaï Kosmatov. A Constraint Solver for Sequences. In Procs of the 1st Int. Workshop on Constraint Programming Beyond Finite Intege Domains (BeyondFD'05), Sitges (Barcelona), Spain, pages 49--54, October 2005. [bibtex]


  10. Nikolaï Kosmatov, Bruno Legeard, Fabien Peureux, and Mark Utting. Boundary Coverage Criteria for Test Generation from Formal Models. In Proc. of the 15th Int. Symp. on Software Reliability Engineering (ISSRE'04), Saint-Malo, France, pages 139--150, November 2004. IEEE Computer Society Press. [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html