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

Didier Lime

imt atlantique

23H指数
137论文数
2.1K被引数
收录论文 4
发表时间
logo
Guaranteeing Timed Opacity using Parametric Timed Model Checking使用参数定时模型检查保证定时不透明度
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2022-09-08
err6
errOAAI
errAndre, Etienne; Lime, Didier; Marinho, Dylan; Sun, Jun
err分享
err收藏
Control of Real-Time Systems With Integer Parameters
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-01-01
err2
errOAAI
errJovanovic, Aleksandra; Lime, Didier; Roux, Olivier H.
err分享
err收藏
Towards energy-proportional clouds partially powered by renewable energy
errCOMPUTING
IF2.8
err2016-06-30
err8
errOAAI
errBeldiceanu, Nicolas; Feris, Barbara Dumas; Gravey, Philippe; Hasan, Sabbir; Jard, Claude; Ledoux, Thomas; Li, Yunbo; Lime, Didier; Madi-Wamba, Gilles; Menaud, Jean-Marc; Morel, Pascal; Morvan, Michel; Moulinard, Marie-Laure; Orgerie, Anne-Cecile; Pazat, Jean-Louis; Roux, Olivier H.; Sharaiha, Ammar
err分享
err收藏
Integer Parameter Synthesis for Real-Time Systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2015-05-01
err69
errOAAI
errJovanovic, Aleksandra; Lime, Didier; Roux, Olivier H.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
孙俊 封面图
孙俊 (Jun Sun)
H 指数: 46 · 论文数: 958
C
Claude Jard
H 指数: 30 · 论文数: 182
O
Olivier Roux
H 指数: 29 · 论文数: 280
Y
Yunbo Li
H 指数: 27 · 论文数: 178
P
Pascal Morel
H 指数: 25 · 论文数: 185
查看更多