Verimag

🇫🇷 FR

论文数

29

总引用数

898

H-Index

14

研究人员

25

关于

暂无简介。

研究焦点

Computer science28 · 894 次引用
Programming language20 · 837 次引用
Software9 · 612 次引用
Distributed computing17 · 588 次引用
Component (thermodynamics)9 · 495 次引用
Software system4 · 412 次引用
Software engineering4 · 320 次引用
Correctness4 · 313 次引用
Component-based software engineering2 · 311 次引用
Artificial intelligence18 · 280 次引用

主要成就

14
H 指数
29
论文
898
总引用数
25
教职员与研究人员
🏆 最高被引论文
Rigorous Component-Based System Design Using the BIP Framework
278 次引用 · 2011
📊 篇均引用: 31
📈 最高产年份: 2013 (4)
🔬 研究焦点: Computer science, Programming language, Software, Distributed computing, Component (thermodynamics), Software system

代表论文

  1. 1
    Rigorous Component-Based System Design Using the BIP Framework
    278 次引用 · 2011
  2. 2
    Coverage-guided test generation for continuous and hybrid systems
    86 次引用 · 2009
  3. 3
    Designing autonomous robots
    71 次引用 · 2009
  4. 4
    Verification of Hybrid Systems
    62 次引用 · 2018
  5. 5
    Runtime Verification of Component-Based Systems
    57 次引用 · 2011
  6. 6
    Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
    47 次引用 · 2003
  7. 7
    Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
    44 次引用 · 2013
  8. 8
    Testing Conformance of Real-Time Applications by Automatic Generation of Observers
    34 次引用 · 2005
  9. 9
    Rigorous design of robot software: A formal component-based approach
    33 次引用 · 2012
  10. 10
    Certified Universal Gathering in $$\mathbb {R} ^2$$ for Oblivious Mobile Robots
    26 次引用 · 2016

教职员与研究人员

…

尚未生成