Guillaume Petiot

According to our database, Guillaume Petiot authored at least 21 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Uncertain Formal Concept Analysis for the Study of a Text Corpus.

Guillaume Petiot

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Improved Encoding of Possibilistic Networks in CNF Using Quine-McCluskey Algorithm.

Guillaume Petiot

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

2022

Utilisation de l'algorithme de Quine-Mc Cluskey pour améliorer la compilation des réseaux Possibilistes.

Guillaume Petiot

Proceedings of the Rencontres francophones sur la Logique Floue et ses Applications, 2022

2021

Using Possibilistic Networks to Compute Learning Course Indicators.

Guillaume Petiot

Proceedings of the Agents and Artificial Intelligence - 13th International Conference, 2021

Compiling Possibilistic Networks to Compute Learning Indicators.

Guillaume Petiot

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

2020

Converting Possibilistic Networks by Using Uncertain Gates.

Guillaume Petiot

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

2019

The Estimation of Uncertain Gates: An Application to Educational Indicators.

Guillaume Petiot

Proceedings of the Artificial Intelligence and Soft Computing, 2019

Uncertain Formal Concept Analysis for the Analyze of a Course Satisfaction Questionnaire.

Guillaume Petiot

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Information Retrieval in a Concept Lattice by using Uncertain Logical Gates.

Guillaume Petiot

Proceedings of the 11th International Joint Conference on Knowledge Discovery, 2019

2018

How testing helps to diagnose proof failures.

Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand

Formal Aspects Comput., 2018

Static and Dynamic Verification of Relational Properties on Self-composed C Code.

Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot

Proceedings of the Tests and Proofs - 12th International Conference, 2018

Merging Information Using Uncertain Gates: An Application to Educational Indicators.

Guillaume Petiot

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, 2018

The Calculation of Educational Indicators by Uncertain Gates.

Guillaume Petiot

Proceedings of the 20th International Conference on Enterprise Information Systems, 2018

2016

Your Proof Fails? Testing Helps to Find the Reason.

Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 10th International Conference, 2016

FISSC: A Fault Injection and Simulation Secure Collection.

Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens

Proceedings of the Computer Safety, Reliability, and Security, 2016

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

PhD thesis, 2015

Sequential Generation of Structured Arrays and Its Deductive Verification.

Richard Genestier, Alain Giorgetti, Guillaume Petiot

Proceedings of the Tests and Proofs - 9th International Conference, 2015

2014

How Test Generation Helps Software Specification and Deductive Verification in Frama-C.

Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Instrumentation of Annotated C Programs for Test Generation.

Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

2013

An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs.

Nikolai Kosmatov, Guillaume Petiot, Julien Signoles

Proceedings of the Runtime Verification - 4th International Conference, 2013

2010

Functional Parallel Programming with Revised Bulk Synchronous Parallel ML.

Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue, Guillaume Petiot

Proceedings of the First International Conference on Networking and Computing, 2010