Muriel Jourdan

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

Papers

5

Total Citations

83

H-Index

4

About

No biography available yet.

Research Focus

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

Key Achievements

4
H-Index
5
Papers
83
Total Citations
17
Avg Citations/Paper
🏆 Most Cited Paper
Formal Verification in Robotics: Why and How?
41 citations · 1996
📈 Most Prolific Year: 1995 (3 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Institut national de recherche en sciences et technologies du numérique, Verimag

Top Papers

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

Key Collaborators

BEBernard Espiau3 shared papersKKK. Kapellos2 shared papersDSDaniel Simon1 shared papersSASofiane Abdou1 shared papersFMFlorence Maraninchi1 shared papersKKKonstantinos Kapellos1 shared papers
Not generated yet