logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
D

Didier Lime

imt atlantique

23H-index
137Paper Count
2.1KCitation Count
Published Papers 4
Publication Date
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
errShare
errSave
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.
errShare
errSave
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
errShare
errSave
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.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
孙俊 cover
孙俊 (Jun Sun)
H-index: 46 · Papers: 956
C
Claude Jard
H-index: 30 · Papers: 182
O
Olivier Roux
H-index: 29 · Papers: 280
Y
Yunbo Li
H-index: 27 · Papers: 172
P
Pascal Morel
H-index: 25 · Papers: 185
View more