( en | de | ru )

 

Disambiguation of "Pinchinat, Sophie"

Author of the publication

copydeleteadd this publication to your clipboard
Adversarial Formal Semantics of Attack Trees and Related Problems.

, , and . GandALF, volume 370 of EPTCS, page 162-177. (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sophie Pinchinat

Sophie Scaruppe

Sophie Romberg

Sophie Schetke

Sophie Schäfer

 

Other publications of authors with the same name

Deciding the Non-emptiness of Attack Trees., , , and . GraMSec@FLoC, volume 11086 of Lecture Notes in Computer Science, page 13-30. Springer, (2018)Alternating Tree Automata with Qualitative Semantics., , , , , , , , , and . ACM Trans. Comput. Log., 22 (1): 7:1-7:24 (2021)You can always compute maximally permissive controllers under partial observation when they exist., and . ACC, page 2287-2292. IEEE, (2005)The Expressive Power of Epistemic $μ$-Calculus., , and . CoRR, (2014)Attack Trees: A Notion of Missing Attacks., , , and . GraMSec@CSF, volume 11720 of Lecture Notes in Computer Science, page 23-49. Springer, (2019)On the Role of Postconditions in Dynamic First-Order Epistemic Logic., and . CoRR, (2022)Complexity of Opacity algorithm in data-centric workflow system Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents., and . ARIMA J., (2016)On the Architectures in Decentralized Supervisory Control., and . CDC/ECC, page 12-17. IEEE, (2005)Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning., , and . Inf. Comput., (2021)Games with Communication: From Belief to Preference Change., , , and . PRIMA, volume 9387 of Lecture Notes in Computer Science, page 670-677. Springer, (2015)