Sophie Pinchinat
Sophie Pinchinat
Univ Rennes/CNRS
Verified email at - Homepage
Cited by
Cited by
Supervision patterns in discrete event systems diagnosis
T Jéron, H Marchand, S Pinchinat, MO Cordier
2006 8th International Workshop on Discrete Event Systems, 262-268, 2006
Quantified mu-calculus for control synthesis
S Riedweg, S Pinchinat
Mathematical Foundations of Computer Science 2003: 28th International …, 2003
Beyond 2014: Formal Methods for Attack Tree--based Security Modeling
W Wideł, M Audinot, B Fila, S Pinchinat
ACM Computing Surveys (CSUR) 52 (4), 1-36, 2019
A generic constructive solution for concurrent games with expressive constraints on strategies
S Pinchinat
ATVA 7, 253-267, 2007
Refinement modal logic
L Bozzelli, H van Ditmarsch, T French, J Hales, S Pinchinat
Information and Computation 239, 303-339, 2014
Modal specifications for the control theory of discrete event systems
G Feuillade, S Pinchinat
Discrete Event Dynamic Systems 17, 211-232, 2007
Refinement and consistency of timed modal specifications
N Bertrand, S Pinchinat, JB Raclet
Language and Automata Theory and Applications: Third International …, 2009
Is my attack tree correct?
M Audinot, S Pinchinat, B Kordy
Computer Security–ESORICS 2017: 22nd European Symposium on Research in …, 2017
Verification of gap-order constraint abstractions of counter systems
L Bozzelli, S Pinchinat
Theoretical Computer Science 523, 1-36, 2014
A compositional approach on modal specifications for timed systems
N Bertrand, A Legay, S Pinchinat, JB Raclet
Formal Methods and Software Engineering: 11th International Conference on …, 2009
Towards synthesis of attack trees for supporting computer-aided risk analysis
S Pinchinat, M Acher, D Vojtisek
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops …, 2015
ATSyRa: An Integrated Environment for Synthesizing Attack Trees: (Tool Paper)
S Pinchinat, M Acher, D Vojtisek
Graphical Models for Security: Second International Workshop, GraMSec 2015 …, 2016
Unifying hyper and epistemic temporal logics
L Bozzelli, B Maubert, S Pinchinat
Foundations of Software Science and Computation Structures: 18th …, 2015
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
S Chédor, C Morvan, S Pinchinat, H Marchand
Discrete Event Dynamic Systems 25, 271-294, 2015
Future Event Logic-Axioms and Complexity.
H van Ditmarsch, T French, S Pinchinat
Advances in Modal Logic 8 (8), 77-99, 2010
The complexity of one-agent refinement modal logic
L Bozzelli, H Van Ditmarsch, S Pinchinat
Theoretical Computer Science 603, 58-83, 2015
Diagnosability of pushdown systems
C Morvan, S Pinchinat
Hardware and Software: Verification and Testing: 5th International Haifa …, 2011
You can always compute maximally permissive controllers under partial observation when they exist
S Pinchinat, S Riedweg
Proceedings of the 2005, American Control Conference, 2005., 2287-2292, 2005
Guided design of attack trees: A system-based approach
M Audinot, S Pinchinat, B Kordy
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 61-75, 2018
Uniform strategies, rational relations and jumping automata
L Bozzelli, B Maubert, S Pinchinat
Information and Computation 242, 80-107, 2015
The system can't perform the operation now. Try again later.
Articles 1–20