Concepedia

Sebti Mouelhi

SM

6

Publications

265

Citations

6

H-Index

2009

Active since

Affiliations

École Centrale d'Électronique(Current)

Université de franche-comté

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Centre National de la Recherche Scientifique

CEA Paris-Saclay

Sebti Mouelhi is an author at École Centrale d'Électronique specializing in formal methods, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringAutomationSoftware DesignSoftware AnalysisSoftware EngineeringSystem Software

Publications per year

2009–2019

6

Publications

6

CoSyMA

Sebti Mouelhi, Antoine Girard · 2013 · 101 citations · Full text

Stochastic Hybrid System, Discrete Abstractions, Engineering +10

Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models

Antoine Girard, Sebti Mouelhi · IEEE Transactions on Automatic Control · 2015 · 92 citations · Full text

Engineering, Reachability Problem, Model Checking +17

A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles

Roberto Passerone, Daniela Cancila, Michele Albano et al. · IEEE Access · 2019 · 27 citations · Full text

Predictive Formal Analysis of Resilience in Cyber-Physical Systems

Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila et al. · IEEE Access · 2019 · 22 citations · Full text

Engineering, Software Engineering, Resilient Control System +18

Refinement of Interface Automata Strengthened by Action Semantics

Sebti Mouelhi, Samir Chouali, Hassan Mountassir · Electronic Notes in Theoretical Computer Science · 2009 · 13 citations · Full text

Engineering, Verification, Interface Automata Interoperability +21

Rows per page

1–5 of 6