| 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 | 172 | 2006 |
| Quantified mu-calculus for control synthesis S Riedweg, S Pinchinat Mathematical Foundations of Computer Science 2003: 28th International …, 2003 | 56 | 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 | 50 | 2019 |
| A generic constructive solution for concurrent games with expressive constraints on strategies S Pinchinat ATVA 7, 253-267, 2007 | 46 | 2007 |
| Refinement modal logic L Bozzelli, H van Ditmarsch, T French, J Hales, S Pinchinat Information and Computation 239, 303-339, 2014 | 45 | 2014 |
| Modal specifications for the control theory of discrete event systems G Feuillade, S Pinchinat Discrete Event Dynamic Systems 17, 211-232, 2007 | 43 | 2007 |
| Refinement and consistency of timed modal specifications N Bertrand, S Pinchinat, JB Raclet Language and Automata Theory and Applications: Third International …, 2009 | 40 | 2009 |
| Is my attack tree correct? M Audinot, S Pinchinat, B Kordy Computer Security–ESORICS 2017: 22nd European Symposium on Research in …, 2017 | 37 | 2017 |
| Verification of gap-order constraint abstractions of counter systems L Bozzelli, S Pinchinat Theoretical Computer Science 523, 1-36, 2014 | 37 | 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 | 36 | 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 | 34 | 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 | 33 | 2016 |
| Unifying hyper and epistemic temporal logics L Bozzelli, B Maubert, S Pinchinat Foundations of Software Science and Computation Structures: 18th …, 2015 | 32 | 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 | 29 | 2015 |
| Future Event Logic-Axioms and Complexity. H van Ditmarsch, T French, S Pinchinat Advances in Modal Logic 8 (8), 77-99, 2010 | 29 | 2010 |
| The complexity of one-agent refinement modal logic L Bozzelli, H Van Ditmarsch, S Pinchinat Theoretical Computer Science 603, 58-83, 2015 | 28 | 2015 |
| Diagnosability of pushdown systems C Morvan, S Pinchinat Hardware and Software: Verification and Testing: 5th International Haifa …, 2011 | 25 | 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 | 24 | 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 | 23 | 2018 |
| Uniform strategies, rational relations and jumping automata L Bozzelli, B Maubert, S Pinchinat Information and Computation 242, 80-107, 2015 | 23 | 2015 |
