Property Preserving Simulations. - Saddek Bensalem; Ahmed Bouajjani; Claire Loiseaux; Joseph Sifakis (CAV, 1992)

A Tool for Symbolic Program Verification and Abstration. - Susanne Graf; Claire Loiseaux (CAV, 1993)

Property Preserving Abstractions under Parallel Composition. - Susanne Graf; Claire Loiseaux (TAPSOFT, 1993)

Property Preserving Abstractions for the Verification of Concurrent Systems. - Claire Loiseaux; Susanne Graf; Joseph Sifakis; Ahmed Bouajjani; Saddek Bensalem (Formal Methods Syst. Des., 1995)

Formal Methods in Context: Security and Java Card. - Dominique Bolignano; Daniel Le Métayer; Claire Loiseaux (Java Card Workshop, 2000)

Formal Methods in Practice: The Missing Links. A Perspective from the Security Area. - Dominique Bolignano; Daniel Le Métayer; Claire Loiseaux (MOVEP, 2000)

ASTRA : A Security Analysis Method Based on Asset Tracking. - Daniel Le Métayer; Claire Loiseaux (SEC, 2008)

A Survey on the Application of Safety, Security, and Privacy Standards for Dependable Systems. - Lijun Shan; Behrooz Sangchoolie; Peter Folkesson; Jonny Vinter; Erwin Schoitsch; Claire Loiseaux (EDCC, 2019)

A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems. - Lijun Shan; Behrooz Sangchoolie; Peter Folkesson; Jonny Vinter; Erwin Schoitsch; Claire Loiseaux (SAFECOMP Workshops, 2019)

Practical Security and Privacy Threat Analysis in the Automotive Domain: Long Term Support Scenario for Over-the-Air Updates. - Alexandr Vasenev; Florian Stahl; Hayk Hamazaryan; Zhendong Ma; Lijun Shan; Joerg Kemmerich; Claire Loiseaux (VEHITS, 2019)

Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach. - Nadja Marko; Joaquim Maria Castella Triginer; Christoph Striecks; Tobias Braun; Reinhard Schwarz; Stefan Marksteiner; Alexandr Vasenev; Joerg Kemmerich; Hayk Hamazaryan; Lijun Shan; Claire Loiseaux (SAFECOMP Workshops, 2021)

Safety and Cybersecurity Under Emerging EU Legislation for Industry: A Use-Case Driven Perspective. - Ndeye Gagnessiry Ndiaye; Karl Waedt; Nicolas Dejon; Chrystel Gaber; Achilleas Marinakis; Christos A. Gizelis; Gürkan Gür; Marc Rennhard; Oumayma Zeddini; Jean-Philippe Wary; Dominico Orlando; Claire Loiseaux; et al. (ARES (Workshops 1), 2025)