Nikolai Kosmatov

发表

Yannick Moy, Nikolai Kosmatov, Claude Marché, 2016, ISoLA.

Nikolai Kosmatov, Julien Signoles, Kostyantyn Vorobyov, 2017, RV-CuBES.

Yannick Moy, Nikolai Kosmatov, Julien Signoles, 2012 .

Frédéric Loulergue, Nikolai Kosmatov, Matthieu Lemerre, 2015, FMICS.

Nikolai Kosmatov, Bernard Botella, Muriel Roger, 2013, 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering.

Nikolai Kosmatov, Simon Duquennoy, Alexandre Peyrard, 2018, EWSN.

Fabrice Bouquet, Bruno Legeard, Calogero G. Zarba, 2005 .

Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson, 2015, SAC.

Nikolai Kosmatov, Julien Signoles, Kostyantyn Vorobyov, 2017, RV.

Frédéric Loulergue, Nikolai Kosmatov, Matthieu Lemerre, 2012, 2012 International Conference on High Performance Computing & Simulation (HPCS).

Nikolai Kosmatov, Nicky Williams, 2012, 2012 12th International Conference on Quality Software.

Nikolai Kosmatov, Romain Soulat, Delphine Longuet, 2020, ISoLA.

Frédéric Loulergue, Nikolai Kosmatov, Allan Blanchard, 2019, NFM.

Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2011, TAP@TOOLS.

Nikolai Kosmatov, Julien Signoles, Jacques Julliand, 2014, 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation.

Nikolai Kosmatov, Mickaël Delahaye, Virgile Prevosto, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Nikolai Kosmatov, Mickaël Delahaye, 2013, ICST Workshops.

Nikolai Kosmatov, Pascale Le Gall, Jean-Christophe Léchenet, 2016, FASE.

Laurent Vigneron, Nikolai Kosmatov, Yohan Boichut, 2006 .

Nikolai Kosmatov, Bruno Marre, Pascal Cuoq, 2013, Automated Software Engineering.

Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2011 .

Frédéric Loulergue, Nikolai Kosmatov, Julien Signoles, 2019, ALET.

Bruno Legeard, Nikolai Kosmatov, Mark Utting, 2004, 15th International Symposium on Software Reliability Engineering.

Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, 2018, ArXiv.

Nikolai Kosmatov, Sébastien Bardin, François Cheynier, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

Nikolai Kosmatov, Jasmin Christian Blanchette, 2015, Lecture Notes in Computer Science.

Nikolai Kosmatov, Matthieu Lemerre, Virgile Prevosto, 2020, IFM.

Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2015, TAP@STAF.

Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson, 2016, Sci. Comput. Program..

Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2012, SAC '12.

Frédéric Loulergue, Nikolai Kosmatov, Julien Signoles, 2020, TAP@STAF.

Frédéric Loulergue, Nikolai Kosmatov, Allan Blanchard, 2018, NFM.

Nikolai Kosmatov, Julien Signoles, Franck Védrine, 2021, VMCAI.

Nikolai Kosmatov, Mickaël Delahaye, Omar Chebaro, 2012 .

Nikolai Kosmatov, Matthieu Lemerre, Céline Alec, 2014, TAP@STAF.

Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2018, Formal Aspects of Computing.

Frédéric Loulergue, Nikolai Kosmatov, Allan Blanchard, 2019, SAC.

Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

Frédéric Loulergue, Nikolai Kosmatov, Matthieu Lemerre, 2016, 2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM).

Nikolai Kosmatov, Bernard Botella, Muriel Roger, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

Nikolai Kosmatov, Julien Signoles, Fonenantsoa Maurica, 2019, ArXiv.

Nikolai Kosmatov, Armand Puccetti, Balázs Kiss, 2015, Haifa Verification Conference.

Frédéric Loulergue, Nikolai Kosmatov, Allan Blanchard, 2018, TAP@STAF.

