Sophie Pinchinat
Sophie Pinchinat a rédigé la thèse suivante :
Des bisimulations pour la sémantique des systèmes réactifs
par Sophie Pinchinat sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1993
Sophie Pinchinat dirige actuellement la thèse suivante :
La vérification semi-interactive de programmes
par Dylan Bellier sous la direction de Sophie Pinchinat et de François Schwarzentruber . - Université de Rennes (2023-....)
Informatique
En préparation depuis le 01-09-2020
Sophie Pinchinat a dirigé les 4 thèses suivantes :
Assisted design and analysis of attack trees
par Maxime Audinot sous la direction de Sophie Pinchinat - Rennes 1
Informatique
Soutenue le 17-12-2018
Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique
par Tristan Charrier sous la direction de Sophie Pinchinat - Rennes 1
Informatique
Soutenue le 05-12-2018
Fondations logiques des jeux à information imparfaite : stratégies uniformes
par Bastien Maubert sous la direction de Sophie Pinchinat et de Guillaume Aucher . - Rennes 1
Informatique
Soutenue le 17-01-2014
Spécification logique de réseaux de Petri
par Guillaume Feuillade sous la direction de Sophie Pinchinat - Rennes 1
Informatique
Soutenue en 2005
Sophie Pinchinat a été président de jury des 8 thèses suivantes :
Automated verification and synthesis of distributed systems : in particular applied to SDN-IoT platform
par Abdul Majith Noordheen sous la direction de Hervé Marchand , Ocan Sankur et de Dinh Thai Bui . - Rennes 1
Informatique
Soutenue le 07-06-2022
A verification viewpoint on network congestion games
par Suman Sadhukhan sous la direction de Nathalie Bertrand et de Nicolas Markey . - Rennes 1
Informatique
Soutenue le 09-12-2021
Vérification formelle de la non-traçabilité pour les protocoles à état : entre modèles symboliques et calculatoires
par Solène Moreau sous la direction de Stéphanie Delaune et de David Baelde . - Rennes 1
Informatique
Soutenue le 18-11-2021
Principe de transduction sémantique pour l’application de théories d’interfaces sur des documents de spécification
par Aurélien Lamercerie sous la direction de Benoît Caillaud et de Annie Foret . - Rennes 1
Informatique
Soutenue le 08-04-2021
Reacting to “n-day” vulnerabilities in information systems
par Clément Elbaz sous la direction de Christine Morin et de Louis Rilling . - Rennes 1
Informatique
Soutenue le 30-03-2021
Formal modeling and quantitative analysis of security using attack- defense trees
par Wojciech Widel sous la direction de Gildas Avoine - Rennes, INSA
Informatique
Soutenue le 03-12-2019
Semantics of Strategy Logic
par Patrick Gardy sous la direction de Patricia Bouyer-Decitre et de Nicolas Markey . - Université Paris-Saclay (ComUE)
Mathématiques et Informatique
Soutenue le 12-06-2017
Distributed cost-optimal planning
par Loïg Jezequel sous la direction de Éric Fabre - Cachan, Ecole normale supérieure
Informatique
Soutenue le 13-11-2012
Sophie Pinchinat a été rapporteur de la thèse suivante :
Propriétés de jeux multi-agents
par Arnaud Da Costa Lopes (Da Costa Lopes) sous la direction de Wieslaw Zielonka et de François Laroussinie . - Cachan, Ecole normale supérieure
Informatique
Soutenue le 20-09-2011
Sophie Pinchinat a été membre de jury des 4 thèses suivantes :
Dynamic Epistemic Logic with Quantification And Normative Systems
par Mo Liu sous la direction de Hans van Ditmarsch et de Louwe Kuijer . - Université de Lorraine
Informatique
Soutenue le 23-06-2023
Représentation symbolique pour la logique épistémique dynamique probabiliste
par Sebastien Gamblin sous la direction de Meroua Bouzid - Normandie
Informatique
Soutenue le 12-12-2022
L'évolution culturelle de la connaissance en logique épistémique dynamique
par Line Van Den Berg sous la direction de Jérôme Euzenat - Université Grenoble Alpes
Mathématiques et informatique
Soutenue le 29-10-2021
Implementability of distributed systems described with scenarios
par Rouwaida Abdallah sous la direction de Claude Jard - Cachan, Ecole normale supérieure
Informatique
Soutenue le 16-07-2013
