Yves Roudier

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 Zeineb Zhioua

> Home > Persons > Yves Roudier

Publications

2017
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/icissp/ZhiouaRAKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icissp/ZhiouaRAKS17
Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa, Takoua Kechiche, Stuart Short:
Tracking Dependent Information Flows. ICISSP 2017: 179-189
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/ZhiouaRA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/ZhiouaRA17
Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa:
Formal Specification and Verification of Security Guidelines. PRDC 2017: 267-273
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ZhiouaRA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ZhiouaRA17
Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa:
Formal specification of security guidelines for program certification. TASE 2017: 1-8
2016
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/re/ZhiouaRSA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/ZhiouaRSA16
Zeineb Zhioua, Yves Roudier, Stuart Short, Rabéa Ameur-Boulifa:
Security Guidelines: Requirements Engineering for Verifying Code Quality. RE Workshops 2016: 80-85
2014
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ZhiouaSR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ZhiouaSR14
Zeineb Zhioua, Stuart Short, Yves Roudier:
Static Code Analysis for Software Security Verification: Problems and Approaches. COMPSAC Workshops 2014: 102-109

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.