Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Sophie Pinchinat

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Maxime Audinot

> Home > Persons > Sophie Pinchinat

Publications

2019
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/WidelAFP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/WidelAFP19
Wojciech Widel, Maxime Audinot, Barbara Fila, Sophie Pinchinat:
Beyond 2014: Formal Methods for Attack Tree-based Security Modeling. ACM Comput. Surv. 52(4): 75:1-75:36 (2019)
2018
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/AudinotPK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/AudinotPK18
Maxime Audinot, Sophie Pinchinat, Barbara Kordy:
Guided Design of Attack Trees: A System-Based Approach. CSF 2018: 61-75
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/gramsec/AudinotPSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gramsec/AudinotPSW18
Maxime Audinot, Sophie Pinchinat, François Schwarzentruber, Florence Wacheux:
Deciding the Non-emptiness of Attack Trees. GraMSec@FLoC 2018: 13-30
2017
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/AudinotPK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/AudinotPK17
Maxime Audinot, Sophie Pinchinat, Barbara Kordy:
Is My Attack Tree Correct? ESORICS (1) 2017: 83-102
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AudinotPK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AudinotPK17
Maxime Audinot, Sophie Pinchinat, Barbara Kordy:
Is my attack tree correct? Extended version. CoRR abs/1706.08507 (2017)
2016
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/AudinotP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/AudinotP16
Maxime Audinot, Sophie Pinchinat:
On the Soundness of Attack Trees. GraMSec@CSF 2016: 25-38

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.