Sophie Pinchinat

Publications

467

Citations

H-Index

1995

Active since

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Université de Rennes

Centre National de la Recherche Scientifique

Universidad Politécnica de Madrid

Institut national de recherche en sciences et technologies du numérique

Sophie Pinchinat is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in engineering, formal methods, and automated reasoning.

ORCID

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer ScienceSystems EngineeringBusinessProcess ControlMechanism DesignGames

Publications per year

1995–2020

Publications

Supervision Patterns in Discrete Event Systems Diagnosis

Thierry Jéron, Hervé Marchand, Sophie Pinchinat et al. · 2006 · 130 citations · Full text

Engineering, Discrete Event Systems, Verification +19

Front Matter, Table of Contents, Preface, Conference Organization

Johann Gamper, Sophie Pinchinat, Guido Sciavicco · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 42 citations · Full text

Refinement modal logic

Laura Bozzelli, Hans van Ditmarsch, Tim French et al. · Information and Computation · 2014 · 33 citations · Full text

Engineering, Substructural Logic, Automated Reasoning +5

Modal Specifications for the Control Theory of Discrete Event Systems

Guillaume Feuillade, Sophie Pinchinat · Discrete Event Dynamic Systems · 2007 · 29 citations

Control Theory, Engineering, Discrete Event System +10

DEL-based epistemic planning: Decidability and complexity

Thomas Bolander, Tristan Charrier, Sophie Pinchinat et al. · Artificial Intelligence · 2020 · 24 citations · Full text

Del-based Epistemic Planning, Engineering, Dynamic Epistemic Logic +5

Rows per page

1–5 of 19