Muriel Jourdan

Institut national de recherche en sciences et technologies du numérique, Verimag

论文数

5

总引用数

83

H-Index

4

关于

暂无简介。

研究焦点

Computer science5 · 83 次引用
Artificial intelligence5 · 83 次引用
Robot4 · 81 次引用
Robotics2 · 60 次引用
Programming language4 · 42 次引用
Formal methods3 · 40 次引用
Formal verification3 · 40 次引用
Human–computer interaction2 · 34 次引用
Engineering2 · 34 次引用
Point (geometry)2 · 34 次引用
Key (lock)2 · 34 次引用
Software engineering2 · 34 次引用

主要成就

4
H 指数
5
论文
83
总引用数
17
篇均引用
🏆 最高被引论文
Formal Verification in Robotics: Why and How?
41 次引用 · 1996
📈 最高产年份: 1995 (3 论文)
🤝 主要合作者: 6
🏛 所属机构: Institut national de recherche en sciences et technologies du numérique, Verimag

代表论文

  1. 1
    Formal Verification in Robotics: Why and How?
    41 次引用 · 1996
  2. 2
    On the Validation of Robotics Control Systems Part I: High Level Specification and Formal Verification
    19 次引用 · 1995
  3. 3
    Specification, formal verification and implementation of tasks and missions for an autonomous vehicle
    15 次引用 · 1997
  4. 4
    Large Integrating formal verification methods of quantitative real-time properties into a development environment for robot controllers
    6 次引用 · 1995
  5. 5
    Static timing analysis of real-time systems
    2 次引用 · 1995

主要合作者

BEBernard Espiau3 篇合著论文KKK. Kapellos2 篇合著论文DSDaniel Simon1 篇合著论文SASofiane Abdou1 篇合著论文FMFlorence Maraninchi1 篇合著论文KKKonstantinos Kapellos1 篇合著论文
尚未生成