Test Generation Derived from Model-Checking. - Thierry Jéron; Pierre Morel (CAV, 1999)

Efficient strategies for integration and regression testing of OO systems. - Thierry Jéron; Jean-Marc Jézéquel; Yves Le Traon; Pierre Morel (ISSRE, 1999)

Verification of Test Suites. - Claude Jard; Thierry Jéron; Pierre Morel (TestCom, 2000)

Verification and test generation for the SSCOP protocol. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Claude Jard; Thierry Jéron; Alain Kerbrat; Pierre Morel; Laurent Mounier (Sci. Comput. Program., 2000)

Efficient object-oriented integration and regression testing. - Yves Le Traon; Thierry Jéron; Jean-Marc Jézéquel; Pierre Morel (IEEE Trans. Reliab., 2000)

Gramm: grammar of graphics plotting in Matlab. - Pierre Morel (J. Open Source Softw., 2018)

BCImat: a Matlab-based framework for Intracortical Brain-Computer Interfaces and their simulation with an artificial spiking neural network. - Enrico Ferrea; Pierre Morel; Alexander Gail (J. Open Source Softw., 2022)