Sophie Pinchinat

Présentation

Publications

Article dans une revue (16)

Alternating Tree Automata with Qualitative Semantics Raphaël Berthon,Nathanaël Fijalkow,Emmanuel Filiot,Shibashis Guha,Bastien Maubertet al. ACM Transactions on Computational Logic, 2020, 22 (1), ⟨10.1145/3431860⟩ Article dans une revue hal-02533936v1
S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems Sophie Pinchinat Studia Logica, 2019, 107 (5), pp.1083-1088. ⟨10.1007/s11225-019-09875-0⟩ Article dans une revue hal-02540746v1
Beyond 2014: Formal Methods for Attack Tree-based Security Modeling Wojciech Wideł,Maxime Audinot,Barbara Fila,Sophie Pinchinat ACM Computing Surveys, 2019, 52 (4), pp.1-36. ⟨10.1145/3331524⟩ Article dans une revue hal-02308427v1
Symbolic model checking of public announcement protocols Tristan Charrier,Sophie Pinchinat,François Schwarzentruber Journal of Logic and Computation, 2019, 29 (8), pp.1211-1249. ⟨10.1093/logcom/exz023⟩ Article dans une revue hal-02533680v1
Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents Mohamadou Lamine Diouf,Sophie Pinchinat Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2016, Volume 25 - 2016 - Special issue CNRIA 2015, ⟨10.46298/arima.1479⟩ Article dans une revue hal-01351970v2
Diagnosis and Opacity Problems for Infinite State Systems Modeled by Recursive Tile Systems Sébastien Chédor,Christophe Morvan,Sophie Pinchinat,Hervé Marchand Discrete Event Dynamic Systems, 2015, 25 ((1-2)), pp.271-294. ⟨10.1007/s10626-014-0197-3⟩ Article dans une revue hal-00994970v1
The complexity of one-agent refinement modal logic Laura Bozzelli,Hans van Ditmarsch,Sophie Pinchinat Theoretical Computer Science, 2015, 603, pp.58--83. ⟨10.1016/j.tcs.2015.07.015⟩ Article dans une revue hal-01273557v1
Refinement modal logic Laura Bozzelli,Hans P. Van Ditmarsch,Tim French,James Hales,Sophie Pinchinat Information and Computation, 2014, 239, pp.37. ⟨10.1016/j.ic.2014.07.013⟩ Article dans une revue hal-01098737v1
Verification of gap-order constraint abstractions of counter systems Laura Bozzelli,Sophie Pinchinat Theoretical Computer Science, 2014, pp.36. ⟨10.1016/j.tcs.2013.12.002⟩ Article dans une revue hal-01098739v1
The Expressive Power of Epistemic \textdollar\(μ\)\textdollar-Calculus Catalin Dima,Bastien Maubert,Sophie Pinchinat Computing Research Repository, 2014, abs/1407.5166 Article dans une revue hal-01699938v1
A General Notion of Uniform Strategies Bastien Maubert,Sophie Pinchinat International Game Theory Review, 2013, 16 (1), pp.33. ⟨10.1142/S0219198914400040⟩ Article dans une revue hal-01098738v1
Modal event-clock specifications for timed component-based design Nathalie Bertrand,Axel Legay,Sophie Pinchinat,Jean-Baptiste Raclet Science of Computer Programming, 2012, 77, pp.1212-1234. ⟨10.1016/j.scico.2011.01.007⟩ Article dans une revue istex hal-00752449v1
On timed alternating simulation for concurrent timed games Laura Bozzelli,Axel Legay,Sophie Pinchinat Acta Informatica, 2012, Acta Informatica, 49 (4), pp.31. ⟨10.1007/s00236-012-0158-y⟩ Article dans une revue istex hal-01098747v1
Prognosis of \it mega-Languages for the Diagnosis of \it -Languages: A Topological Perspective Andreas Bauer,Sophie Pinchinat Discrete Event Dynamic Systems, 2009, 19 (4), pp.451-470 Article dans une revue inria-00555734v1
Modal Specifications for the Control Theory of Discrete Event Systems Guillaume Feuillade,Sophie Pinchinat Discrete Event Dynamic Systems, 2007, 17 (2), pp.211-232 Article dans une revue inria-00555754v1
Spécifications modales de réseaux de Petri Guillaume Feuillade,Sophie Pinchinat Journal Européen des Systèmes Automatisés, 2005, 39 (1) Article dans une revue inria-00556005v1

