A Framework for Modular Formal Specification and Verification. - Pierre Michel; Virginie Wiels (FME, 1997)

Using Formal Verification Techniques to Reduce Simulation and Test Effort. - Odile Laurent; Pierre Michel; Virginie Wiels (FME, 2001)

Towards the verification of real-time systems in avionics: the Cotre approach. - Bernard Berthomieu; Pierre-Olivier Ribet; François Vernadat 001; J. L. Bernartt; Jean-Marie Farines; Jean-Paul Bodeveix; Mamoun Filali; Gérard Padiou; Pierre Michel; Patrick Farail; Pierre Gauffilet; Pierre Dissaux; et al. (FMICS, 2003)

A transport simulation code for inertial confinement fusion relevant laser-plasma interaction. - S. Weber; Pierre-Henri Maire; Raphaël Loubère; G. Riazuelo; Pierre Michel; Vladimir Tikhonchuk; Jean Ovadia (Comput. Phys. Commun., 2005)

SéMo'07, premier atelier sur la sémantique des modèles. - Benoît Combemale; Xavier Crégut; Marc Pantel; Pierre Michel (Obj. Logiciel Base données Réseaux, 2007)

Virtual Reality System for Rehabilitation of Children with Cerebral Palsy: A Preliminary Study. - Pierre Michel; Paul Richard; Takehiko Yamaguchi 002; Adrien Verhulst; Eulalie Verhulst; Mickaël Dinomais (VISIGRAPP (1: GRAPP), 2016)

Clustering nominal data using unsupervised binary decision trees: Comparisons with the state of the art methods. - Badih Ghattas; Pierre Michel; Laurent Boyer (Pattern Recognit., 2017)

Automatic generation of the dental scheme based on 2D radiographs. - Pierre Michel; Valentin Prezelin; Pauline Bléry; Yves Amouriq; Jeanpierre Guédon; Florent Autrusseau (Biomedical Applications in Molecular, Structural, and Functional Imaging, 2018)

Radio interference challenges in a multiprotocol compact RF hardware platform for home and building automation applications. - Salma Oudji; Stanis Courrèges; Jean-Noël Paillard; Vahid Meghdadi; Pierre Michel (Int. J. Commun. Syst., 2018)

Assessing variable importance in clustering: a new method based on unsupervised binary decision trees. - Badih Ghattas; Pierre Michel; Laurent Boyer (Comput. Stat., 2019)

From trips database to real-world fuel consumption. model and large-scale simulation framework. - Pierre Michel; Aurélie Pirayre; Sol Selene Rodríguez; Alexandre Chasse (ITSC, 2020)

A filter approach for feature selection in classification: application to automatic atrial fibrillation detection in electrocardiogram recordings. - Pierre Michel; Nicolas Ngo; Jean-François Pons; Stéphane Delliaux; Roch Giorgi (BMC Medical Informatics Decis. Mak., 2021)

Driving Behavior Identification and Real-World Fuel Consumption Estimation With Crowdsensing Data. - Aurélie Pirayre; Pierre Michel; Sol Selene Rodríguez; Alexandre Chasse (IEEE Trans. Intell. Transp. Syst., 2022)