Guillaume Petiot

23 papers B 2C 1Misc 1Journal 2Unranked 16
YearRankTypeTitle / Venue / Authors
2025 — conf
Encoding the Uncertain OR Gate for Weighted Model Counting in Possibility Theory.
FUZZ
Guillaume Petiot
2024 — conf
Uncertain Formal Concept Analysis for the Study of a Text Corpus.
ICAART (3)
Guillaume Petiot
2023 — conf
Improved Encoding of Possibilistic Networks in CNF Using Quine-McCluskey Algorithm.
ICAART (3)
Guillaume Petiot
2022 — conf
Utilisation de l'algorithme de Quine-Mc Cluskey pour améliorer la compilation des réseaux Possibilistes.
LFA
Guillaume Petiot
2021 — conf
Compiling Possibilistic Networks to Compute Learning Indicators.
ICAART (2)
Guillaume Petiot
2021 — conf
Using Possibilistic Networks to Compute Learning Course Indicators.
ICAART (Revised Selected Papers)
Guillaume Petiot
2020 — conf
Converting Possibilistic Networks by Using Uncertain Gates.
IPMU (3)
Guillaume Petiot
2019 — conf
Information Retrieval in a Concept Lattice by using Uncertain Logical Gates.
KDIR
Guillaume Petiot
2019 — conf
The Estimation of Uncertain Gates: An Application to Educational Indicators.
ICAISC (1)
Guillaume Petiot
2019 — conf
Uncertain Formal Concept Analysis for the Analyze of a Course Satisfaction Questionnaire.
ICAART (2)
Guillaume Petiot
2018 J jnl
How testing helps to diagnose proof failures.
Formal Aspects Comput.
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
2018 — conf
Merging Information Using Uncertain Gates: An Application to Educational Indicators.
IPMU (1)
Guillaume Petiot
2018 — conf
Static and Dynamic Verification of Relational Properties on Self-composed C Code.
TAP@STAF
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot
2018 — conf
The Calculation of Educational Indicators by Uncertain Gates.
ICEIS (1)
Guillaume Petiot
2016 B conf
FISSC: A Fault Injection and Simulation Secure Collection.
SAFECOMP
Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens
2016 — conf
Your Proof Fails? Testing Helps to Find the Reason.
TAP@STAF
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
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 — conf
Sequential Generation of Structured Arrays and Its Deductive Verification.
TAP@STAF
Richard Genestier, Alain Giorgetti, Guillaume Petiot
2015 J jnl
Your Proof Fails? Testing Helps to Find the Reason.
CoRR
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
2014 — conf
How Test Generation Helps Software Specification and Deductive Verification in Frama-C.
TAP@STAF
Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
2014 C conf
Instrumentation of Annotated C Programs for Test Generation.
SCAM
Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles
2013 B conf
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs.
RV
Nikolai Kosmatov, Guillaume Petiot, Julien Signoles
2010 Misc conf
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML.
ICNC
Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue, Guillaume Petiot