Christel Seguin

Université Fédérale de Toulouse Midi-Pyrénées — France

Computer Science · Physical Sciences

11h-index475citations67works0.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Reliability and Analysis Research(30), Safety Systems Engineering in Autonomy(26), Formal Methods in Verification(22), Risk and Safety Analysis(21), Software Testing and Debugging Techniques(11)

Publications67 total

An Altarica-Based Modelling and Analysis Approach Enabling UAV Regulation Compliance
Lecture notes in computer science·2025
Timed Models in AltaRica 3.0
Lecture notes in computer science·2025
Variance-Based Sensitivity Analysis for Probabilistic Risk Assessment
Lecture notes in computer science·2025
Model-Based Safety and Assessment
Lecture notes in computer science·2025Open Access
A Generic Approach for Safety Assessment of Medium-Risk Drones
2025· 1 citedOpen Access
Increasing aircraft efficiency via Active Wing Controls: a preliminary study for certification
SPIRE - Sciences Po Institutional REpository·2024Open Access
Evaluation de sécurité d’un système électrique à propulsion distribuée
SPIRE - Sciences Po Institutional REpository·2024
Evaluation préliminaire de sécurité d'un système électrique à propulsion distribuée Preliminary safety assessment of a distributed propulsion electrical system
SPIRE - Sciences Po Institutional REpository·2024Open Access
Safety Barrier Diagrams for Specific Operations of Drones
2024· 2 citedOpen Access
Optimization of Development Assurance Level Allocation
2023· 4 citedOpen Access
Validation du générateur de séquences pour AltaRica 3.0
HAL (Le Centre pour la Communication Scientifique Directe)·2022Open Access
Stratégies de modélisation AltaRica de la propagation de défaillances dans les systèmes dynamiques
HAL (Le Centre pour la Communication Scientifique Directe)·2022Open Access
Model-Based Safety and Assessment
Lecture notes in computer science·2022· 1 cited
Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica
Lecture notes in computer science·2022· 5 citedOpen Access
Analyse d'une architecture hybride électrique pour la propulsion électrique distribuée : Le concept DRAGON
HAL (Le Centre pour la Communication Scientifique Directe)·2022
DRAGON: hybrid electrical architecture for distributed fans propulsion
HAL (Le Centre pour la Communication Scientifique Directe)·2021Open Access
Tiered Model-Based Safety Assessment
Lecture notes in computer science·2019· 8 citedOpen Access
Addressing safety assessment of autonomous robot operation and design with Model Based Safety Assessment
HAL (Le Centre pour la Communication Scientifique Directe)·2018· 1 citedOpen Access
Timed Formal Model and Verification of Satellite FDIR in Early Design Phase
HAL (Le Centre pour la Communication Scientifique Directe)·2018· 1 citedOpen Access
Performing Safety Analyses with AADL and AltaRica
Lecture notes in computer science·2017· 9 citedOpen Access
page 1 of 4Next →

Frequent Co-authors

Pierre Bieber(14), Christopher Papadopoulos(10), Kossi Tiassou(8), Tatiana Prosvirnova(8), Charles Castel(7), Karama Kanoun(7), Virginie Wiels(5), Kévin Delmas(5), Jean‐Charles Chaudemar(4), Eric Bensana(4), Mohamed Kaâniche(4), Matthias Bretschneider(3), Sylvain Metge(3), Rémi Delmas(3), Mohamed Kaâniche(3), Guy Durrieu(3), Odile Laurent(3), Pierre Virelizier(3), Sergio Pizziol(3), Eckard Boede(2)