Guillaume Petiot

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 15

Top Venues

TAP@STAF

ICAART (2)

ICAART (3)

SCAM

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

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

Guillaume Petiot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guillaume Petiot