arrow
返回
S

Samir Ouchani

cesi

17H指数
121论文数
1.1K被引数
收录论文 20
发表时间
A systematic review of federated learning: Challenges, aggregation methods, and development tools
err2023-11-01
err27
PREAI
errGuendouzi, Badra Souhila; Ouchani, Samir; EL Assaad, Hiba; EL Zaher, Madeleine
err分享
err收藏
A framework for modeling and analyzing cyber-physical systems using statistical model checking
err2023-07-01
err3
PREAI
errAlshalalfah, Abdel-Latif; Mohamed, Otmane Ait; Ouchani, Samir
err分享
err收藏
A survey on silicon PUFs
err2022-06-01
err16
errOAAI
errZerrouki, Fahem; Ouchani, Samir; Bouarfa, Hafida
err分享
err收藏
Generation and verification of learned stochastic automata using k-NN and statistical model checking
err2021-11-09
err2
PREAI
errBaouya, Abdelhakim; Chehida, Salim; Ouchani, Samir; Bensalem, Saddek; Bozga, Marius
err分享
err收藏
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
err2021-07-01
err12
PREAI
errBaouya, Abdelhakim; Mohamed, Otmane Ait; Ouchani, Samir; Bennouar, Djamal
err分享
err收藏
err分享
err收藏
Safety analysis of train control system based on model-driven design methodology
err2019-02-01
err16
PREAI
errBaouya, Abdelhakim; Mohamed, Otmane Ait; Bennouar, Djamal; Ouchani, Samir
err分享
err收藏
A quantitative verification framework of SysML activity diagrams under time constraints
err2015-11-01
err10
errOAAI
errBaouya, Abdelhakim; Bennouar, Djamal; Mohamed, Otmane Ait; Ouchani, Samir
err分享
err收藏
Security analysis of socio-technical physical systems
err2015-10-01
err16
errOAAI
errLenzini, Gabriele; Mauw, Sjouke; Ouchani, Samir
err分享
err收藏
err分享
err收藏
A formal verification framework for SysML activity diagrams
err2014-05-01
err26
PREAI
errOuchani, Samir; Mohamed, Otmane Ait; Debbabi, Mourad
err分享
err收藏
A property-based abstraction framework for SysML activity diagrams
err2014-01-01
err13
PREAI
errOuchani, Samir; Mohamed, Otmane Ait; Debbabi, Mourad
err分享
err收藏