Concepedia

Quentin Rouland

QR

3

Publications

81

Citations

3

H-Index

2019

Active since

Affiliations

Institut de Recherche en Informatique de Toulouse(Current)

Institut Polytechnique de Bordeaux

Université Toulouse III - Paul Sabatier

Université Toulouse - Jean Jaurès

Université Toulouse-I-Capitole

Quentin Rouland is an author at Institut de Recherche en Informatique de Toulouse specializing in system software, formal verification, and systems engineering.

ORCID

Top concepts

Publications per year

2019–2021

3

Publications

3

Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support

Quentin Rouland, Brahim Hamid, Jason Jaskolka · Journal of Systems Architecture · 2021 · 44 citations

, , +17

Formal specification and verification of reusable communication models for distributed systems architecture

Quentin Rouland, Brahim Hamid, Jason Jaskolka · Future Generation Computer Systems · 2020 · 21 citations

, , +11

A Formal Methods Approach to Security Requirements Specification and Verification

Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix et al. · 2019 · 16 citations

, , +22

Rows per page

1–3 of 3