|
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-04164293
v1
|
|
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-04047617
v1
|
|
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-02533750
v1
|
|
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-02533558
v1
|
|
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-01871059
v1
|
|
Is my attack tree correct?
Maxime Audinot
,
Sophie Pinchinat
,
Barbara Kordy
Communication dans un congrès
hal-01686505
v1
|
|
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-02534021
v1
|
|
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-01273553
v1
|
|
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-01243021
v1
|
|
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-01699931
v1
|
|
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-01194398
v1
|
|
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-01098740
v1
|
|
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-01064645
v1
|
|
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-01098744
v1
|
|
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-01260682
v2
|
|
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-01098745
v1
|
|
Jumping Automata for Uniform Strategies
Bastien Maubert
,
Sophie Pinchinat
Communication dans un congrès
hal-01098741
v1
|
|
The Complexity of One-Agent Refinement Modal Logic
Laura Bozzelli
,
Hans Van Ditmarch
,
Sophie Pinchinat
Communication dans un congrès
hal-01098749
v1
|
|
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-00743196
v1
|
|
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-00555751
v1
|
|
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-00424283
v1
|
|
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-00555977
v1
|
|
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-00555743
v1
|
|
Game Quantification Patterns
Dietmar Berwanger
,
Sophie Pinchinat
ICLA, Jan 2009, Chennai, India. pp.116-130
Communication dans un congrès
inria-00555746
v1
|
|
Games with Opacity Condition
Bastien Maubert
,
Sophie Pinchinat
RP, Sep 2009, Paris, France. pp.166-175
Communication dans un congrès
inria-00555749
v1
|
|
Diagnosability of pushdown systems
Christophe Morvan
,
Sophie Pinchinat
Haifa Verification Conference, Oct 2009, Haifa, Israel
Communication dans un congrès
inria-00525397
v1
|
|
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-00424356
v1
|
|
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-00555755
v1
|
|
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-00555753
v1
|
|
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-00424857
v1
|
|
Supervision Patterns in Discrete Event Systems Diagnosis
Thierry Jéron
,
Hervé Marchand
,
Sophie Pinchinat
,
Marie-Odile Cordier
Communication dans un congrès
inria-00425085
v1
|
|
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-00463799
v1
|
|
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-00555999
v1
|
|
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-00556003
v1
|