Paul Le Guernic - Publications, H-index & Citations

Paul Le Guernic

universite de rennes

25H指数

188论文数

3.6K被引数

收录论文 7

发表时间

Polychronous automata and their use for formal validation of AADL models

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2019-06-18

PREAI

Gautier, Thierry; Guy, Clement; Honorat, Alexandre; Le Guernic, Paul; Talpin, Jean-Pierre; Besnard, Loic

Polychronous modeling, analysis, verification and simulation for timed software architectures

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2013-11-01

OAAI

Yu, Huafeng; Ma, Yue; Gautier, Thierry; Besnard, Loic; Le Guernic, Paul; Talpin, Jean-Pierre

Exploring system architectures in AADL via POLYCHRONY and SYNDEX

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2013-10-02

PREAI

Yu, Huafeng; Ma, Yue; Gautier, Thierry; Besnard, Loic; Talpin, Jean-Pierre; Le Guernic, Paul; Sorel, Yves

Formal verification of synchronous data-flow program transformations toward certified compilers 同步数据流程序向认证编译器转换的正式验证

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2013-09-13

PREAI

Van Chan Ngo; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul; Besnard, Loic

Polychronous design ocf embedded real-time applications

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2007-04-01

OAAI

Gamatie, Abdoulaye; Gautier, Thierry; Le Guernig, Paul; Talpin, Jean-Pierre

The synchronous languages 12 years later

PROCEEDINGS OF THE IEEE

IF25.9

2003-01-01

516

OAAI

Benveniste, A; Caspi, P; Edwards, SA; Halbwachs, N; Le Guernic, P; De Simone, R

Modeling statecharts and activitycharts as signal equations

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2001-10-01

PREAI

Beauvais, JR; Rutten, E; Gautier, T; Houdebine, R; Le Guernic, P; Tang, YM

研究方向