Loc Thierry
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2012–2024
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MEDI | Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B. | Loc Thierry, Brahim Hamid, Jason Jaskolka |
| 2024 | VECoS | A Formal Approach for Verifying and Validating Security Objectives in Software Architecture. | Loc Thierry, Brahim Hamid, Jason Jaskolka |
| 2023 | ICECCS | Specification and Verification of Communication Paradigms for CBSE in Event B. | Loc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix |
| 2012 | PKC | Generating Provable Primes Efficiently on Embedded Devices. | Christophe Clavier, Benoit Feix, Loc Thierry, Pascal Paillier |