- 23
- 11
- 9
- 7
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
Sophie Pinchinat
64
Documents
Presentation
This is attempt of a CV synthesis from HAL information.
Publications
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 7
- 7
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 2
- 2
- 6
- 5
- 6
- 6
- 1
- 1
- 9
- 2
- 2
- 4
- 3
- 2
- 1
- 1
- 1
|
Sémantique Formelle à Deux Joueurs pour Arbres d'AttaqueCNIA 2023 - Conférence Nationale en Intelligence Artificielle, PFIA, Jul 2023, strasbourg, France
Conference papers
hal-04164293v1
|
|
Dependency Matrices for Multiplayer Strategic DependenciesFSTTCS 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⟩
Conference papers
hal-04047617v1
|
Reachability Games in Dynamic Epistemic Logicthe Twenty-Eighth International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
Conference papers
hal-02533558v1
|
|
Attack Trees: A Notion of Missing AttacksGraMSec 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⟩
Conference papers
hal-02533750v1
|
|
Guided Design of Attack Trees: A System-Based ApproachCSF 2018 - IEEE 31st Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. pp.61-75, ⟨10.1109/CSF.2018.00012⟩
Conference papers
hal-01871059v1
|
|
|
Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragmentDALI@TABLEAUX, 2017, Brasília, Brazil
Conference papers
hal-02534021v1
|
|
Is my attack tree correct?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⟩
Conference papers
hal-01686505v1
|
Relating Paths in Transition Systems: The Fall of the Modal Mu-CalculusMathematical 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⟩
Conference papers
hal-01699931v1
|
|
|
Games with Communication: from Belief to Preference ChangePrinciples and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy
Conference papers
hal-01194398v1
|
|
ATSyRa: An Integrated Environment for Synthesizing Attack Trees Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Jul 2015, Verona, Italy
Conference papers
hal-01243021v1
|
Unifying Hyper and Epistemic Temporal LogicsFoundations 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⟩
Conference papers
hal-01273553v1
|
|
|
Automata Techniques for Epistemic Protocol Synthesis2nd International Workshop on Strategic Reasoning, Apr 2014, 2014-04-06, France. pp.11, ⟨10.4204/EPTCS.146.13⟩
Conference papers
hal-01098740v1
|
|
Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk AnalysisWorkshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France
Conference papers
hal-01064645v1
|
The Complexity of Synthesizing Uniform Strategies1st International Workshop on Strategic Reasoning, {SR} 2013, Mar 2013, Rome, Italy. pp.8, ⟨10.4204/EPTCS.112.17⟩
Conference papers
hal-01098745v1
|
|
The Complexity of One-Agent Refinement Modal LogicIJCAI 2013 - 23rd International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China
Conference papers
hal-01098744v1
|
|
Jumping Automata for Uniform StrategiesIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2013, Guwahati, India. ⟨10.4230/LIPIcs.FSTTCS.2013.287⟩
Conference papers
hal-01098741v1
|
|
|
Emptiness Of Alternating Tree Automata Using Games With Imperfect Information33rd 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⟩
Conference papers
hal-01260682v2
|
|
Analysis of partially observed recursive tile systems11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271
Conference papers
hal-00743196v1
|
The Complexity of One-Agent Refinement Modal LogicJELIA 2012 - 13th European Conference on Logics in Artificial Intelligence, Sep 2012, Toulouse, France. pp.120-133, ⟨10.1007/978-3-642-33353-8_10⟩
Conference papers
hal-01098749v1
|
|
Hardness of Preorder Checking for Basic FormalismsLPAR, Apr 2010, Dakar, Senegal. pp.119-135
Conference papers
inria-00555751v1
|
|
Game Quantification PatternsICLA, Jan 2009, Chennai, India. pp.116-130
Conference papers
inria-00555746v1
|
|
Games with Opacity ConditionRP, Sep 2009, Paris, France. pp.166-175
Conference papers
inria-00555749v1
|
|
Refinement and Consistency of Timed Modal Specifications.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⟩
Conference papers
inria-00424283v1
|
|
|
Diagnosability of pushdown systemsHaifa Verification Conference, Oct 2009, Haifa, Israel
Conference papers
inria-00525397v1
|
A Compositional Approach on Modal Specifications for Timed Systems.11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. pp.679-697
Conference papers
inria-00424356v1
|
|
On Timed Alternating Simulation for Concurrent Timed GamesFSTTCS, Dec 2009, Kanpur, India. pp.85-96
Conference papers
inria-00555977v1
|
|
On the Expressivity of RoCTLTIME, Jan 2009, Brixen-Bressanone, Italy. pp.37-44
Conference papers
inria-00555743v1
|
|
A Topological Perspective on Diagnosis9th International Workshop on Discrete Event Systems, May 2008, Gothenburg, Sweden
Conference papers
inria-00555755v1
|
|
A Generic Constructive Solution for Concurrent Games with Expressive Constraints on StrategiesATVA, Oct 2007, Tokyo, Japan. pp.253-267
Conference papers
inria-00555753v1
|
|
Supervision patterns in discrete event systemsDX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp.117-124
Conference papers
inria-00463799v1
|
|
|
A constructive and modular approach to decentralized supervisory Control problems3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland
Conference papers
inria-00424857v1
|
|
Supervision Patterns in Discrete Event Systems DiagnosisWorkshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. pp.262-268, ⟨10.1109/WODES.2006.1678440⟩
Conference papers
inria-00425085v1
|
You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist.Proc. 2005 American Control Conference., Jun 2005, Portland, Oregon, United States. pp.2287-2292
Conference papers
inria-00556003v1
|
|
On the Architectures in Decentralized Supervisory ControlProceedings of the 44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC'05), Dec 2005, Seville, Spain. pp.12-17
Conference papers
inria-00555999v1
|
|
Vers une synthèse d'arbres d'attaque pour une analyse de risques assistée par ordinateurMSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France
Documents associated with scientific events
hal-00876647v1
|
Dynamic Epistemic Logic Games with Epistemic Temporal Goals2020
Preprints, Working Papers, ...
hal-02533766v1
|
|
|
Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents2016
Preprints, Working Papers, ...
hal-01312067v1
|
|
Des bisimulations pour la sémantique des systèmes réactifsGénie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 1993. Français. ⟨NNT : ⟩
Theses
tel-00005141v1
|