Sophie Pinchinat
Sophie Pinchinat
Univ Rennes/CNRS
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
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
International Symposium on Mathematical Foundations of Computer Science, 642-651, 2003
A generic constructive solution for concurrent games with expressive constraints on strategies
S Pinchinat
International Symposium on Automated Technology for Verification and …, 2007
Modal specifications for the control theory of discrete event systems
G Feuillade, S Pinchinat
Discrete Event Dynamic Systems 17 (2), 211-232, 2007
Refinement and consistency of timed modal specifications
N Bertrand, S Pinchinat, JB Raclet
International Conference on Language and Automata Theory and Applications …, 2009
Verification of gap-order constraint abstractions of counter systems
L Bozzelli, S Pinchinat
Theoretical Computer Science 523, 1-36, 2014
Refinement modal logic
L Bozzelli, H van Ditmarsch, T French, J Hales, S Pinchinat
Information and Computation 239, 303-339, 2014
A compositional approach on modal specifications for timed systems
N Bertrand, A Legay, S Pinchinat, JB Raclet
International Conference on Formal Engineering Methods, 679-697, 2009
Is my attack tree correct?
M Audinot, S Pinchinat, B Kordy
European Symposium on Research in Computer Security, 83-102, 2017
Towards synthesis of attack trees for supporting computer-aided risk analysis
S Pinchinat, M Acher, D Vojtisek
International Conference on Software Engineering and Formal Methods, 363-375, 2014
Future Event Logic-Axioms and Complexity.
H Van Ditmarsch, T French, S Pinchinat
Advances in Modal Logic 8 (8), 77-99, 2010
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
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
Haifa Verification Conference, 21-33, 2009
ATSyRa: an integrated environment for synthesizing attack trees
S Pinchinat, M Acher, D Vojtisek
International Workshop on Graphical Models for Security, 97-101, 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 (1), 271-294, 2015
Unifying hyper and epistemic temporal logics
L Bozzelli, B Maubert, S Pinchinat
International Conference on Foundations of Software Science and Computation …, 2015
Bisimulations for the semantics of reactive systems
S Pinchinat
Ph. D. thesis, Institut National Politechnique de Grenoble, 1993
Translations between modal logics of reactive systems
F Laroussinie, S Pinchinat, P Schnoebelen
Theoretical Computer Science 140 (1), 53-71, 1995
A decidable class of problems for control under partial observation
S Pinchinat, S Riedweg
Information Processing Letters 95 (4), 454-460, 2005
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20