Ning Ge

IRT M2P, Centre Paul Albert-Février, Université Fédérale de Toulouse Midi-Pyrénées, Beihang University

论文数

5

总引用数

41

H-Index

4

关于

暂无简介。

研究焦点

Programming language5 · 41 次引用
Computer science5 · 41 次引用
Software4 · 32 次引用
Formal verification3 · 30 次引用
Software engineering3 · 28 次引用
Software development2 · 21 次引用
Life-critical system2 · 21 次引用
Software construction2 · 21 次引用
Formal methods2 · 21 次引用
Operating system3 · 21 次引用
Set (abstract data type)2 · 16 次引用
Event (particle physics)2 · 16 次引用

主要成就

4
H 指数
5
论文
41
总引用数
8
篇均引用
🏆 最高被引论文
Integrated formal verification of safety-critical software
13 次引用 · 2017
📈 最高产年份: 2017 (3 论文)
🤝 主要合作者: 9
🏛 所属机构: IRT M2P, Centre Paul Albert-Février, Université Fédérale de Toulouse Midi-Pyrénées, Beihang University

代表论文

  1. 1
    Integrated formal verification of safety-critical software
    13 次引用 · 2017
  2. 2
    Correct‐by‐construction specification to verified code
    9 次引用 · 2018
  3. 3
    Formal development process of safety-critical embedded human machine interface systems
    8 次引用 · 2017
  4. 4
    Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function
    7 次引用 · 2017
  5. 5
    Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded System
    4 次引用 · 2019

主要合作者

ÉJÉric Jenn4 篇合著论文ADArnaud Dieumegard3 篇合著论文BDBruno daAusbourg1 篇合著论文YFYoann Fonteneau1 篇合著论文RXRongfei Xu1 篇合著论文YAYamine Aït‐Ameur1 篇合著论文LVLaurent Voisin1 篇合著论文NBNicolas Breton1 篇合著论文LZLi Zhang1 篇合著论文

联系与链接

可合作
内容已生成 · 14 天前