Communication dans un congrès (36)

Propositional Dynamic Logic Formula Synthesis and Some Applications. Sophie Pinchinat 11th Indian Conference on Logic and its Applications, Feb 2025, Kolkata, India Communication dans un congrès hal-05519196v1
Cat Herding Game Played on Infinite Trees Rylo Ashmore,Sophie Pinchinat Foundations of Software Technology and Theoretical Computer Science, Dec 2025, Goa, India. ⟨10.4230/LIPIcs.FSTTCS.2025.10⟩ Communication dans un congrès hal-05519170v1
Sémantique Formelle à Deux Joueurs pour Arbres d'Attaque Thomas T Brihaye,Sophie Pinchinat,Alexandre Terefenko CNIA 2023 - Conférence Nationale en Intelligence Artificielle, PFIA, Jul 2023, strasbourg, France Communication dans un congrès hal-04164293v1
Dependency Matrices for Multiplayer Strategic Dependencies Dylan Bellier,Sophie Pinchinat,François Schwarzentruber,François Schwarzentruber FSTTCS 2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2022, Madras, India. pp.162 - 177, ⟨10.4230/LIPIcs.FSTTCS.2022.31⟩ Communication dans un congrès hal-04047617v1
Attack Trees: A Notion of Missing Attacks Sophie Pinchinat,Barbara Fila,Florence Florence Wacheux,Yann Thierry-Mieg GraMSec 2019 - 6th International Workshop on Graphical Models for Security, Jun 2019, Hoboken, NJ, United States. pp.23-49, ⟨10.1007/978-3-030-36537-0_3⟩ Communication dans un congrès hal-02533750v1
Reachability Games in Dynamic Epistemic Logic Bastien Maubert,Sophie Pinchinat,François Schwarzentruber the Twenty-Eighth International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China Communication dans un congrès hal-02533558v1
Guided Design of Attack Trees: A System-Based Approach Maxime Audinot,Sophie Pinchinat,Barbara Kordy CSF 2018 - IEEE 31st Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. pp.61-75, ⟨10.1109/CSF.2018.00012⟩ Communication dans un congrès hal-01871059v1
Is my attack tree correct? Maxime Audinot,Sophie Pinchinat,Barbara Kordy ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Sep 2017, Oslo, Norway. pp.83-102, ⟨10.1007/978-3-319-66402-6_7⟩ Communication dans un congrès hal-01686505v1
Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment Tristan Charrier,Sophie Pinchinat,François Schwarzentruber DALI@TABLEAUX, 2017, Brasília, Brazil Communication dans un congrès hal-02534021v1
Unifying Hyper and Epistemic Temporal Logics Laura Bozzelli,Bastien Maubert,Sophie Pinchinat Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, 2015, Unknown, Unknown Region. pp.167--182, ⟨10.1007/978-3-662-46678-0_11⟩ Communication dans un congrès hal-01273553v1
ATSyRa: An Integrated Environment for Synthesizing Attack Trees Sophie Pinchinat,Mathieu Acher,Didier Vojtisek Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Jul 2015, Verona, Italy Communication dans un congrès hal-01243021v1
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus Catalin Dima,Bastien Maubert,Sophie Pinchinat Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, 2015, Unknown, Unknown Region. pp.179--191, ⟨10.1007/978-3-662-48057-1_14⟩ Communication dans un congrès hal-01699931v1
Games with Communication: from Belief to Preference Change Guillaume Aucher,Bastien Maubert,Sophie Pinchinat,François Schwarzentruber Principles and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy Communication dans un congrès hal-01194398v1
Automata Techniques for Epistemic Protocol Synthesis Guillaume Aucher,Bastien Maubert,Sophie Pinchinat 2nd International Workshop on Strategic Reasoning, Apr 2014, 2014-04-06, France. pp.11, ⟨10.4204/EPTCS.146.13⟩ Communication dans un congrès hal-01098740v1
Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis Sophie Pinchinat,Mathieu Acher,Didier Vojtisek Workshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France Communication dans un congrès hal-01064645v1
Emptiness Of Alternating Tree Automata Using Games With Imperfect Information Nathanaël Fijalkow,Sophie Pinchinat,Olivier Serre 33rd International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 2013), 2013, Guwahati, India. pp.13, ⟨10.4230/LIPIcs.FSTTCS.2013.299⟩ Communication dans un congrès hal-01260682v2
The Complexity of Synthesizing Uniform Strategies Bastien Maubert,Sophie Pinchinat,Laura Bozzelli 1st International Workshop on Strategic Reasoning, {SR} 2013, Mar 2013, Rome, Italy. pp.8, ⟨10.4204/EPTCS.112.17⟩ Communication dans un congrès hal-01098745v1
Jumping Automata for Uniform Strategies Bastien Maubert,Sophie Pinchinat IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2013, Guwahati, India. ⟨10.4230/LIPIcs.FSTTCS.2013.287⟩ Communication dans un congrès hal-01098741v1
The Complexity of One-Agent Refinement Modal Logic Laura Bozzelli,Hans P. Van Ditmarsch,Sophie Pinchinat IJCAI 2013 - 23rd International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China Communication dans un congrès hal-01098744v1
The Complexity of One-Agent Refinement Modal Logic Laura Bozzelli,Hans Van Ditmarch,Sophie Pinchinat JELIA 2012 - 13th European Conference on Logics in Artificial Intelligence, Sep 2012, Toulouse, France. pp.120-133, ⟨10.1007/978-3-642-33353-8_10⟩ Communication dans un congrès hal-01098749v1
Analysis of partially observed recursive tile systems Sébastien Chédor,Christophe Morvan,Sophie Pinchinat,Hervé Marchand 11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271 Communication dans un congrès hal-00743196v1
Hardness of Preorder Checking for Basic Formalisms Laura Bozzelli,Axel Legay,Sophie Pinchinat LPAR, Apr 2010, Dakar, Senegal. pp.119-135 Communication dans un congrès inria-00555751v1
On Timed Alternating Simulation for Concurrent Timed Games Laura Bozzelli,Axel Legay,Sophie Pinchinat FSTTCS, Dec 2009, Kanpur, India. pp.85-96 Communication dans un congrès inria-00555977v1
On the Expressivity of RoCTL John-Christopher Mccabe-Dansted,Tim French,Mark Reynolds,Sophie Pinchinat TIME, Jan 2009, Brixen-Bressanone, Italy. pp.37-44 Communication dans un congrès inria-00555743v1
Games with Opacity Condition Bastien Maubert,Sophie Pinchinat RP, Sep 2009, Paris, France. pp.166-175 Communication dans un congrès inria-00555749v1
Game Quantification Patterns Dietmar Berwanger,Sophie Pinchinat ICLA, Jan 2009, Chennai, India. pp.116-130 Communication dans un congrès inria-00555746v1
A Compositional Approach on Modal Specifications for Timed Systems. Nathalie Bertrand,Axel Legay,Sophie Pinchinat,Jean-Baptiste Raclet 11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. pp.679-697 Communication dans un congrès inria-00424356v1
Diagnosability of pushdown systems Christophe Morvan,Sophie Pinchinat Haifa Verification Conference, Oct 2009, Haifa, Israel Communication dans un congrès inria-00525397v1
Refinement and Consistency of Timed Modal Specifications. Nathalie Bertrand,Sophie Pinchinat,Jean-Baptiste Raclet 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. pp.152-163, ⟨10.1007/978-3-642-00982-2_13⟩ Communication dans un congrès istex inria-00424283v1
A Topological Perspective on Diagnosis Andreas Bauer,Sophie Pinchinat 9th International Workshop on Discrete Event Systems, May 2008, Gothenburg, Sweden Communication dans un congrès inria-00555755v1
A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies Sophie Pinchinat ATVA, Oct 2007, Tokyo, Japan. pp.253-267 Communication dans un congrès inria-00555753v1
A constructive and modular approach to decentralized supervisory Control problems Jan Komenda,Hervé Marchand,Sophie Pinchinat 3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland Communication dans un congrès inria-00424857v1
Supervision Patterns in Discrete Event Systems Diagnosis Thierry Jéron,Hervé Marchand,Sophie Pinchinat,Marie-Odile Cordier Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. pp.262-268, ⟨10.1109/WODES.2006.1678440⟩ Communication dans un congrès inria-00425085v1
Supervision patterns in discrete event systems Thierry Jéron,Hervé Marchand,Sophie Pinchinat,Marie-Odile Cordier DX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp.117-124 Communication dans un congrès inria-00463799v1
On the Architectures in Decentralized Supervisory Control Sophie Pinchinat,Stéephane Riedweg Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC'05), Dec 2005, Seville, Spain. pp.12-17 Communication dans un congrès inria-00555999v1
You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist. Stéphane Riedweg,Sophie Pinchinat Proc. 2005 American Control Conference., Jun 2005, Portland, Oregon, United States. pp.2287-2292 Communication dans un congrès inria-00556003v1

