Mathilde Arnaud

13 papers A 2C 3Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2025 C conf
A Domain Specific Language to Design New Control Architectures for Smart Grids.
MODELSWARD
Asma Smaoui, Mathilde Arnaud, Stéphane Salmons, Guillaume Giraud
2023 C conf
Context Specification Language for Formally Verifying Consent Properties on Models and Code.
TAP
Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles
2023 — conf
Modelling and simulating new power grid control architectures.
ISGT EUROPE
Mathilde Arnaud, Arnault Lapitre, Yves Lhuillier, Stéphane Salmons, Asma Smaoui, Guillaume Giraud, Arnaud Guerrier
2022 — conf
A New Generic Representation for Modeling Privacy.
EuroS&P Workshops
Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles
2021 C conf
Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS.
SEKE
Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud
2015 — conf
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios.
USE@FM
Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre
2014 J jnl
Modeling and verifying ad hoc routing protocols.
Inf. Comput.
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
2014 — conf
Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios.
CSDM
Mathilde Arnaud, Boutheina Bannour, Arnaud Cuccuru, Christophe Gaston, Sébastien Gérard, Arnault Lapitre
2013 — conf
Analysis of an Electronic Boardroom Voting System.
VoteID
Mathilde Arnaud, Véronique Cortier, Cyrille Wiedling
2011 A conf
Deciding Security for Protocols with Recursive Tests.
CADE
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
2011 — —
Formal verification of secured routing protocols. (Vérification formelle de protocoles de routage sécurisés).
Mathilde Arnaud
2010 A conf
Modeling and Verifying Ad Hoc Routing Protocols.
CSF
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
2007 — conf
Combining Algorithms for Deciding Knowledge in Security Protocols.
FroCoS
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune