Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. - Wadoud Bousdira; Frédéric Gava; Louis Gesbert; Frédéric Loulergue; Guillaume Petiot (ICNC, 2010)

An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs. - Nikolai Kosmatov; Guillaume Petiot; Julien Signoles (RV, 2013)

Instrumentation of Annotated C Programs for Test Generation. - Guillaume Petiot; Bernard Botella; Jacques Julliand; Nikolai Kosmatov; Julien Signoles (SCAM, 2014)

How Test Generation Helps Software Specification and Deductive Verification in Frama-C. - Guillaume Petiot; Nikolai Kosmatov; Alain Giorgetti; Jacques Julliand (TAP@STAF, 2014)

Sequential Generation of Structured Arrays and Its Deductive Verification. - Richard Genestier; Alain Giorgetti; Guillaume Petiot (TAP@STAF, 2015)

Contribution à la vérification de programmes C par combinaison de tests et de preuves. (Contribution to software verification combining tests and proofs). - Guillaume Petiot (2015)

FISSC: A Fault Injection and Simulation Secure Collection. - Louis Dureuil; Guillaume Petiot; Marie-Laure Potet; Thanh-Ha Le; Aude Crohen; Philippe de Choudens (SAFECOMP, 2016)

Your Proof Fails? Testing Helps to Find the Reason. - Guillaume Petiot; Nikolai Kosmatov; Bernard Botella; Alain Giorgetti; Jacques Julliand (TAP@STAF, 2016)

The Calculation of Educational Indicators by Uncertain Gates. - Guillaume Petiot (ICEIS (1), 2018)

Merging Information Using Uncertain Gates: An Application to Educational Indicators. - Guillaume Petiot (IPMU (1), 2018)

Static and Dynamic Verification of Relational Properties on Self-composed C Code. - Lionel Blatter; Nikolai Kosmatov; Pascale Le Gall; Virgile Prevosto; Guillaume Petiot (TAP@STAF, 2018)

How testing helps to diagnose proof failures. - Guillaume Petiot; Nikolai Kosmatov; Bernard Botella; Alain Giorgetti; Jacques Julliand (Formal Aspects Comput., 2018)

Information Retrieval in a Concept Lattice by using Uncertain Logical Gates. - Guillaume Petiot (KDIR, 2019)

Uncertain Formal Concept Analysis for the Analyze of a Course Satisfaction Questionnaire. - Guillaume Petiot (ICAART (2), 2019)

The Estimation of Uncertain Gates: An Application to Educational Indicators. - Guillaume Petiot (ICAISC (1), 2019)

Converting Possibilistic Networks by Using Uncertain Gates. - Guillaume Petiot (IPMU (3), 2020)

Compiling Possibilistic Networks to Compute Learning Indicators. - Guillaume Petiot (ICAART (2), 2021)

Using Possibilistic Networks to Compute Learning Course Indicators. - Guillaume Petiot (ICAART (Revised Selected Papers), 2021)

Utilisation de l'algorithme de Quine-Mc Cluskey pour améliorer la compilation des réseaux Possibilistes. - Guillaume Petiot (LFA, 2022)

Improved Encoding of Possibilistic Networks in CNF Using Quine-McCluskey Algorithm. - Guillaume Petiot (ICAART (3), 2023)

Uncertain Formal Concept Analysis for the Study of a Text Corpus. - Guillaume Petiot (ICAART (3), 2024)