Document associé à des manifestations scientifiques (1)

Vers une synthèse d'arbres d'attaque pour une analyse de risques assistée par ordinateur Stéphanie Georges,Sophie Pinchinat MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France Document associé à des manifestations scientifiques hal-00876647v1

Pré-publication, Document de travail (2)

Dynamic Epistemic Logic Games with Epistemic Temporal Goals Bastien Maubert,Aniello Murano,Sophie Pinchinat,François Schwarzentruber,Silvia Stranieri 2020 Pré-publication, Document de travail hal-02533766v1
Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents Mohamadou Lamine Diouf,Sophie Pinchinat 2016 Pré-publication, Document de travail hal-01312067v1

Rapport (10)

Uniform Strategies Bastien Maubert,Sophie Pinchinat [Research Report] RR-8144, INRIA. 2012 Rapport (rapport de recherche) hal-00760370v1
Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information Sophie Pinchinat,Olivier Serre [Research Report] PI-1992, 2012, pp.6 Rapport (rapport de recherche) hal-00700334v1
Opacity Issues in Games with Imperfect Information Bastien Maubert,Sophie Pinchinat,Laura Bozzelli [Research Report] 2011, pp.27 Rapport (rapport de recherche) inria-00630077v1
A Compositional Approach on Modal Specifications for Timed Systems Nathalie Bertrand,Axel Legay,Sophie Pinchinat,Jean-Baptiste Raclet [Research Report] RR-7039, INRIA. 2009 Rapport (rapport de recherche) inria-00418855v1
Diagnosis of Pushdown Systems Christophe Morvan,Sophie Pinchinat [Research Report] PI 1904, 2008, pp.19 Rapport (rapport de recherche) inria-00337614v1
Supervision Patterns in Discrete Event Systems Diagnosis Thierry Jéron,Hervé Marchand,Sophie Pinchinat,Marie-Odile Cordier [Research Report] PI 1784, 2006, pp.16 Rapport (rapport de recherche) inria-00001113v1
Quantified Loop-mu-calculus for Control under Partial Observation Stéphane Riedweg,Sophie Pinchinat [Research Report] RR-4949, INRIA. 2003 Rapport (rapport de recherche) inria-00071630v1
Quantified Mu-calculus for Control Synthesis Stéphane Riedweg,Sophie Pinchinat [Research Report] RR-4793, INRIA. 2003 Rapport (rapport de recherche) inria-00071793v1
Symbolic Abstractions of Automata and their application to the Supervisory Control Problem Sophie Pinchinat,Hervé Marchand,Michel Le Borgne [Research Report] RR-3814, INRIA. 1999 Rapport (rapport de recherche) inria-00072844v1
Intensional Approaches for Symbolic Methods Olga Kushnarenko,Sophie Pinchinat [Research Report] RR-3448, INRIA. 1998 Rapport (rapport de recherche) inria-00073242v1

Thèse (1)

Des bisimulations pour la sémantique des systèmes réactifs Sophie Pinchinat Génie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 1993. Français. ⟨NNT : ⟩ Thèse tel-00005141v1