( en | de | ru )

 

Disambiguation of "Pinchinat, Sophie"

Author of the publication

copydeleteadd this publication to your clipboard
Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-free Languages.

, , and . CoRR, (2023)

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 Schetke

Sophie Schäfer

Sophie Romberg

Sophie Wolfrum

 

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)Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning., , and . Inf. Comput., (2021)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)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 Architectures in Decentralized Supervisory Control., and . CDC/ECC, page 12-17. IEEE, (2005)Symbolic model checking of public announcement protocols., , and . J. Log. Comput., 29 (8): 1211-1249 (2019)