| 2024 | ICAART | Uncertain Formal Concept Analysis for the Study of a Text Corpus. | Guillaume Petiot |
| 2023 | ICAART | Improved Encoding of Possibilistic Networks in CNF Using Quine-McCluskey Algorithm. | Guillaume Petiot |
| 2021 | ICAART | Compiling Possibilistic Networks to Compute Learning Indicators. | Guillaume Petiot |
| 2021 | ICAART | Using Possibilistic Networks to Compute Learning Course Indicators. | Guillaume Petiot |
| 2020 | IPMU | Converting Possibilistic Networks by Using Uncertain Gates. | Guillaume Petiot |
| 2019 | IC3K | Information Retrieval in a Concept Lattice by using Uncertain Logical Gates. | Guillaume Petiot |
| 2019 | ICAART | Uncertain Formal Concept Analysis for the Analyze of a Course Satisfaction Questionnaire. | Guillaume Petiot |
| 2019 | ICAISC | The Estimation of Uncertain Gates: An Application to Educational Indicators. | Guillaume Petiot |
| 2018 | IPMU | Merging Information Using Uncertain Gates: An Application to Educational Indicators. | Guillaume Petiot |
| 2018 | TAP | Static and Dynamic Verification of Relational Properties on Self-composed C Code. | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot |
| 2016 | SAFECOMP | FISSC: A Fault Injection and Simulation Secure Collection. | Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens |
| 2016 | TAP | Your Proof Fails? Testing Helps to Find the Reason. | Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand |
| 2015 | TAP | Sequential Generation of Structured Arrays and Its Deductive Verification. | Richard Genestier, Alain Giorgetti, Guillaume Petiot |
| 2014 | SCAM | Instrumentation of Annotated C Programs for Test Generation. | Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles |
| 2014 | TAP | How Test Generation Helps Software Specification and Deductive Verification in Frama-C. | Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
| 2013 | RV | An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs. | Nikolai Kosmatov, Guillaume Petiot, Julien Signoles |