Mathilde Arnaud
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2025
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MODELSWARD | A Domain Specific Language to Design New Control Architectures for Smart Grids. | Asma Smaoui, Mathilde Arnaud, Stphane Salmons, Guillaume Giraud |
| 2023 | TAP | Context Specification Language for Formally Verifying Consent Properties on Models and Code. | Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles |
| 2021 | SEKE | Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. | Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud |
| 2011 | CADE | Deciding Security for Protocols with Recursive Tests. | Mathilde Arnaud, Vronique Cortier, Stphanie Delaune |