Nikolai Kosmatov, Julien Signoles, Guillaume Petiot, 2013, RV.

Frédéric Loulergue, Nikolai Kosmatov, Allan Blanchard, 2017, VPT@ETAPS.

Nikolai Kosmatov, Julien Signoles, Virgile Prevosto, 2013, TAP@STAF.

Frédéric Loulergue, Nikolai Kosmatov, Allan Blanchard, 2016, CSTVA@ISSTA.

Nikolai Kosmatov, Sébastien Bardin, François Cheynier, 2013, ArXiv.

Nikolai Kosmatov, Pascale Le Gall, Jean-Christophe Léchenet, 2017, Formal Aspects of Computing.

Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, 2019, TACAS.

Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2014, TAP@STAF.

Nikolai Kosmatov, Pascale Le Gall, Jean-Christophe Léchenet, 2018, FASE.

Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, 2018, TAP@STAF.

Nikolai Kosmatov, Mickaël Delahaye, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

Nikolai Kosmatov, Julien Signoles, N. Kosmatov, 2013, RV.

Nikolai Kosmatov, 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).

Gabriele Taentzer, Manuel Wimmer, Nikolai Kosmatov, 2018, Software & Systems Modeling.

Nikolai Kosmatov, Jean-François Couchot, Alain Giorgetti, 2005, ASE '05.

Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2014 .

Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre, 2020, Int. J. Softw. Tools Technol. Transf..

Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2010, TAP@TOOLS.

Nikolai Kosmatov, Mickaël Delahaye, Sébastien Bardin, 2014, TAP@STAF.

Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, 2016, ArXiv.

Nikolai Kosmatov, Julien Signoles, Kostyantyn Vorobyov, 2018, TAP@STAF.

Nikolai Kosmatov, Julien Signoles, Virgile Prevosto, 2012, SEFM.

Nikolai Kosmatov, Julien Signoles, Mickaël Delahaye, 2013, SAC '13.

Nikolai Kosmatov, Julien Signoles, Virgile Prevosto, 2015, Formal Aspects of Computing.

Yves Le Traon, Nikolai Kosmatov, Jean-Yves Marion, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).

Frédéric Loulergue, Nikolai Kosmatov, Allan Blanchard, 2018, 2018 International Conference on High Performance Computing & Simulation (HPCS).

Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre, 2019, FASE.

Nikolai Kosmatov, Julien Signoles, Kostyantyn Vorobyov, 2017, ISMM.

Frédéric Loulergue, Nikolai Kosmatov, Allan Blanchard, 2018, 2018 IEEE Cybersecurity Development (SecDev).

Frédéric Loulergue, Nikolai Kosmatov, Allan Blanchard, 2018, Comput. Lang. Syst. Struct..

Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre, 2019, IFM.

Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, 2019, TAP@FM.

Nikolai Kosmatov, Mickaël Delahaye, Virgile Prevosto, 2016, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Nikolai Kosmatov, 2009, 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques.

Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, 2016, TACAS.

Nikolai Kosmatov, Julien Signoles, Fonenantsoa Maurica, 2020, RV.

Nikolai Kosmatov, Mickaël Delahaye, Patricia Mouy, 2009, 2009 ICSE Workshop on Automation of Software Test.

Nikolai Kosmatov, Simon Duquennoy, Frédéric Mangano, 2016, CRiSIS.

Nikolai Kosmatov, Bernard Botella, Muriel Roger, 2012, TAP@TOOLS.

Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre, 2021, Int. J. Softw. Tools Technol. Transf..

Nikolai Kosmatov, Mickaël Delahaye, Sébastien Bardin, 2021, Sci. Comput. Program..

Nikolai Kosmatov, Adel Djoudi, Martin Hána, 2021, FM.

Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, 2021, 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE).

François Bobot, Nikolai Kosmatov, Julien Signoles, 2021, Commun. ACM.