logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
F

Frédéric Loulergue

universite de orleans

15H指数
189论文数
775被引数
收录论文 5
发表时间
logo
Deductively verifying functional scalable parallel programs with Why3通过Why3演绎验证功能可扩展并行程序
errSoftware and Systems Modeling
IF3.2
err2026-02-01
err0
PREAI
errLoulergue, Frederic; Proust, Olivia
err分享
err收藏
Towards Formal Verification of a TPM Software Stack: Achievements and OpportunitiesTPM软件栈的形式化验证：成就与机遇
errFORMAL ASPECTS OF COMPUTING
IF1.4
err2025-12-01
err0
PREAI
errZiani, Yani; Bernier, Teo; Kosmatov, Nikolai; Loulergue, Frederic; Perez, Daniel Gracia
err分享
err收藏
Component-based Distributed Software Reconfiguration: A Verification-oriented Survey基于组件的分布式软件重新配置: 面向验证的调查
errACM COMPUTING SURVEYS
IF28
err2023-08-26
err5
errOAAI
errCoullon, Helene; Henrio, Ludovic; Loulergue, Frederic; Robillard, Simon
err分享
err收藏
Bulk synchronous parallel ML with exceptions有异常的批量同步并行ML
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2010-03-01
err14
PREAI
errGesbert, Louis; Gava, Frederic; Loulergue, Frederic; Dabrowski, Frederic
err分享
err收藏
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting避免并行嵌套的批量同步并行ML的静态分析
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2005-05-01
err17
PREAI
errGava, F; Loulergue, F
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
N
Nikolaï Kosmatov
H 指数: 20 · 论文数: 164
L
Ludovic Henrio
H 指数: 16 · 论文数: 173
F
Frédéric Gava
H 指数: 9 · 论文数: 72
S
Simon Robillard
H 指数: 8 · 论文数: 33
H
Hélène Coullon
H 指数: 8 · 论文数: 49
查看更多