Claire Loiseaux

13 papers A* 2B 1C 1Misc 2Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2025 B conf
A Continuous Certification Readiness Framework for Cloudification of IT/OT Platforms (Vision Paper).
IC2E
Chrystel Gaber, Nicolas Dejon, Ndeye Gagnessiry Ndiaye, Karl Waedt, Vincent Lefebvre, Gürkan Gür, Marc Rennhard, Achilleas Marinakis, Christos A. Gizelis, Jean-Philippe Wary, Claire Loiseaux
2025 — conf
Safety and Cybersecurity Under Emerging EU Legislation for Industry: A Use-Case Driven Perspective.
ARES (Workshops 1)
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, Vangelis Photiou, Nikolaos Koulierakis, Vasiliki Danilatou
2021 — conf
Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach.
SAFECOMP Workshops
Nadja Marko, Joaquim Maria Castella Triginer, Christoph Striecks, Tobias Braun, Reinhard Schwarz, Stefan Marksteiner, Alexandr Vasenev, Joerg Kemmerich, Hayk Hamazaryan, Lijun Shan, Claire Loiseaux
2019 — conf
A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems.
SAFECOMP Workshops
Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux
2019 Misc conf
A Survey on the Application of Safety, Security, and Privacy Standards for Dependable Systems.
EDCC
Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux
2019 C conf
Practical Security and Privacy Threat Analysis in the Automotive Domain: Long Term Support Scenario for Over-the-Air Updates.
VEHITS
Alexandr Vasenev, Florian Stahl, Hayk Hamazaryan, Zhendong Ma, Lijun Shan, Joerg Kemmerich, Claire Loiseaux
2008 Misc conf
ASTRA : A Security Analysis Method Based on Asset Tracking.
SEC
Daniel Le Métayer, Claire Loiseaux
2000 — conf
Formal Methods in Context: Security and Java Card.
Java Card Workshop
Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
2000 — conf
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.
MOVEP
Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
1995 J jnl
Property Preserving Abstractions for the Verification of Concurrent Systems.
Formal Methods Syst. Des.
Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem
1993 A* conf
A Tool for Symbolic Program Verification and Abstration.
CAV
Susanne Graf, Claire Loiseaux
1993 — conf
Property Preserving Abstractions under Parallel Composition.
TAPSOFT
Susanne Graf, Claire Loiseaux
1992 A* conf
Property Preserving Simulations.
CAV
Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis