conf.researchr.org / Julien Signoles
Registered user since Fri 24 May 2019
Name:Julien Signoles
Country:France
Affiliation:Université Paris-Saclay, CEA, List
Personal website: http://julien-signoles.fr/index.en.html
X (Twitter): https://x.com/julien_signoles
Research interests:Runtime Assertion Checking; Code Analysis for Safety and Security
Contributions
2024
2023
TAP
- Author of Context Specification Language for Formal Verification of Consent Properties on Models and Code within the Research Papers-track
- Session Chair of TAP Session 2: Low-level code verification (part of Research Papers)
- Author of Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking within the Research Papers-track