Julien Brunel

Université Fédérale de Toulouse Midi-Pyrénées, Office National d'Études et de Recherches Aérospatiales

论文数

2

总引用数

4

H-Index

2

关于

暂无简介。

研究焦点

Computer science2 · 4 次引用
Programming language2 · 4 次引用
Component (thermodynamics)1 · 2 次引用
Distributed computing1 · 2 次引用
Extension (predicate logic)1 · 2 次引用
Formal verification1 · 2 次引用
Layer (electronics)1 · 2 次引用
Materials science1 · 2 次引用
Middleware (distributed applications)1 · 2 次引用
Nanotechnology1 · 2 次引用
Quality (philosophy)1 · 2 次引用
Robot1 · 2 次引用

主要成就

2
H 指数
2
论文
4
总引用数
2
篇均引用
🏆 最高被引论文
Cross–layer Formal Verification of Robotic Systems
2 次引用 · 2024
📈 最高产年份: 2024 (1 论文)
🤝 主要合作者: 4
🏛 所属机构: Université Fédérale de Toulouse Midi-Pyrénées, Office National d'Études et de Recherches Aérospatiales

代表论文

  1. 1
    Cross–layer Formal Verification of Robotic Systems
    2 次引用 · 2024
  2. 2
    Improving code quality in ROS packages using a temporal extension of first-order logic
    2 次引用 · 2018

主要合作者

DDDavid Doose2 篇合著论文SRSylvain Raïs1 篇合著论文DCDavid Côme1 篇合著论文FHFrédéric Herbreteau1 篇合著论文
尚未生成