Pierre-Emmanuel Hladik

Université Fédérale de Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique, Laboratoire d'Analyse et d'Architecture des Systèmes, École Centrale de Nantes

论文数

5

总引用数

73

H-Index

5

关于

暂无简介。

研究焦点

Programming language5 · 73 次引用
Model checking5 · 73 次引用
Computer science5 · 73 次引用
Software4 · 60 次引用
Distributed computing4 · 60 次引用
Formal verification3 · 53 次引用
Formal methods3 · 53 次引用
Software engineering3 · 45 次引用
Operating system3 · 33 次引用
Embedded system2 · 32 次引用
Scalability2 · 28 次引用
Scheduling (production processes)2 · 28 次引用

主要成就

5
H 指数
5
论文
73
总引用数
15
篇均引用
🏆 最高被引论文
Formal verification of complex robotic systems on resource-constrained platforms
27 次引用 · 2018
📈 最高产年份: 2018 (1 论文)
🤝 主要合作者: 7
🏛 所属机构: Université Fédérale de Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique, Laboratoire d'Analyse et d'Architecture des Systèmes, École Centrale de Nantes

代表论文

  1. 1
    Formal verification of complex robotic systems on resource-constrained platforms
    27 次引用 · 2018
  2. 2
    Compositional verification of embedded real-time systems
    15 次引用 · 2023
  3. 3
    Bridging the gap between formal verification and schedulability analysis: The case of robotics
    13 次引用 · 2020
  4. 4
    A formal toolchain for offline and run-time verification of robotic systems
    13 次引用 · 2022
  5. 5
    Hippo: A formal-model execution engine to control and verify critical real-time systems
    5 次引用 · 2021

主要合作者

MFMohammed Foughali3 篇合著论文FIFélix Ingrand3 篇合著论文SDSilvano Dal Zilio3 篇合著论文AMAnthony Mallet2 篇合著论文AZAlexander Zuepke1 篇合著论文BBBernard Berthomieu1 篇合著论文RTReyyan Tekin1 篇合著论文
尚未生成