Accéder directement au contenu

Sophie Pinchinat

64
Documents

Présentation

This is attempt of a CV synthesis from HAL information.

Publications

Image document

Alternating Tree Automata with Qualitative Semantics

Raphaël Berthon , Nathanaël Fijalkow , Emmanuel Filiot , Shibashis Guha , Bastien Maubert
ACM Transactions on Computational Logic, 2020, 22 (1), ⟨10.1145/3431860⟩
Article dans une revue hal-02533936v1

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

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

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
Image document

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
Image document

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

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
CoRR, 2014, abs/1407.5166
Article dans une revue hal-01699938v1

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

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

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 hal-01098747v1

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 hal-00752449v1

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 (JESA), 2005, 39 (1)
Article dans une revue inria-00556005v1
Image document

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
Image document

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

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

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

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
Image document

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
Image document

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
Image document

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

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
Image document

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

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
Image document

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
Image document

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

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 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
Image document

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
Image document

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

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

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
Image document

Diagnosability of pushdown systems

Christophe Morvan , Sophie Pinchinat
Haifa Verification Conference, Oct 2009, Haifa, Israel
Communication dans un congrès inria-00525397v1

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

Game Quantification Patterns

Dietmar Berwanger , Sophie Pinchinat
ICLA, Jan 2009, Chennai, India. pp.116-130
Communication dans un congrès inria-00555746v1

Games with Opacity Condition

Bastien Maubert , Sophie Pinchinat
RP, Sep 2009, Paris, France. pp.166-175
Communication dans un congrès inria-00555749v1

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 inria-00424283v1

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

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
Image document

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
Image document

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

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

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
Image document

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
Image document

Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information

Sophie Pinchinat , Olivier Serre
[Research Report] PI-1992, 2012, pp.6
Rapport hal-00700334v1
Image document

Uniform Strategies

Bastien Maubert , Sophie Pinchinat
[Research Report] RR-8144, INRIA. 2012
Rapport hal-00760370v1
Image document

Opacity Issues in Games with Imperfect Information

Bastien Maubert , Sophie Pinchinat , Laura Bozzelli
[Research Report] 2011, pp.27
Rapport inria-00630077v1
Image document

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 inria-00418855v1
Image document

Diagnosis of Pushdown Systems

Christophe Morvan , Sophie Pinchinat
[Research Report] PI 1904, 2008, pp.19
Rapport inria-00337614v1
Image document

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 inria-00001113v1
Image document

Quantified Mu-calculus for Control Synthesis

Stéphane Riedweg , Sophie Pinchinat
[Research Report] RR-4793, INRIA. 2003
Rapport inria-00071793v1
Image document

Quantified Loop-mu-calculus for Control under Partial Observation

Stéphane Riedweg , Sophie Pinchinat
[Research Report] RR-4949, INRIA. 2003
Rapport inria-00071630v1
Image document

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 inria-00072844v1
Image document

Intensional Approaches for Symbolic Methods

Olga Kushnarenko , Sophie Pinchinat
[Research Report] RR-3448, INRIA. 1998
Rapport inria-00073242v1
Image document

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