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

Jean-Pierre Talpin

chinese academy of sciences

21H指数
266论文数
2.8K被引数
收录论文 10
发表时间
logo
Modeling and Analysis of Cyber-Physical Systems in the Hybrid π-Calculus Using Extended Sequence Diagrams基于扩展序列图的混合π演算中网络物理系统的建模与分析
errFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
err2026-01-01
err0
PREAI
errXu, Xiong; Miao, Jixiang; Wang, Shuling; Talpin, Jean-Pierre
err分享
err收藏
Semantics Foundation for Cyber-physical Systems Using Higher-order UTP
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-02-13
err3
errOAAI
errXu, Xiong; Talpin, Jean-Pierre; Wang, Shuling; Zhan, Bohua; Zhan, Naijun
err分享
err收藏
Polychronous automata and their use for formal validation of AADL models
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2019-06-18
err2
PREAI
errGautier, Thierry; Guy, Clement; Honorat, Alexandre; Le Guernic, Paul; Talpin, Jean-Pierre; Besnard, Loic
err分享
err收藏
From AADL to Timed Abstract State Machines: A verified model transformation
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2014-07-01
err43
errOAAI
errYang, Zhibin; Hu, Kai; Ma, Dianfu; Bodeveix, Jean-Paul; Pi, Lei; Talpin, Jean-Pierre
err分享
err收藏
Polychronous modeling, analysis, verification and simulation for timed software architectures
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2013-11-01
err12
errOAAI
errYu, Huafeng; Ma, Yue; Gautier, Thierry; Besnard, Loic; Le Guernic, Paul; Talpin, Jean-Pierre
err分享
err收藏
Foreword to the special section on synchronous programming
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2013-10-02
err1
errOAAI
errTalpin, Jean-Pierre
err分享
err收藏
Exploring system architectures in AADL via POLYCHRONY and SYNDEX
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2013-10-02
err10
PREAI
errYu, Huafeng; Ma, Yue; Gautier, Thierry; Besnard, Loic; Talpin, Jean-Pierre; Le Guernic, Paul; Sorel, Yves
err分享
err收藏
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2011-08-01
err1
PREAI
errShukla, Sandeep K.; Talpin, Jean-Pierre
err分享
err收藏
Guest editors' introduction to the special section on programming models and architectures for embedded systems
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2008-10-01
err0
PREAI
errShukla, Sandeep K.; Talpin, Jean-Pierre
err分享
err收藏
Polychronous design ocf embedded real-time applications
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2007-04-01
err14
errOAAI
errGamatie, Abdoulaye; Gautier, Thierry; Le Guernig, Paul; Talpin, Jean-Pierre
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
胡
胡凯 (Kai Hu)
H 指数: 34 · 论文数: 410
S
Sandeep K. Shukla
H 指数: 34 · 论文数: 573
詹乃军 封面图
詹乃军 (Naijun Zhan)
H 指数: 25 · 论文数: 246
P
Paul Le Guernic
H 指数: 25 · 论文数: 188
Y
Yves Sorel
H 指数: 21 · 论文数: 155
查看更多