Skip to content

Claire Loiseaux

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

6

Active years

1992–2025

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2025IC2EA Continuous Certification Readiness Framework for Cloudification of IT/OT Platforms (Vision Paper).Chrystel Gaber, Nicolas Dejon, Ndeye Gagnessiry Ndiaye, Karl Waedt, Vincent Lefebvre, Grkan Gr, Marc Rennhard, Achilleas Marinakis, Christos A. Gizelis, Jean-Philippe Wary, Claire Loiseaux
2021SAFECOMPGuideline 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
2019EDCCA 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
2019SAFECOMPA 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
2019VEHITSPractical 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
2008SECASTRA : A Security Analysis Method Based on Asset Tracking.Daniel Le Mtayer, Claire Loiseaux
1993CAVA Tool for Symbolic Program Verification and Abstration.Susanne Graf, Claire Loiseaux
1992CAVProperty Preserving Simulations.Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis